Logics in artificial intelligence 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings
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 Quantiti...
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | , , |
| Format: | UnknownFormat |
| Sprache: | eng |
| Veröffentlicht: |
Cham
Springer
2023
|
| Schriftenreihe: | Lecture notes in computer science
14281 |
| Schlagworte: |
Angewandte Informatik
> Artificial intelligence
> COMPUTERS / Artificial Intelligence
> COMPUTERS / Data Processing / General
> COMPUTERS / Expert Systems
> COMPUTERS / Programming / General
> Computer programming / software development
> Computerprogrammierung und Softwareentwicklung
> Expert systems / knowledge-based systems
> Information technology: general issues
> Künstliche Intelligenz
> MATHEMATICS / Logic
> Mathematical theory of computation
> Theoretische Informatik
> Wissensbasierte Systeme, Expertensysteme
> Konferenzschrift
|
| Online Zugang: | Cover Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Tag hinzufügen 
| Zusammenfassung: | 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. 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) |
|---|---|
| Beschreibung: | Literaturangaben |
| Beschreibung: | xviii, 831 Seiten Diagramme |
| ISBN: | 9783031436185 978-3-031-43618-5 |