research
∙
08/30/2023
Sorting Strategies for Interactive Conflict Resolution in ASP
Answer set programs in practice are often subject to change. This can le...
share
research
∙
08/17/2022
On Establishing Robust Consistency in Answer Set Programs
Answer set programs used in real-world applications often require that t...
research
∙
02/04/2022
A Conditional Perspective on the Logic of Iterated Belief Contraction
In this article, we consider iteration principles for contraction, with ...
research
∙
10/28/2021
Conditional Inference and Activation of Knowledge Entities in ACT-R
Activation-based conditional inference applies conditional reasoning to ...
research
∙
08/17/2021
On Limited Non-Prioritised Belief Revision Operators with Dynamic Scope
The research on non-prioritized revision studies revision operators whic...
research
∙
11/20/2019
A Conditional Perspective for Iterated Belief Contraction
According to Boutillier, Darwiche, Pearl and others, principles for iter...
research
∙
08/04/2013
Stratified Labelings for Abstract Argumentation
We introduce stratified labelings as a novel semantical approach to abst...
research
∙
08/30/2011
A Constraint Logic Programming Approach for Computing Ordinal Conditional Functions
In order to give appropriate semantics to qualitative conditionals of th...
research
∙
03/06/2000