default search action
JELIA 2023: Dresden, Germany
- Sarah Alice Gaggl
, Maria Vanina Martinez
Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings. Lecture Notes in Computer Science 14281, Springer 2023, ISBN 978-3-031-43618-5
Invited Papers
- Mario Alviano
Generative Datalog and Answer Set Programming - Extended Abstract. 3-10 - Franz Baader
Optimal Repairs in the Description Logic Eℒ Revisited. 11-34 - Vaishak Belle
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. 35-46
Special Track: Logics for Explainable and Trustworthy AI
- Leopoldo E. Bertossi, Jorge E. Leon:
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation. 49-64 - Pedro Cabalar, David Pearce:
Logic, Accountability and Design: Extended Abstract. 65-72 - Thomas Eiter
Contrastive Explanations for Answer-Set Programs. 73-89 - Reijo Jaakkola
Short Boolean Formulas as Explanations in Practice. 90-105 - Chunxi Ji
A New Class of Explanations for Classifiers with Non-binary Features. 106-122 - Cecilia Di Florio
Stable Normative Explanations: From Argumentation to Deontic Logic. 123-131 - Laura State
Declarative Reasoning on Explanations Using Constraint Logic Programming. 132-141
Argumentation
- Matti Berthold, Anna Rapberger, Markus Ulbricht:
On the Expressive Power of Assumption-Based Argumentation. 145-160 - Sjur K. Dyrkolbotn:
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture. 161-175 - Sergei Obiedkov
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. 176-191 - Andrei Popescu
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. 192-208 - Liuwen Yu
A Principle-Based Analysis of Bipolar Argumentation Semantics. 209-224
Answer Set Programming
- Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
Comparing Planning Domain Models Using Answer Set Programming. 227-242 - Mohammed M. S. El-Kholany
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. 243-252 - Jorge Fandinno, Vladimir Lifschitz:
On Heuer's Procedure for Verifying Strong Equivalence. 253-261 - Takahiro Hirate, Mutsunori Banbara
Hamiltonian Cycle Reconfiguration with Answer Set Programming. 262-277 - Yuya Yamada, Mutsunori Banbara
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. 278-286
Description Logics and Ontological Reasoning
- Bartosz Bednarczyk
Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features. 289-305 - Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki, Nicolas Troquard:
Non-Normal Modal Description Logics. 306-321 - Stéphane Demri, Karin Quaas:
First Steps Towards Taming Description Logics with Strings. 322-337 - Martin Homola
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. 338-352 - Ahmed Laouar
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies. 353-368 - Tim S. Lyon
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. 369-384 - Guendalina Righetti
Concept Combination in Weighted DL. 385-401
Logics of Knowledge and Belief
- Carlos Areces
How Easy it is to Know How: An Upper Bound for the Satisfiability Problem. 405-419 - Marta Bílková
Non-standard Modalities in Paraconsistent Gödel Logic. 420-436 - Tiago de Lima, Emiliano Lorini, François Schwarzentruber:
Base-Based Model Checking for Multi-agent only Believing. 437-445 - Sébastien Konieczny
Belief Reconfiguration. 446-461 - Marco Wilhelm
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. 462-477
Non-monotonic Reasoning
- Mario Alviano
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. 481-497 - Pedro Cabalar
Deontic Equilibrium Logic with eXplicit Negation. 498-514 - Angelos Charalambidis
Categorical Approximation Fixpoint Theory. 515-530 - Igor de Camargo e Souza Câmara
Deciding Subsumption in Defeasible $\mathcal {ELI}_\bot $ with Typicality Models. 531-546 - Robert Freiman, Michael Bernreiter:
Truth and Preferences - A Game Approach for Qualitative Choice Logic. 547-560 - Jonas Haldimann
Rational Closure Extension in SPO-Representable Inductive Inference Operators. 561-576
Planning
- Alessandro Burigana
delphic: Practical DEL Planning via Possibilities. 579-594 - Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner:
Enhancing Temporal Planning by Sequential Macro-Actions. 595-604 - Saurabh Fadnis
Planning with Partial Observability by SAT. 605-620 - Enrico Giunchiglia
Optimal Planning with Expressive Action Languages as Constraint Optimization. 621-637 - Charles Harders, Daniela Inclezan
Plan Selection Framework for Policy-Aware Autonomous Agents. 638-646
Reasoning About Causes and Dependencies
- Fausto Barbero
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. 649-664 - Miika Hannula
Logics with Probabilistic Team Semantics and the Boolean Negation. 665-680 - Yusuke Kawamoto
Formalizing Statistical Causality via Modal Logic. 681-696 - Jean-Marie Lagniez
Boosting Definability Bipartition Computation Using SAT Witnesses. 697-711 - Przemyslaw Andrzej Walega
Hybrid Modal Operators for Definite Descriptions. 712-726
Reasoning About Quantities and Functions
- Carlos Areces
Data Graphs with Incomplete Information (and a Way to Complete Them). 729-744 - Isabelle Kuhlmann
Computing MUS-Based Inconsistency Measures. 745-755 - Djordje Markovic
Towards Systematic Treatment of Partial Functions in Knowledge Representation. 756-770 - Jakub Michaliszyn
Deterministic Weighted Automata Under Partial Observability. 771-784
Temporal and Spatial Reasoning
- Pedro Cabalar
Past-Present Temporal Programs over Finite Traces. 787-795 - Aniello Murano
Robust Alternating-Time Temporal Logic. 796-813 - David Fernández-Duque
The Universal Tangle for Spatial Reasoning. 814-827
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-12-26 01:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: