Knowledge Representation and Automated Reasoning.
Bernard J. RobinetPublished in: Wissensbasierte Systeme (1987)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- decision procedures
- reasoning tasks
- probabilistic reasoning
- theorem prover
- knowledge representation and reasoning
- theorem proving
- expert systems
- knowledge base
- knowledge acquisition
- logic programming
- semantic web
- automated verification
- description logics
- artificial intelligence
- natural language
- machine learning
- first order logic
- message passing
- answer set programming
- data mining
- np hard
- high level