Wolfgang Faber, Gerhard Friedrich, Martin Gebser, Michael Morak (eds.)
Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence) 12678
Springer
May 2021
This book constitutes the proceedings of the 17th European Conference on Logics in Artificial Intelligence, JELIA 2021, held as a virtual event, in May 2021. The 27 full papers and 3 short papers included in this volume were carefully reviewed and selected from 68 submissions. The accepted papers span a number of areas within Logics in AI, including: argumentation; belief revision; reasoning about actions, causality, and change; constraint satisfaction; description logics and ontological reasoning; non-classical logics; and logic programming (answer set programming).
keywords
artificial intelligence, logic, intelligent agents, argumentation, belief revision, reasoning about actions, causality, and change, constraint satisfaction, description logics, non-classical logics, logic programming, answer set programming, computer programming, formal languages, formal logic, knowledge representation, knowledge reasoning, knowledge-based system, linguistics, software design, ontologies
origin event
journal or series
Lecture Notes in Computer Science
(LNCS)
works as
container publication for
Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-Kt (paper in proceedings, 2021) — Giovanni Ciatto, Roberta Calegari, Andrea Omicini