Fabio Patrizi

Available identifiers

Publication	Date of Publication	Type
Mimicking behaviors in separated domains	2023-10-23	Paper
Situation calculus for controller synthesis in manufacturing systems with first-order state representation	2021-12-13	Paper
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus	2018-03-21	Paper
https://portal.mardi4nfdi.de/entity/Q5282994	2017-07-18	Paper
Progression and verification of situation calculus agents with bounded beliefs	2016-09-07	Paper
Bounded situation calculus action theories	2016-05-20	Paper
Agent planning programs	2015-12-28	Paper
Action Theories over Generalized Databases with Equality Constraints	2015-01-14	Paper
Verification of agent-based artifact systems	2014-10-22	Paper
Automatic behavior composition synthesis	2013-08-23	Paper
On the separability of subproblems in Benders decompositions	2010-02-01	Paper
Evaluating ASP and commercial solvers on the CSPLib	2009-05-29	Paper
AUTOMATIC SERVICE COMPOSITION VIA SIMULATION	2008-09-25	Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems	2007-04-30	Paper

This page was built for person: Fabio Patrizi