Automated Reasoning in Some Local Extensions of Ordered Structures.
Viorica Sofronie-StokkermansCarsten IhlemannPublished in: J. Multiple Valued Log. Soft Comput. (2007)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem proving
- theorem prover
- probabilistic reasoning
- decision procedures
- reasoning tasks
- knowledge representation and reasoning
- automated verification
- first order logic
- description logics
- supervised learning
- relational databases
- propositional satisfiability
- valued logic
- knowledge base