| Introducing a Tool for Concurrent Argumentation
|
2021 |
Bistarelli, Stefano |
| Trust Is All You Need: From Belief Revision to Information Revision
|
2021 |
Yasser, Ammar |
| Syntax Splitting for Iterated Contractions, Ignorations, and Revisions on Ranking Functions Using Selection Strategies
|
2021 |
Haldimann, Jonas |
| Epistemic Reasoning About Rationality and Bids in Auctions
|
2021 |
Mittelmann, Munyqaue |
| Tractable Combinations of Theories via Sampling
|
2021 |
Bodirsky, Manuel |
| A Computationally Grounded Logic of Graded Belief
|
2021 |
Lorini, Emiliano |
| ReAD: AD-Based Modular Ontology Classification
|
2021 |
Zhao, Haoruo |
| Tractable Reasoning Using Logic Programs with Intensional Concepts
|
2021 |
Heyninck, Jesse |
| Estimating Grounding Sizes of Logic Programs Under Answer Set Semantics
|
2021 |
Hippen, Nicholas |
| Solving a Multi-resource Partial-Ordering Flexible Variant of the Job-Shop Scheduling Problem with Hybrid ASP
|
2021 |
Francescutto, Giulia |
| Testing in ASP: Revisited Language and Programming Environment
|
2021 |
Amendola, Giovanni |
| 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 |
| Graph-Classes of Argumentation Frameworks with Collective Attacks
|
2021 |
Dvořák, Wolfgang |
Tag hinzufügen