Fabio Patrizi

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Mimicking behaviors in separated domains The Journal of Artificial Intelligence Research (JAIR)	2023-10-23	Paper
Situation calculus for controller synthesis in manufacturing systems with first-order state representation Artificial Intelligence	2021-12-13	Paper
First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus Information and Computation	2018-03-21	Paper
LTL verification of online executions with sensing in bounded situation calculus	2017-07-18	Paper
Progression and verification of situation calculus agents with bounded beliefs Studia Logica	2016-09-07	Paper
Bounded situation calculus action theories Artificial Intelligence	2016-05-20	Paper
Agent planning programs Artificial Intelligence	2015-12-28	Paper
Action theories over generalized databases with equality constraints Logics in Artificial Intelligence	2015-01-14	Paper
Verification of agent-based artifact systems The Journal of Artificial Intelligence Research (JAIR)	2014-10-22	Paper
Automatic behavior composition synthesis Artificial Intelligence	2013-08-23	Paper
On the separability of subproblems in Benders decompositions Annals of Operations Research	2010-02-01	Paper
Evaluating ASP and commercial solvers on the CSPLib Constraints	2009-05-29	Paper
AUTOMATIC SERVICE COMPOSITION VIA SIMULATION International Journal of Foundations of Computer Science	2008-09-25	Paper
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems Lecture Notes in Computer Science	2007-04-30	Paper

Research outcomes over time

This page was built for person: Fabio Patrizi