Dynamic Reasoning Systems.

Daniel G. Schwartz

Published in: ACM Trans. Comput. Log. (2015)

Keyphrases

reasoning systems
automated reasoning
knowledge representation and reasoning
dynamic environments
diagnostic reasoning
website
description logics
bayesian networks
artificial neural networks
mobile robot
database
data mining
information retrieval
theorem proving