Meeting of the Association for Symbolic Logic.

Charles D. Parsons Richard J. Orgass Richmond H. Thomason

Published in: J. Symb. Log. (1972)

Keyphrases

modal logic
logic programming
automated reasoning
high level
multi agent
data sets
symbolic reasoning
computational properties
set theory
meeting room
deontic logic
abductive reasoning
binary decision diagrams
nonmonotonic logics
logical framework
multi valued
association rules
multi agent systems