Reasoning Theories: Towards an Architecture for Open Mechanized Reasoning Systems.

Fausto Giunchiglia Paolo Pecchiari Carolyn L. Talcott

Published in: FroCoS (1996)

Keyphrases

reasoning systems
automated reasoning
knowledge representation and reasoning
description logics
diagnostic reasoning
formal models
semantic web
theorem prover
reasoning tasks
cognitive psychology
np hard
probabilistic model
knowledge representation
computational models
inference rules
reasoning under uncertainty