The SZS Ontologies for Automated Reasoning Software.
Geoff SutcliffePublished in: LPAR Workshops (2008)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- decision procedures
- probabilistic reasoning
- theorem proving
- reasoning tasks
- theorem prover
- software development
- semantic web
- automated verification
- knowledge representation and reasoning
- design patterns
- propositional satisfiability
- knowledge base
- logic programming
- artificial intelligence
- data mining
- dynamic programming
- relational databases