research
∙
08/08/2023
Current and Future Challenges in Knowledge Representation and Reasoning
Knowledge Representation and Reasoning is a central, longstanding, and a...
share
research
∙
04/29/2014
An Approach to Forgetting in Disjunctive Logic Programs that Preserves Strong Equivalence
In this paper we investigate forgetting in disjunctive logic programs, w...
research
∙
01/16/2014
Iterated Belief Change Due to Actions and Observations
In action domains where agents may have erroneous beliefs, reasoning abo...
research
∙
03/08/2000
Logic Programs with Compiled Preferences
We describe an approach for compiling preferences into logic programs un...
research
∙
03/08/2000