Reliable Semantics for Extended Logic Programs with Rule Prioritization.
Anastasia AnalytiSakti PramanikPublished in: J. Log. Comput. (1995)
Keyphrases
- extended logic programs
- logic programming
- defeasible logic
- conflict resolution
- incomplete information
- answer sets
- logic programs
- nonmonotonic reasoning
- default logic
- access control policies
- answer set semantics
- default reasoning
- answer set programming
- normal logic programs
- nonmonotonic logics
- rule base
- classification rules
- production rules
- rule sets
- formal semantics
- stable models
- programming language
- artificial intelligence
- deductive databases
- query answering
- reasoning tasks
- fixed point
- first order logic
- association rules
- knowledge base