| Contrastive Explanations for Answer-Set Programs
|
2023 |
Eiter, Thomas |
| Hybrid ASP-Based Multi-objective Scheduling of Semiconductor Manufacturing Processes
|
2023 |
El-Kholany, Mohammed M. S. |
| Concept Combination in Weighted DL
|
2023 |
Righetti, Guendalina |
| Non-standard Modalities in Paraconsistent Gödel Logic
|
2023 |
Bílková, Marta |
| Base-Based Model Checking for Multi-agent only Believing
|
2023 |
Lima, Tiago de |
| Splitting Techniques for Conditional Belief Bases in the Context of c-Representations
|
2023 |
Wilhelm, Marco |
| Complexity and Scalability of Defeasible Reasoning with Typicality in Many-Valued Weighted Knowledge Bases
|
2023 |
Alviano, Mario |
| Rational Closure Extension in SPO-Representable Inductive Inference Operators
|
2023 |
Haldimann, Jonas |
| Truth and Preferences - A Game Approach for Qualitative Choice Logic
|
2023 |
Freiman, Robert |
| Strongly Complete Axiomatization for a Logic with Probabilistic Interventionist Counterfactuals
|
2023 |
Barbero, Fausto |
| Boosting Definability Bipartition Computation Using SAT Witnesses
|
2023 |
Lagniez, Jean-Marie |
| Computing MUS-Based Inconsistency Measures
|
2023 |
Kuhlmann, Isabelle |
| 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 |
Tag hinzufügen