| 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 |
| 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 |
Tag hinzufügen