Zum Hauptinhalt springen Zur Suche springen Zur Hauptnavigation springen
Herzlich Willkommen!
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