JELIA

Keyphrases

Publications

2023

Sjur K. Dyrkolbotn
Weak Argumentation Semantics and Unsafe Odd Cycles: Results and a Conjecture. JELIA (2023)
Mario Alviano
Generative Datalog and Answer Set Programming - Extended Abstract. JELIA (2023)
Jakub Michaliszyn, Jan Otop
Deterministic Weighted Automata Under Partial Observability. JELIA (2023)
Lukás Chrpa, Carmine Dodaro, Marco Maratea, Marco Mochi, Mauro Vallati
Comparing Planning Domain Models Using Answer Set Programming. JELIA (2023)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Causality via Modal Logic. JELIA (2023)
Matti Berthold, Anna Rapberger, Markus Ulbricht
On the Expressive Power of Assumption-Based Argumentation. JELIA (2023)
Takahiro Hirate, Mutsunori Banbara, Katsumi Inoue, Xiao-Nan Lu, Hidetomo Nabeshima, Torsten Schaub, Takehide Soh, Naoyuki Tamura
Hamiltonian Cycle Reconfiguration with Answer Set Programming. JELIA (2023)
Fausto Barbero, Jonni Virtema
Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals. JELIA (2023)
Alessandro Burigana, Paolo Felli, Marco Montali
delphic: Practical DEL Planning via Possibilities. JELIA (2023)
Bartosz Bednarczyk
: Exploring Non-Regular Extensions of PDL with Description Logics Features. JELIA (2023)
Martin Homola, Júlia Pukancová, Janka Boborová, Iveta Balintová
Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver. JELIA (2023)
Saurabh Fadnis, Jussi Rintanen
Planning with Partial Observability by SAT. JELIA (2023)
Angelos Charalambidis, Panos Rondogiannis
Categorical Approximation Fixpoint Theory. JELIA (2023)
Tiago de Lima, Emiliano Lorini, François Schwarzentruber
Base-Based Model Checking for Multi-agent only Believing. JELIA (2023)
Pedro Cabalar, David Pearce
Logic, Accountability and Design: Extended Abstract. JELIA (2023)
Ahmed Laouar, Sihem Belabbes, Salem Benferhat
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies. JELIA (2023)
Thomas Eiter, Tobias Geibinger, Johannes Oetsch
Contrastive Explanations for Answer-Set Programs. JELIA (2023)
Sergei Obiedkov, Baris Sertkaya
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. JELIA (2023)
Robert Freiman, Michael Bernreiter
Truth and Preferences - A Game Approach for Qualitative Choice Logic. JELIA (2023)
Laura State, Salvatore Ruggieri, Franco Turini
Declarative Reasoning on Explanations Using Constraint Logic Programming. JELIA (2023)
Sébastien Konieczny, Elise Perrotin, Ramón Pino Pérez
Belief Reconfiguration. JELIA (2023)
Chunxi Ji, Adnan Darwiche
A New Class of Explanations for Classifiers with Non-binary Features. JELIA (2023)
Vaishak Belle
Excursions in First-Order Logic and Probability: Infinitely Many Random Variables, Continuous Distributions, Recursive Programs and Beyond. JELIA (2023)
Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA (2023)
Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA (2023)
Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo
Computing MUS-Based Inconsistency Measures. JELIA (2023)
Leopoldo E. Bertossi, Jorge E. Leon
Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation. JELIA (2023)
Marco De Bortoli, Lukás Chrpa, Martin Gebser, Gerald Steinbauer-Wagner
Enhancing Temporal Planning by Sequential Macro-Actions. JELIA (2023)
Djordje Markovic, Maurice Bruynooghe, Marc Denecker
Towards Systematic Treatment of Partial Functions in Knowledge Representation. JELIA (2023)
Jean-Marie Lagniez, Pierre Marquis
Boosting Definability Bipartition Computation Using SAT Witnesses. JELIA (2023)
Mario Alviano, Laura Giordano, Daniele Theseider Dupré
Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases. JELIA (2023)
Carlos Areces, Valentin Cassano, Danae Dutto, Raul Fervari
Data Graphs with Incomplete Information (and a Way to Complete Them). JELIA (2023)
Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander
Short Boolean Formulas as Explanations in Practice. JELIA (2023)
Pedro Cabalar, Agata Ciabattoni, Leendert van der Torre
Deontic Equilibrium Logic with eXplicit Negation. JELIA (2023)
Franz Baader, Patrick Koopmann, Francesco Kriegel
ℒ Revisited. JELIA (2023)
Mohammed M. S. El-Kholany, Ramsha Ali, Martin Gebser
Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes. JELIA (2023)
Charles Harders, Daniela Inclezan
Plan Selection Framework for Policy-Aware Autonomous Agents. JELIA (2023)
Przemyslaw Andrzej Walega, Michal Zawidzki
Hybrid Modal Operators for Definite Descriptions. JELIA (2023)
David Fernández-Duque, Konstnatinos Papafilippou
The Universal Tangle for Spatial Reasoning. JELIA (2023)
Stéphane Demri, Karin Quaas
First Steps Towards Taming Description Logics with Strings. JELIA (2023)
Guendalina Righetti, Pietro Galliani, Claudio Masolo
Concept Combination in Weighted DL. JELIA (2023)
Cecilia Di Florio, Antonino Rotolo, Guido Governatori, Giovanni Sartor
Stable Normative Explanations: From Argumentation to Deontic Logic. JELIA (2023)
Jorge Fandinno, Vladimir Lifschitz
On Heuer's Procedure for Verifying Strong Equivalence. JELIA (2023)
Andrei Popescu, Johannes Peter Wallner
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. JELIA (2023)
Aniello Murano, Daniel Neider, Martin Zimmermann
Robust Alternating-Time Temporal Logic. JELIA (2023)
Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko
Non-standard Modalities in Paraconsistent Gödel Logic. JELIA (2023)
Marco Wilhelm, Meliha Sezgin, Gabriele Kern-Isberner, Jonas Haldimann, Christoph Beierle, Jesse Heyninck
Splitting Techniques for Conditional Belief Bases in the Context of c-Representations. JELIA (2023)
Enrico Giunchiglia, Armando Tacchella
Optimal Planning with Expressive Action Languages as Constraint Optimization. JELIA (2023)
Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre
A Principle-Based Analysis of Bipolar Argumentation Semantics. JELIA (2023)

volume 14281, 2023

Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Dresden, Germany, September 20-22, 2023, Proceedings JELIA 14281 (2023)