Brian Logan's Publications

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

By: De Giacomo, Giuseppe, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardina

Download Information

De Giacomo, Giuseppe, Paolo Felli, Brian Logan, Fabio Patrizi, and Sebastian Sardina (2022). "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation." Aritificial Intelligence, 302, 103598.  

Bibtex citation

@article{De-Giacomo//:21a,
author =    "De Giacomo, Giuseppe and Paolo Felli and Brian Logan and Fabio Patrizi and Sebastian Sardina",
title =    "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation",
journal =    "Aritificial Intelligence",
volume =    302,
pages =    103598,
year =    2022,
issn =    {0004-3702},
doi =       {https://doi.org/10.1016/j.artint.2021.103598},
}

full list