Loading...
Please wait, while we are loading the content...
Similar Documents
Representation Results for Defeasible Logic (2001)
| Content Provider | CiteSeerX |
|---|---|
| Author | Antoniou, Grigoris Billington, David Governatori, Guido Maher, Michael |
| Abstract | This paper investigates transformations and normal forms in the context of Defeasible Logic, a simple but efficient formalism for nonmonotonic reasoning based on rules and priorities. The transformations described in this paper have two main benefits: on one hand they can be used as a theoretical tool that leads to a deeper understanding of the formalism, and on the other hand they have been used in the development of an efficient implementation of defeasible logic |
| File Format | |
| Volume Number | 2 |
| Journal | ACM Transactions on Computational Logic |
| Language | English |
| Publisher Date | 2001-01-01 |
| Access Restriction | Open |
| Subject Keyword | Defeasible Logic Representation Result Efficient Implementation Nonmonotonic Reasoning Efficient Formalism Main Benefit Theoretical Tool Normal Form |
| Content Type | Text |
| Resource Type | Article |
