Logic programs with classical negation
Logic programming
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Well founded semantics for logic programs with explicit negation
ECAI '92 Proceedings of the 10th European conference on Artificial intelligence
Qualitative probabilities for default reasoning, belief revision, and causal modeling
Artificial Intelligence
Compiling specificity into approaches to nonmonotonic reasoning
Artificial Intelligence
Reasoning with Logic Programming
Reasoning with Logic Programming
Dealing Automatically with Exceptions by Introducing Specificity in ASP
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Handling exceptions in logic programming without negation as failure
ECSQARU'11 Proceedings of the 11th European conference on Symbolic and quantitative approaches to reasoning with uncertainty
| Hi-index | 0.00 |
In this paper we demonstrate how a default theory, expressed through a set of conditional defaults that the agent possesses, can be traduced into extended logic programs. Additionally, the proposed translation allows to evaluate the degree of epistemic surprise of a proposition (or a conjunction of propositions) Φ on a meta-logical level.