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

Conference proceeding

Peer reviewed

G De Giacomo, Paolo Felli, B Logan, F Patrizi and S Sardina

roceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pp.5722-5726

31st International Joint Conference on Artificial Intelligence (IJCAI 2022) (Wien, 22/07/2022 - 29/09/2022)

2022

Handle:

https://hdl.handle.net/10863/31889

Files and links (1)

url

https://www.ijcai.org/proceedings/2022/798View

Title: Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)
Creators: G De Giacomo
Paolo Felli
B Logan
F Patrizi
S Sardina
Publication Details: roceedings of the Thirty-First International Joint Conference on Artificial Intelligence, IJCAI 2022, Vienna, Austria, 23-29 July 2022, pp.5722-5726
ISBN: 9781956792003
Conference: 31st International Joint Conference on Artificial Intelligence (IJCAI 2022) (Wien, 22/07/2022 - 29/09/2022)
Publisher: ijcai.org
Identifiers: 978-195679200-3
(UNIBZ)65483839
991006491397601241
Scopus ID: 2-s2.0-85137884224
Academic Unit: Faculty of Computer Science
Language: English
Resource Type: Conference proceeding
Author Names String: De Giacomo G, Felli P, Logan B, Patrizi F, Sardina S

1 Record Views