Structured Tools and Conditional Logic: An Empirical Investigation.

Iris Vessey Ron Weber

Published in: Commun. ACM (1986)

Keyphrases

conditional logic
default reasoning
belief revision
higher order logic
modal logic
defeasible reasoning
nonmonotonic reasoning
machine learning
expert systems
general purpose
structured data
sound and complete axiomatization