Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract).

Giuseppe De Giacomo, Paolo Felli, Brian Logan, Fabio Patrizi, Sebastian Sardia

Browse the full IJCAI paper archive.