| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNISA996550551803316 |
|
|
Autore |
Gaggl Sarah |
|
|
Titolo |
Logics in Artificial Intelligence [[electronic resource] ] : 18th European Conference, JELIA 2023, Dresden, Germany, September 20–22, 2023, Proceedings / / edited by Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Edizione |
[1st ed. 2023.] |
|
|
|
|
|
Descrizione fisica |
|
1 online resource (834 pages) |
|
|
|
|
|
|
Collana |
|
Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 14281 |
|
|
|
|
|
|
Altri autori (Persone) |
|
MartinezMaria Vanina |
OrtizMagdalena |
|
|
|
|
|
|
|
|
Disciplina |
|
|
|
|
|
|
Soggetti |
|
Artificial intelligence |
Application software |
Computers, Special purpose |
Computer science |
Machine theory |
Computer programming |
Artificial Intelligence |
Computer and Information Systems Applications |
Special Purpose and Application-Based Systems |
Computer Science Logic and Foundations of Programming |
Formal Languages and Automata Theory |
Programming Techniques |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
Nota di contenuto |
|
Invited Papers -- Special track: Logics for Explainable and Trustworthy AI -- Argumentation -- Answer Set Programming -- Description Logics and Ontological Reasoning -- Logics of Knowledge and Belief -- Non-monotonic Reasoning -- Planning -- Reasoning about Causes and Dependencies -- Reasoning about Quantities and Functions -- Temporal and Spatial Reasoning. |
|
|
|
|
|
|
|
|
Sommario/riassunto |
|
This book constitutes proceedings of the 18th European Conference on Logics in Artificial Intelligence, JELIA 2023, held in Dresden, Germany, |
|
|
|
|
|
|
|
|
|
|
in September 2023. The 41 full papers and 11 short papers included in this volume were carefully reviewed and selected from 111 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). |
|
|
|
|
|
| |