Towards "Propagation = Logic + Control".

Sebastian Brand Roland H. C. Yap

Published in: ICLP (2006)

Keyphrases

control system
real time
artificial intelligence
modal logic
process control
database
decision making
logic programming
optimal control
control method
multi valued
data sets
information retrieval
data structure
control strategy
classical logic