Negation and Paraconsistent Logics.
Soma DuttaMihir K. ChakrabortyPublished in: Logica Universalis (2011)
Keyphrases
- truth values
- logic programming
- inference rules
- classical logic
- logic programs
- default logic
- valued semantics
- valued logic
- horn clauses
- modal logic
- inconsistent knowledge
- fixpoint
- expressive power
- knowledge representation and reasoning
- computational properties
- deductive databases
- possibilistic logic
- datalog programs
- multi valued
- conditional logic
- answer set programming
- knowledge representation
- knowledge base
- database
- temporal logic
- programming language
- object oriented
- epistemic logic
- neural network
- first order logic
- knowledge based systems
- relational databases
- propositional calculus