JELIA 2023: 18TH EUROPEAN CONFERENCE ON LOGICS IN ARTIFICIAL INTELLIGENCE

A
Al Anaissy, Caren	A Principle-Based Analysis of Bipolar Argumentation Semantics
Ali, Ramsha	Hybrid ASP-based Multi-objective Scheduling of Semiconductor Manufacturing Processes
Alviano, Mario	Generative Datalog and Answer Set Programming Complexity and Scalability of Defeasible Reasoning with Typicality in Many-valued Weighted Knowledge Bases
Areces, Carlos	Data Graphs with Incomplete Information (and a Way to Complete Them) How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Atkinson, Katie	Combining Symbolic and Machine Learning Approaches for Automating Legal Reasoning
B
Baader, Franz	Optimal Repairs in the Description Logic EL Revisited
Balintová, Iveta	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
Banbara, Mutsunori	Hamiltonian Cycle Reconfiguration with Answer Set Programming recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming
Barbero, Fausto	Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
Bednarczyk, Bartosz	Beyond ALC_reg: Exploring Non-Regular Extensions of Propositional Dynamic Logic with Description-Logics Features
Beierle, Christoph	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations Rational Closure Extension in SPO Representable Inductive Inference Operators
Belabbes, Sihem	Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies
Belle, Vaishak	Excursions in First-order Logic and Probability: Infinitely many Random Variables, Continuous Distributions, Recursive Programs and Beyond
Benferhat, Salem	Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies
Bernreiter, Michael	Truth and Preferences - A Game Approach for Qualitative Choice Logic
Berthold, Matti	On the Expressive Power of Assumption-Based Argumentation
Bertossi, Leopoldo	Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation
Bilkova, Marta	Non-standard Modalities in Paraconsistent Gödel Logic
Boborová, Janka	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
Bruynooghe, Maurice	Towards Systematic Treatment of Partial Functions in Knowledge Representation
Burigana, Alessandro	DELPHIC: Practical DEL Planning via Possibilities
C
Cabalar, Pedro	Deontic Equilibrium Logic with eXplicit Negation Past-present Temporal Logic Programs over Finite Traces Logic, Accountability and Design
Cassano, Valentin	Data Graphs with Incomplete Information (and a Way to Complete Them) How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Castro, Pablo	How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Charalambidis, Angelos	Categorical Approximation Fixpoint Theory
Chrpa, Lukáš	Comparing Planning Domain Models using Answer Set Programming Enhancing Temporal Planning by Sequential Macro-actions
Ciabattoni, Agata	Deontic Equilibrium Logic with eXplicit Negation
D
Dalmonte, Tiziano	Non-Normal Modal Description Logics
Darwiche, Adnan	A New Class of Explanations for Classifiers with Non-Binary Features
De Bortoli, Marco	Enhancing Temporal Planning by Sequential Macro-actions
de Camargo E Souza Câmara, Igor	Deciding Subsumption in Defeasible ELI⊥ with Typicality Models
de Lima, Tiago	Base-based Model Checking for Multi-Agent Only Believing
Demri, Stéphane	First Steps Towards Taming Description Logics with Strings
Denecker, Marc	Towards Systematic Treatment of Partial Functions in Knowledge Representation
Di Florio, Cecilia	Stable Normative Explanations: From Argumentation to Deontic Logic
Diéguez, Martín	Past-present Temporal Logic Programs over Finite Traces
Dodaro, Carmine	Comparing Planning Domain Models using Answer Set Programming
Dutto, Danae	Data Graphs with Incomplete Information (and a Way to Complete Them)
Dyrkolbotn, Sjur Kristoffer	Weak Argumentation Semanticsand Unsafe Odd Cycles: Results and a Conjecture
E
Eiter, Thomas	Contrastive Explanations for Answer-Set Programs
El-Kholany, Mohammed	Hybrid ASP-based Multi-objective Scheduling of Semiconductor Manufacturing Processes
F
Fadnis, Saurabh	Succinct Planning with Partial Observability by SAT
Fandinno, Jorge	On Heuer’s Procedure for Verifying Strong Equivalence
Felli, Paolo	DELPHIC: Practical DEL Planning via Possibilities
Fernández, David	The Universal Tangle for Spatial Reasoning
Fervari, Raul	Data Graphs with Incomplete Information (and a Way to Complete Them) How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Feyzbakhsh Rankooh, Masood	Short Boolean Formulas as Explanations in Practice
Freiman, Robert	Truth and Preferences - A Game Approach for Qualitative Choice Logic
Frittella, Sabine	Non-standard Modalities in Paraconsistent Gödel Logic
G
Galliani, Pietro	Concept Combination in Weighted DL
Gebser, Martin	Hybrid ASP-based Multi-objective Scheduling of Semiconductor Manufacturing Processes Enhancing Temporal Planning by Sequential Macro-actions
Geibinger, Tobias	Contrastive Explanations for Answer-Set Programs
Giordano, Laura	Complexity and Scalability of Defeasible Reasoning with Typicality in Many-valued Weighted Knowledge Bases
Giunchiglia, Enrico	Optimal Planning with Expressive Action Languages as Constraint Optimization
Governatori, Guido	Stable Normative Explanations: From Argumentation to Deontic Logic
H
Haldimann, Jonas Philipp	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations Rational Closure Extension in SPO Representable Inductive Inference Operators
Hannula, Miika	Logics with Probabilistic Team Semantics and the Boolean Negation
Harders, Charles	Plan Selection Framework for Policy-Aware Autonomous Agents
Heyninck, Jesse	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
Hirate, Takahiro	Hamiltonian Cycle Reconfiguration with Answer Set Programming
Hirvonen, Minna	Logics with Probabilistic Team Semantics and the Boolean Negation
Homola, Martin	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
I
Inclezan, Daniela	Plan Selection Framework for Policy-Aware Autonomous Agents
Inoue, Katsumi	Hamiltonian Cycle Reconfiguration with Answer Set Programming recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming
J
Jaakkola, Reijo	Short Boolean Formulas as Explanations in Practice
Janhunen, Tomi	Short Boolean Formulas as Explanations in Practice
Ji, Chunxi	A New Class of Explanations for Classifiers with Non-Binary Features
Järvisalo, Matti	Computing MUS-Based Inconsistency Measures
K
Kawamoto, Yusuke	Formalizing Statistical Causality via Modal Logic
Kern-Isberner, Gabriele	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations Rational Closure Extension in SPO Representable Inductive Inference Operators
Konieczny, Sébastien	Belief Reconfiguration
Kontinen, Juha	Logics with Probabilistic Team Semantics and the Boolean Negation
Koopmann, Patrick	Optimal Repairs in the Description Logic EL Revisited
Kozhemiachenko, Daniil	Non-standard Modalities in Paraconsistent Gödel Logic
Kriegel, Francesco	Optimal Repairs in the Description Logic EL Revisited
Kuhlmann, Isabelle	Computing MUS-Based Inconsistency Measures
Kuusisto, Antti	Short Boolean Formulas as Explanations in Practice
L
Laferrière, François	Past-present Temporal Logic Programs over Finite Traces
Lagniez, Jean Marie	Boosting Definability Bipartition Computation using SAT Witnesses
Laouar, Ahmed	Tractable Closure-Based Possibilistic Repair for Partially Ordered DL-Lite Ontologies
Leon, Jorge	Efficient Computation of Shap Explanation Scores for Neural Network Classifiers via Knowledge Compilation
Li, Xu	A Principle-Based Analysis of Bipolar Argumentation Semantics
Lifschitz, Vladimir	On Heuer’s Procedure for Verifying Strong Equivalence
Lorini, Emiliano	Base-based Model Checking for Multi-Agent Only Believing
Lu, Xiao-Nan	Hamiltonian Cycle Reconfiguration with Answer Set Programming
Lyon, Tim	Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
M
Mahmood, Yasir	Logics with Probabilistic Team Semantics and the Boolean Negation
Maratea, Marco	Comparing Planning Domain Models using Answer Set Programming
Markovic, Djordje	Towards Systematic Treatment of Partial Functions in Knowledge Representation
Marquis, Pierre	Boosting Definability Bipartition Computation using SAT Witnesses
Masolo, Claudio	Concept Combination in Weighted DL
Mazzullo, Andrea	Non-Normal Modal Description Logics
Meier, Arne	Logics with Probabilistic Team Semantics and the Boolean Negation
Meyer, Thomas	Rational Closure Extension in SPO Representable Inductive Inference Operators
Michaliszyn, Jakub	Deterministic Weighted Automata under Partial Observability
Mochi, Marco	Comparing Planning Domain Models using Answer Set Programming
Montali, Marco	DELPHIC: Practical DEL Planning via Possibilities
Murano, Aniello	Robust Alternating-Time Temporal Logic
N
Nabeshima, Hidetomo	Hamiltonian Cycle Reconfiguration with Answer Set Programming
Neider, Daniel	Robust Alternating-Time Temporal Logic
Niskanen, Andreas	Computing MUS-Based Inconsistency Measures
O
Obiedkov, Sergei	Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
Oetsch, Johannes	Contrastive Explanations for Answer-Set Programs
Otop, Jan	Deterministic Weighted Automata under Partial Observability
Ozaki, Ana	Non-Normal Modal Description Logics
P
Papafilippou, Konstantinos	The Universal Tangle for Spatial Reasoning
Pearce, David	Logic, Accountability and Design
Perrotin, Elise	Belief Reconfiguration
Pino Perez, Ramon	Belief Reconfiguration
Popescu, Andrei	Reasoning in Assumption-based Argumentation using Tree-decompositions
Pukancová, Júlia	Merge, Explain, Iterate: A Combination of MHS and MXP in an ABox Abduction Solver
Q
Quaas, Karin	First Steps Towards Taming Description Logics with Strings
R
Rapberger, Anna	On the Expressive Power of Assumption-Based Argumentation
Righetti, Guendalina	Concept Combination in Weighted DL
Rintanen, Jussi	Succinct Planning with Partial Observability by SAT
Rondogiannis, Panos	Categorical Approximation Fixpoint Theory
Rotolo, Antonino	Stable Normative Explanations: From Argumentation to Deontic Logic
Rudolph, Sebastian	Derivation-Graph-Based Characterizations of Decidable Existential Rule Sets
Ruggieri, Salvatore	Declarative Reasoning on Explanations Using Constraint Logic Programming
S
Saravia, Andrés R.	How Easy it is to Know How: An Upper Bound for the Satisfiability Problem
Sartor, Giovanni	Stable Normative Explanations: From Argumentation to Deontic Logic
Sato, Tetsuya	Formalizing Statistical Causality via Modal Logic
Schaub, Torsten	Hamiltonian Cycle Reconfiguration with Answer Set Programming recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming Past-present Temporal Logic Programs over Finite Traces
Schwarzentruber, François	Base-based Model Checking for Multi-Agent Only Believing
Sertkaya, Barış	Computing Stable Extensions of Argumentation Frameworks using Formal Concept Analysis
Sezgin, Meliha	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
Soh, Takehide	Hamiltonian Cycle Reconfiguration with Answer Set Programming
State, Laura	Declarative Reasoning on Explanations Using Constraint Logic Programming
Steinbauer-Wagner, Gerald	Enhancing Temporal Planning by Sequential Macro-actions
Suenaga, Kohei	Formalizing Statistical Causality via Modal Logic
T
Tacchella, Armando	Optimal Planning with Expressive Action Languages as Constraint Optimization
Tamura, Naoyuki	Hamiltonian Cycle Reconfiguration with Answer Set Programming
Theseider Dupre, Daniele	Complexity and Scalability of Defeasible Reasoning with Typicality in Many-valued Weighted Knowledge Bases
Troquard, Nicolas	Non-Normal Modal Description Logics
Turhan, Anni-Yasmin	Deciding Subsumption in Defeasible ELI⊥ with Typicality Models
Turini, Franco	Declarative Reasoning on Explanations Using Constraint Logic Programming
U
Ulbricht, Markus	On the Expressive Power of Assumption-Based Argumentation
V
Vallati, Mauro	Comparing Planning Domain Models using Answer Set Programming
van der Torre, Leon	Deontic Equilibrium Logic with eXplicit Negation A Principle-Based Analysis of Bipolar Argumentation Semantics
Vesic, Srdjan	A Principle-Based Analysis of Bipolar Argumentation Semantics
Vilander, Miikka	Short Boolean Formulas as Explanations in Practice
Virtema, Jonni	Logics with Probabilistic Team Semantics and the Boolean Negation Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
W
Wallner, Johannes P.	Reasoning in Assumption-based Argumentation using Tree-decompositions
Wałęga, Przemysław Andrzej	Hybrid Modal Operators for Definite Descriptions
Wilhelm, Marco	Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
Y
Yamada, Yuya	recongo: Bounded Combinatorial Reconfiguration with Answer Set Programming
Yu, Liuwen	A Principle-Based Analysis of Bipolar Argumentation Semantics
Z
Zawidzki, Michal	Hybrid Modal Operators for Definite Descriptions
Zimmermann, Martin	Robust Alternating-Time Temporal Logic

Disclaimer | Powered by EasyChair Smart Program