DARES: A Distributed Automated REasoning System.
Susan E. ConryDouglas J. MacIntoshRobert A. MeyerPublished in: AAAI (1990)
Keyphrases
- automated reasoning
- reasoning systems
- theorem prover
- knowledge representation
- decision procedures
- theorem proving
- reasoning tasks
- probabilistic reasoning
- distributed systems
- automated verification
- knowledge representation and reasoning
- multi agent
- machine learning
- inference rules
- data model
- computational complexity
- natural language