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