Automated Reasoning in Some Local Extensions of Ordered Structures.
Viorica Sofronie-StokkermansCarsten IhlemannPublished in: ISMVL (2007)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- decision procedures
- theorem prover
- theorem proving
- reasoning tasks
- probabilistic reasoning
- knowledge representation and reasoning
- automated verification
- graphical models
- neural network
- constraint satisfaction problems
- fuzzy sets
- description logics
- software engineering
- training data
- propositional satisfiability