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 |
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 |
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 |