Logic Programming and Nonmonotonic Reasoning
14th International Conference, LPNMR 2017, Espoo, Finland, July 3-6, 2017, Proceedings
Editors: Balduccini, Marcello, Janhunen, Tomi (Eds.)
Free PreviewBuy this book
- 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.
- Table of contents (31 chapters)
-
-
The Design of the Seventh Answer Set Programming Competition
Pages 3-9
-
A Bird’s-Eye View of Forgetting in Answer-Set Programming
Pages 10-22
-
Answer Set Programming and Its Applications in Planning and Multi-agent Systems
Pages 23-35
-
From Logic Programming and Non-monotonic Reasoning to Computational Argumentation and Beyond
Pages 36-39
-
Modular Construction of Minimal Models
Pages 43-48
-
Table of contents (31 chapters)
- Download Preface 1 PDF (58.9 KB)
- Download Sample pages 2 PDF (276.9 KB)
- Download Table of contents PDF (84.4 KB)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- 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 Artificial Intelligence
- Series Volume
- 10377
- Copyright
- 2017
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing AG
- eBook ISBN
- 978-3-319-61660-5
- DOI
- 10.1007/978-3-319-61660-5
- Softcover ISBN
- 978-3-319-61659-9
- Edition Number
- 1
- Number of Pages
- XIII, 359
- Number of Illustrations
- 41 b/w illustrations
- Topics
