| Probabilistic Argumentation: An Approach Based on Conditional Probability -A Preliminary Report
|
2021 |
Dellunde, Pilar |
| Conditional Descriptor Revision and Its Modelling by a CSP
|
2021 |
Haldimann, Jonas |
| An Epistemic Logic for Multi-agent Systems with Budget and Costs
|
2021 |
Costantini, Stefania |
| Analyzing Unit Read-Once Refutations in Difference Constraint Systems
|
2021 |
Subramani, K. |
| Residuation for Soft Constraints: Lexicographic Orders and Approximation Techniques
|
2021 |
Gadducci, Fabio |
| Weighted Defeasible Knowledge Bases and a Multipreference Semantics for a Deep Neural Network Model
|
2021 |
Giordano, Laura |
| DualGrounder: Lazy Instantiation via Clingo Multi-shot Framework
|
2021 |
Lierler, Yuliya |
| Lazy Stream Manipulation in Prolog via Backtracking: The Case of 2P-KT
|
2021 |
Ciatto, Giovanni |
| An Algebraic View on p-Admissible Concrete Domains for Lightweight Description Logics
|
2021 |
Baader, Franz |
| Exploiting Forwardness: Satisfiability and Query-Entailment in Forward Guarded Fragment
|
2021 |
Bednarczyk, Bartosz |
| On Syntactic Forgetting Under Uniform Equivalence
|
2021 |
Gonçalves, Ricardo |
| Tractability Frontiers in Probabilistic Team Semantics and Existential Second-Order Logic over the Reals
|
2021 |
Hannula, Miika |
| Graph-Classes of Argumentation Frameworks with Collective Attacks
|
2021 |
Dvořák, Wolfgang |
| Computing Defeasible Meta-logic
|
2021 |
Olivieri, Francesco |
| An Epistemic Probabilistic Logic with Conditional Probabilities
|
2021 |
Dautović, Sejla |
| An Abstract View on Optimizations in SAT and ASP.
|
2021 |
Lierler, Yuliya |
| Model Reconciliation in Logic Programs
|
2021 |
Son, Tran Cao |
| A Multi-shot ASP Encoding for the Aircraft Routing and Maintenance Planning Problem
|
2021 |
Tassel, Pierre |
| Transforming Gringo Rules into Formulas in a Natural Way
|
2021 |
Lifschitz, Vladimir |
| Introducing a Tool for Concurrent Argumentation
|
2021 |
Bistarelli, Stefano |
Tag hinzufügen