Overview
- 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)
Included in the following conference series:
Conference proceedings info: LPNMR 2017.
Buy print copy
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.
Similar content being viewed by others
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
Table of contents (31 papers)
-
Invited Talks
-
Nonmonotonic Reasoning
-
Answer Set Programming
Other volumes
-
Logic Programming and Nonmonotonic Reasoning
Editors and Affiliations
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