The development of paraconsistent annotated logic programs.
Kazumi NakamatsuJair Minoro AbePublished in: Int. J. Reason. based Intell. Syst. (2009)
Keyphrases
- logic programs
- logic programming
- stable models
- answer sets
- fixpoint
- answer set programming
- background knowledge
- normal logic programs
- inductive logic programming
- deductive databases
- partial deduction
- prolog programs
- nonmonotonic reasoning
- logic program updates
- computational properties
- horn clauses
- reasoning tasks
- knowledge based systems
- programming language
- classical logic
- default reasoning
- answer set programs
- knowledge base
- knowledge representation