| 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 |
| A New Class of Explanations for Classifiers with Non-binary Features
|
2023 |
Ji, Chunxi |
| Declarative Reasoning on Explanations Using Constraint Logic Programming
|
2023 |
State, Laura |
| Beyond ALCreg: Exploring Non-Regular Extensions of PDL with Description Logics Features
|
2023 |
Bednarczyk, Bartosz |
| Belief Reconfiguration
|
2023 |
Konieczny, Sébastien |
| Categorical Approximation Fixpoint Theory
|
2023 |
Charalambidis, Angelos |
| DELPHIC: Practical DEL Planning via Possibilities
|
2023 |
Burigana, Alessandro |
| Planning with Partial Observability by SAT
|
2023 |
Fadnis, Saurabh |
| Enhancing Temporal Planning by Sequential Macro-Actions
|
2023 |
Bortoli, Marco De |
| Plan Selection Framework for Policy-Aware Autonomous Agents
|
2023 |
Harders, Charles |
Tag hinzufügen