Situation calculus for controller synthesis in manufacturing systems with first-order state representation

De Giacomo G, Felli P, Logan B, Patrizi F, Sardiña S
No abstract available
Keywords:

4611 Machine Learning

,

46 Information and Computing Sciences

,

4602 Artificial Intelligence

,

4603 Computer Vision and Multimedia Computation