Nonmonotonic reasoning, preferential models and cumulative logics
Artificial Intelligence
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Phased Labeled Logics of Conditional Goals
JELIA '98 Proceedings of the European Workshop on Logics in Artificial Intelligence
A Logic of Relative Desire (Preliminary Report)
ISMIS '91 Proceedings of the 6th International Symposium on Methodologies for Intelligent Systems
PRICAI '96 Proceedings from the Workshop on Intelligent Agent Systems, Theoretical and Practical Issues
Cancelling and overshadowing two types of defeasibility in defeasible deontic logic
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Hi-index | 0.00 |
In this paper we study defeasible goals in Gabbay's labelled deductive systems. We prove the completeness of a simple and elegant proof theory for the labelled logic of defeasible goals by proving two phasing theorems.