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.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents(31 papers)
-
Invited Talks
-
Nonmonotonic Reasoning
-
Answer Set Programming
Other volumes
-
Logic Programming and Nonmonotonic Reasoning
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
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.
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