Paraconsistent Circumscription: Preliminary Report.
Zuoquan LinPublished in: Int. J. Pattern Recognit. Artif. Intell. (1996)
Keyphrases
- logic programming
- default logic
- logic programs
- nonmonotonic reasoning
- answer sets
- classical logic
- autoepistemic logic
- valued semantics
- closed world assumption
- default reasoning
- stable model semantics
- disjunctive logic programming
- commonsense knowledge
- answer set programming
- situation calculus
- inference rules
- deductive databases
- loop formulas
- theorem prover
- possibilistic logic
- minimal models
- reasoning tasks
- nonmonotonic logics
- stable models
- general logic programs
- closed world reasoning
- event calculus
- data exchange
- programming language
- knowledge representation
- knowledge base
- fixpoint
- propositional logic
- truth values
- bayesian networks
- decision making
- machine learning
- data mining
- data sets
- real time