Experiences with a Schematic Logic Preprocessor.

J. M. Triance J. F. S. Yow

Published in: Softw. Pract. Exp. (1980)

Keyphrases

classical logic
logic programming
modal logic
case study
automated reasoning
multi valued
data sets
artificial intelligence
predicate logic
real time
learning algorithm
clustering algorithm
learning environment
epistemic logic
dynamic logic
natural deduction