Workshop on Automated Reasoning.
Jürgen MüllerRolf Socher-AmbrosiusPublished in: Künstliche Intell. (1989)
Keyphrases
- automated reasoning
- knowledge representation
- reasoning systems
- theorem prover
- probabilistic reasoning
- theorem proving
- automated verification
- decision procedures
- reasoning tasks
- selected papers
- knowledge representation and reasoning
- prime implicants
- probabilistic inference
- graphical models
- dynamic programming
- artificial neural networks
- high level