Semantic Entailment in Non Classical Logics Based on Proofs Found in Classical Logic.
Ricardo CaferraStéphane DemriPublished in: CADE (1992)
Keyphrases
- classical logic
- logic programming
- automated theorem proving
- textual entailment
- modal logic
- rationality postulates
- logic programs
- possibilistic logic
- sequent calculus
- recognizing textual entailment
- intuitionistic logic
- autoepistemic logic
- revision operators
- natural language sentences
- default logic
- nonmonotonic reasoning
- valued logic
- computer science and artificial intelligence
- semantic information
- answer set programming
- deductive databases
- semantic features
- programming language
- knowledge representation
- knowledge base
- decision procedures
- theorem prover
- cut elimination
- high level
- probabilistic reasoning
- theorem proving
- general purpose