Brian Logan's Publications

Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract) (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 (Extended Abstract)." Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022) (pp. 5722-5726).

Bibtex citation

@inproceedings{De-Giacomo//:22a,
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 (Extended Abstract)",
booktitle =    "Proceedings of the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence ({IJCAI-ECAI} 2022)",
editor =    "De Raedt, Luc",
pages =    "5722--5726",
year =    2022,
address =    "Vienna, Austria",
month =    "July",
publisher =    "{IJCAI}",
}

---

full list