Logic Programming and Nonmonotonic Reasoning
17th International Conference, LPNMR 2024, Dallas, TX, USA, October 11–14, 2024, Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Carmine Dodaro
Themen in »Logic Programming and Nonmonotonic Reasoning«
Artificial Intelligence Logic programming Answer Set Programming Nonmonotonic reasoning Constraint programming Automated reasoning Temporal reasoning Planning and scheduling