An algebra for logic strength simulation.

Peter Flake Philip Moorby Gerry Musgrave

Published in: DAC (1983)

Keyphrases

boolean algebra
set theory
logic programming
simulation environment
learning algorithm
neural network
query language
classical logic
simulation models
relation algebra
computational properties
simulation model
modal logic
mathematical model
data model
case study
search engine