Login / Signup
A Predicate Connection Graph Based Logic with Flexible Control.
Richard Whitney
Darrel J. Van Buer
Donald P. McKay
Dan Kogan
Lynette Hirschman
Rebecca Davis
Published in:
IJCAI (1985)
Keyphrases
</>
control theory
control system
graph model
predicate logic
classical logic
control strategies
control method
optimal control
semi supervised
control strategy
expressive power
process control
automated reasoning
horn clauses
active learning
digital circuits
genetic algorithm