Translation-Based Revision and Merging for Minimal Horn Reasoning.
Gerhard BrewkaJean-Guy MaillyStefan WoltranPublished in: ECAI (2016)
Keyphrases
- horn logic
- knowledge base
- propositional logic
- belief revision
- horn contraction
- belief change
- machine translation
- np hard
- default reasoning
- automated reasoning
- merging algorithm
- machine translation system
- reasoning systems
- query translation
- natural language
- legal reasoning
- logical framework
- statistical machine translation
- reasoning tasks
- maximal tractable
- knowledge representation