Structured Tools and Condiitonal Logic: an Empirical Investigation.

Iris Vessey Ron Weber

Published in: ICIS (1985)

Keyphrases

logic programming
data sets
end users
knowledge representation
decision support
modal logic
automated reasoning
user interface
learning systems
expressive power
design decisions
classical logic
linear logic
natural deduction