A Logic for the Exclusion Basis System.

Samuel T. Redwine Jr.

Published in: HICSS (2004)

Keyphrases

starting point
logic programming
modal logic
predicate logic
logical framework
search algorithm
automated reasoning
evolutionary algorithm
artificial neural networks
data sets
multi agent
bayesian networks
information systems
artificial intelligence
genetic algorithm
real world
neural network