On the Mutual Definability of the Notions of Entailment, Rejection, and Inconsistency.
Urszula Wybraniec-SkardowskaPublished in: Axioms (2016)
Keyphrases
- belief base
- propositional logic
- fixed point
- textual entailment
- belief revision
- logic programming
- information systems
- belief change
- recognizing textual entailment
- np complete
- deductive databases
- probabilistic logic
- integrity checking
- default reasoning from conditional knowledge bases
- lexico syntactic
- inconsistent information
- search engine
- key properties
- possibilistic logic
- classical logic
- bayesian networks
- textual entailment recognition
- databases