Embedding Defeasible Logic into Logic Programming
Grigoris AntoniouDavid BillingtonGuido GovernatoriMichael J. MaherPublished in: CoRR (2005)
Keyphrases
- logic programming
- defeasible logic
- nonmonotonic reasoning
- knowledge representation and reasoning
- extended logic programs
- default logic
- logic programs
- defeasible reasoning
- default reasoning
- deductive databases
- logic programming language
- knowledge base
- answer set programming
- answer sets
- programming language
- nonmonotonic logics
- knowledge representation
- rule base
- probabilistic reasoning
- high level
- business rules
- stable models
- default theories
- answer set semantics
- argumentation systems
- general purpose
- databases