- Jonas Haldimann, Thomas Meyer, Gabriele Kern-Isberner, Christoph Beierle:
Rational Closure Extension in SPO-Representable Inductive Inference Operators. JELIA 2023: 561-576 - Miika Hannula, Minna Hirvonen, Juha Kontinen, Yasir Mahmood, Arne Meier, Jonni Virtema:
Logics with Probabilistic Team Semantics and the Boolean Negation. JELIA 2023: 665-680 - Charles Harders, Daniela Inclezan:
Plan Selection Framework for Policy-Aware Autonomous Agents. JELIA 2023: 638-646 - 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: 262-277 - 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: 338-352 - Reijo Jaakkola, Tomi Janhunen, Antti Kuusisto, Masood Feyzbakhsh Rankooh, Miikka Vilander:
Short Boolean Formulas as Explanations in Practice. JELIA 2023: 90-105 - Chunxi Ji, Adnan Darwiche:
A New Class of Explanations for Classifiers with Non-binary Features. JELIA 2023: 106-122 - Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Causality via Modal Logic. JELIA 2023: 681-696 - Sébastien Konieczny, Elise Perrotin, Ramón Pino Pérez:
Belief Reconfiguration. JELIA 2023: 446-461 - Isabelle Kuhlmann, Andreas Niskanen, Matti Järvisalo:
Computing MUS-Based Inconsistency Measures. JELIA 2023: 745-755 - Jean-Marie Lagniez, Pierre Marquis:
Boosting Definability Bipartition Computation Using SAT Witnesses. JELIA 2023: 697-711 - Ahmed Laouar, Sihem Belabbes, Salem Benferhat:
Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies. JELIA 2023: 353-368 - Tiago de Lima, Emiliano Lorini, François Schwarzentruber:
Base-Based Model Checking for Multi-agent only Believing. JELIA 2023: 437-445 - Tim S. Lyon, Sebastian Rudolph:
Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets. JELIA 2023: 369-384 - Djordje Markovic, Maurice Bruynooghe, Marc Denecker:
Towards Systematic Treatment of Partial Functions in Knowledge Representation. JELIA 2023: 756-770 - Jakub Michaliszyn, Jan Otop:
Deterministic Weighted Automata Under Partial Observability. JELIA 2023: 771-784 - Aniello Murano, Daniel Neider, Martin Zimmermann:
Robust Alternating-Time Temporal Logic. JELIA 2023: 796-813 - Sergei Obiedkov, Baris Sertkaya:
Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis. JELIA 2023: 176-191 - Andrei Popescu, Johannes Peter Wallner:
Reasoning in Assumption-Based Argumentation Using Tree-Decompositions. JELIA 2023: 192-208 - Guendalina Righetti, Pietro Galliani, Claudio Masolo:
Concept Combination in Weighted DL. JELIA 2023: 385-401 - Laura State, Salvatore Ruggieri, Franco Turini:
Declarative Reasoning on Explanations Using Constraint Logic Programming. JELIA 2023: 132-141 - Przemyslaw Andrzej Walega, Michal Zawidzki:
Hybrid Modal Operators for Definite Descriptions. JELIA 2023: 712-726 - 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: 462-477 - Yuya Yamada, Mutsunori Banbara, Katsumi Inoue, Torsten Schaub:
Recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming. JELIA 2023: 278-286 - Liuwen Yu, Caren Al Anaissy, Srdjan Vesic, Xu Li, Leendert van der Torre:
A Principle-Based Analysis of Bipolar Argumentation Semantics. JELIA 2023: 209-224 - Sarah Alice Gaggl, Maria Vanina Martinez, Magdalena Ortiz:
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 [contents] - 2021
- Laura Giordano, Daniele Theseider Dupré:
Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model. JELIA 2021: 225-242 - Ricardo Gonçalves, Tomi Janhunen, Matthias Knorr, João Leite:
On Syntactic Forgetting Under Uniform Equivalence. JELIA 2021: 297-312 - Giovanni Amendola, Tobias Berei, Francesco Ricca:
Testing in ASP: Revisited Language and Programming Environment. JELIA 2021: 362-376 - Yasser Ammar, Haythem O. Ismail:
Trust Is All You Need: From Belief Revision to Information Revision. JELIA 2021: 50-65