Automated Reasoning in the Context of the Semantic Web.
Hans Jürgen OhlbachPublished in: TABLEAUX (2005)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem proving
- theorem prover
- decision procedures
- reasoning tasks
- automated verification
- probabilistic reasoning
- semantic web
- neural network
- machine learning
- general purpose
- high level
- knowledge base
- artificial intelligence
- propositional satisfiability