A Uniform Approach to Incremental Automated Reasoning on Strongly Distributed Structures.

Elena V. Ravve Zeev Volkovich Gerhard-Wilhelm Weber

Published in: GCAI (2015)

Keyphrases

automated reasoning
reasoning systems
theorem proving
decision procedures
knowledge representation
probabilistic reasoning
reasoning tasks
theorem prover
automated verification
knowledge representation and reasoning
distributed systems
multi agent
peer to peer
neural network
machine learning
prime implicants