Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools.
Jesse AlamaPublished in: IWIL@LPAR (2010)
Keyphrases
- automated reasoning
- reasoning systems
- knowledge representation
- theorem prover
- decision procedures
- theorem proving
- probabilistic reasoning
- reasoning tasks
- automated verification
- propositional satisfiability
- knowledge representation and reasoning
- data dependent
- first order logic
- description logics
- general purpose
- object oriented
- special case
- lower bound