Logics in artificial intelligence : 18th European conference, JELIA 2023, Dresden, Germany, September 20-22, 2023 : proceedings

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...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Körperschaft: JELIA (VerfasserIn)
Weitere Verfasser: Gaggl, Sarah (HerausgeberIn), Martinez, Maria Vanina (HerausgeberIn), Ortiz, Magdalena (HerausgeberIn)
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!
Titel Jahr Verfasser
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture 2023 Dyrkolbotn, Sjur K.
On the Expressive Power of Assumption-Based Argumentation 2023 Berthold, Matti
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis 2023 Obiedkov, Sergei
Comparing Planning Domain Models Using Answer Set Programming 2023 Chrpa, Lukáš
On Heuer’s Procedure for Verifying Strong Equivalence 2023 Fandinno, Jorge
Non-Normal Modal Description Logics 2023 Dalmonte, Tiziano
Deontic Equilibrium Logic with eXplicit Negation 2023 Cabalar, Pedro
Optimal Planning with Expressive Action Languages as Constraint Optimization 2023 Giunchiglia, Enrico
Logics with Probabilistic Team Semantics and the Boolean Negation 2023 Hannula, Miika
Hybrid Modal Operators for Definite Descriptions 2023 Wałȩga, Przemysław Andrzej
Robust Alternating-Time Temporal Logic 2023 Murano, Aniello
Generative Datalog and Answer Set Programming – Extended Abstract 2023 Alviano, Mario
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond 2023 Belle, Vaishak
Optimal Repairs in the Description Logic EL Revisited 2023 Baader, Franz
Short Boolean Formulas as Explanations in Practice 2023 Jaakkola, Reijo
Logic, Accountability and Design: Extended Abstract 2023 Cabalar, Pedro
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver 2023 Homola, Martin
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies 2023 Laouar, Ahmed
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem 2023 Areces, Carlos
Deciding Subsumption in Defeasible ELI⊥ with Typicality Models 2023 Câmara, Igor de Camargo e Souza
Alle Artikel auflisten