Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20?22, 2023, Proceedings / Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors.
2023
Q334
Formats
| Format | |
|---|---|
| BibTeX | |
| MARCXML | |
| TextMARC | |
| MARC | |
| DublinCore | |
| EndNote | |
| NLM | |
| RefWorks | |
| RIS |
Cite
Citation
Linked e-resources
Linked Resource
Concurrent users
Unlimited
Authorized users
Authorized users
Document Delivery Supplied
Can lend chapters, not whole ebooks
Details
Title
Logics in artificial intelligence : 18th European Conference, JELIA 2023, Dresden, Germany, September 20?22, 2023, Proceedings / Sarah Gaggl, Maria Vanina Martinez, Magdalena Ortiz, editors.
Meeting Name
ISBN
9783031436192 (electronic bk.)
3031436199 (electronic bk.)
9783031436185
3031436199 (electronic bk.)
9783031436185
Published
Cham, Switzerland : Springer, [2023]
Language
English
Description
1 online resource (xviii, 831 pages) : illustrations (some color).
Item Number
10.1007/978-3-031-43619-2 doi
Call Number
Q334
Dewey Decimal Classification
006.3
Summary
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).
Note
Includes author index.
Access Note
Access limited to authorized users.
Source of Description
Online resource; title from PDF title page (SpringerLink, viewed September 26, 2023).
Series
Lecture notes in computer science. Lecture notes in artificial intelligence ; 14281.
Lecture notes in computer science.
Lecture notes in computer science.
Linked Resources
Record Appears in
Table of Contents
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.
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.