Automated Reasoning, Knowledge Representation and Management.
Peter BaumgartnerUlrich FurbachAdnan H. YahyaPublished in: Künstliche Intell. (2005)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- probabilistic reasoning
- theorem prover
- decision procedures
- reasoning tasks
- automated verification
- theorem proving
- knowledge representation and reasoning
- management system
- artificial intelligence
- machine learning
- knowledge acquisition
- expert systems
- logic programming
- description logics
- natural language
- propositional satisfiability
- first order logic
- knowledge management
- data model
- search space
- natural language understanding
- search algorithm
- bayesian networks