Vai al contenuto principale della pagina

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



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Gaggl Sarah Visualizza persona
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 Visualizza cluster
Pubblicazione: Cham : , : Springer Nature Switzerland : , : Imprint : Springer, , 2023
Edizione: 1st ed. 2023.
Descrizione fisica: 1 online resource (834 pages)
Disciplina: 006.3
Soggetto topico: 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
Altri autori: MartinezMaria Vanina  
OrtizMagdalena  
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).
Titolo autorizzato: Logics in Artificial Intelligence  Visualizza cluster
ISBN: 3-031-43619-9
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 996550551803316
Lo trovi qui: Univ. di Salerno
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Artificial Intelligence, . 2945-9141 ; ; 14281