MSPASS: Modal Reasoning by Translation and First-Order Resolution.
Ullrich HustadtRenate A. SchmidtPublished in: TABLEAUX (2000)
Keyphrases
- valued logic
- pronominal anaphora
- knowledge base
- first order logic
- higher order
- probabilistic logic
- knowledge representation
- low resolution
- reasoning process
- target language
- consequence finding
- reasoning mechanisms
- reasoning systems
- computational properties
- reasoning tasks
- probabilistic reasoning
- query translation
- propositional logic
- modal logic
- machine translation
- high resolution
- qualitative reasoning
- horn clauses
- neural network
- default reasoning
- analogical reasoning
- logical formulas
- information retrieval