On Shostak's Decision Procedure for Combinations of Theories.

David Cyrluk Patrick Lincoln Natarajan Shankar

Published in: CADE (1996)

Keyphrases

decision making
decision theory
data sets
multi agent
decision makers
theoretical framework
iterative procedure
database
website
information technology
search procedure
legal knowledge