Return to home page
Searching: Muskingum library catalog
In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.
  Previous Record Previous Item Next Item Next Record
  Reviews, Summaries, etc...
EBOOK
Conference PADL (Symposium) (22nd : 2020 : New Orleans, La.)
Title Practical Aspects of Declarative Languages : 22nd International Symposium, PADL 2020, New Orleans, LA, USA, January 20-21, 2020, Proceedings / Ekaterina Komendantskaya, Yanhong Annie Liu (eds.).
Imprint Cham : Springer, 2020.

LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference PADL (Symposium) (22nd : 2020 : New Orleans, La.)
Series Lecture notes in computer science ; 12007.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; http://id.loc.gov/authorities/names/n42015162 12007.
LNCS sublibrary. SL 2, Programming and software engineering. http://id.loc.gov/authorities/names/no2007033954
Subject Declarative programming languages -- Congresses.
Declarative programming -- Congresses.
Alt Name Komendantskaya, Ekaterina.
Liu, Yanhong Annie, 1965-
Add Title PADL 2020
LOCATION CALL # STATUS MESSAGE
 OHIOLINK SPRINGER EBOOKS    ONLINE  
View online
Conference PADL (Symposium) (22nd : 2020 : New Orleans, La.)
Series Lecture notes in computer science ; 12007.
LNCS sublibrary. SL 2, Programming and software engineering.
Lecture notes in computer science ; http://id.loc.gov/authorities/names/n42015162 12007.
LNCS sublibrary. SL 2, Programming and software engineering. http://id.loc.gov/authorities/names/no2007033954
Subject Declarative programming languages -- Congresses.
Declarative programming -- Congresses.
Alt Name Komendantskaya, Ekaterina.
Liu, Yanhong Annie, 1965-
Add Title PADL 2020
Description 1 online resource (xxvi, 223 pages) : illustrations (some color).
Note International conference proceedings.
Includes author index.
Summary This book constitutes the refereed proceedings of the 22nd International Symposium on Practical Aspects of Declarative Languages, PADL 2020, held in New Orleans, USA, in January 2020. The 10 full and 4 short papers were carefully reviewed and selected from 24 submissions. The papers present original work emphasizing novel applications and implementation techniques for all forms of declarative concepts, including programming with sets, functions, logic, and constraints. The papers are organized in the following topical headings: logical engines and applications; answer set programming systems; memory and real-time in functional programming; reasoning and efficient implementation; and small languages and implementation. -- Provided by publisher.
Contents Intro -- Preface -- Organization -- Abstracts of Invited Talks -- Logical Engines for Cloud Configurations -- Symbolic Reasoning About Machine Learning Systems -- Abstracts of Invited Talks for the Invited Experience and Direction Session -- Relational Artificial Intelligence -- Learning Interpretable Rules from Structured Data -- An Introduction to the Imandra Automated Reasoning System -- We Are All Poor Schmucks: On the Value of Gradual Types -- Abstract for the Competitive Programming Experience Session -- Competitive Programming with Picat -- Contents -- Logical Engines and Applications
Interactive Text Graph Mining with a Prolog-based Dialog Engine -- 1 Introduction -- 2 The Graph-Based Natural Language Processing Module -- 2.1 Building and Ranking the Text Graph -- 2.2 Pre- and Post-ranking Graph Refinements -- 2.3 Summary and Keyword Extraction -- 2.4 Relation Extraction -- 3 The Prolog-Based Dialog Engine -- 3.1 Generating Input for Post-processing by Logic Programs -- 3.2 The Prolog Interface -- 3.3 The User Interaction Loop -- 3.4 The Answer Generation Algorithm -- 3.5 Interacting with the Dialog Engine -- 4 Discussion -- 5 Related Work -- 6 Conclusions -- References
Flexible Graph Matching and Graph Edit Distance Using Answer Set Programming -- 1 Introduction -- 2 Background -- 3 Specifying Graph Matching and Edit Distance -- 4 Correctness -- 5 Discussion -- 6 Evaluation -- 7 Related Work -- 8 Conclusions -- References -- On Repairing Web Services Workflows -- 1 Introduction -- 2 Web Shopping Domain -- 3 The Web Service Composition Problem -- 4 Repair -- 4.1 Formalization -- 4.2 Implementation -- 4.3 Experimental Evaluation -- 5 Conclusion, Discussion, and Future Work -- References -- Answer Set Programming Systems
AQuA: ASP-Based Visual Question Answering -- 1 Introduction -- 2 Background -- 3 Technical Approach -- 3.1 Preprocessor -- 3.2 SRE: Semantic Relations Extractor -- 3.3 Query Generator -- 3.4 Commonsense Knowledge -- 3.5 ASP Engine -- 4 Experiments and Results -- 5 Example -- 6 Discussion -- 7 Contribution and Related Works -- 8 Future Work -- 9 Conclusion -- References -- Diagnosing Data Pipeline Failures Using Action Languages: A Progress Report -- 1 Requirements -- 2 Hybrid ALE -- 3 Diagnostic Modeling Library -- 4 Generating Explanations and Suggestions
5 Job Termination Status and Automatic Model Generation -- 6 Conclusion -- References -- VRASP: A Virtual Reality Environment for Learning Answer Set Programming -- 1 Introduction -- 2 Related Work -- 3 The VRASP Design -- 4 Evaluation -- 4.1 Evaluation Design -- 4.2 Result -- 5 Conclusion and Future Work -- References -- Memory and Real-Time in Functional Programming -- On the Effects of Integrating Region-Based Memory Management and Generational Garbage Collection in ML -- 1 Introduction -- 2 Generational Garbage Collection -- 2.1 Evacuating Objects -- 2.2 The GC Algorithm
ISBN 9783030391973 (electronic bk.)
3030391973 (electronic bk.)
9783030391966
ISBN/ISSN 10.1007/978-3-030-39
OCLC # 1137819533


If you experience difficulty accessing or navigating this content, please contact the OPAL Support Team