Logic Programming and Nonmonotonic Reasoning
This book constitutes the refereed proceedings of the 17th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2024, held in Dallas, TX, USA, during October 11-14, 2024.The 27 full papers and 3 short papers included in this book were carefully reviewed and selected from 48 submissions. They deal with declarative logic programming, non-monotonic reasoning, and knowledge representation, focusing on the design and implementation of logic-based programming languages and database systems.
ISBN: | 9783031742088 |
---|---|
Sprache: | Englisch |
Seitenzahl: | 394 |
Produktart: | Kartoniert / Broschiert |
Herausgeber: | Dodaro, Carmine Gupta, Gopal Martinez, Maria Vanina |
Verlag: | Springer International Publishing |
Veröffentlicht: | 12.10.2024 |
Untertitel: | 17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings |
Schlagworte: | Answer Set Programming Artificial Intelligence Automated reasoning Constraint programming Logic programming Nonmonotonic reasoning Planning and scheduling Temporal reasoning |