Editors:
- Includes supplementary material: sn.pub/extras
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 10377)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): LPNMR: International Conference on Logic Programming and Nonmonotonic Reasoning
Conference proceedings info: LPNMR 2017.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (31 papers)
-
Front Matter
-
Invited Talks
-
Front Matter
-
-
Nonmonotonic Reasoning
-
Front Matter
-
-
Answer Set Programming
-
Front Matter
-
About this book
This book constitutes the refereed proceedings of the 14th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2017, held in Espoo, Finland, in July 2017.
The 16 full papers and 11 short papers presented in this volume were carefully reviewed and selected from 47 submissions. The book also contains 4 invited talks.
The papers were organized in topical sections named: nonmonotonic reasoning; answer set programming; LPNMR systems; and LPNMR applications.
Keywords
- answer set
- answer set programming
- artificial intelligence
- abduction
- abstract argumentation
- autoepistemic logic
- constrains
- deductive databases
- default reasoning
- description logics
- knoweldge based systems
- knowledge representation
- logic programming
- logic programs
- Multi-Agent Systems (MAS)
- non-monotonic reasoning
- programming languages
- knowledge representation and reasoning
- solvers, testing, synthesis
- semantics
Editors and Affiliations
-
Drexel University, Philadelphia, USA
Marcello Balduccini
-
Aalto University, Espoo, Finland
Tomi Janhunen
Bibliographic Information
Book Title: Logic Programming and Nonmonotonic Reasoning
Book Subtitle: 14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Editors: Marcello Balduccini, Tomi Janhunen
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-319-61660-5
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer International Publishing AG 2017
Softcover ISBN: 978-3-319-61659-9Published: 29 June 2017
eBook ISBN: 978-3-319-61660-5Published: 27 June 2017
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XIII, 359
Number of Illustrations: 41 b/w illustrations
Topics: Artificial Intelligence, Logics and Meanings of Programs, Mathematical Logic and Formal Languages, Discrete Mathematics in Computer Science, Software Engineering, Programming Techniques