Dynamic Reasoning Systems.

Daniel G. Schwartz

Published in: CoRR (2013)

Keyphrases

reasoning systems
automated reasoning
dynamic environments
knowledge representation and reasoning
diagnostic reasoning
description logics
databases
case study
data mining
website
data structure
pairwise
constraint satisfaction
theorem prover