Travelled to:1 × Australia
1 × Austria
1 × Canada
1 × Italy
Collaborated with:G.D.Giacomo S.Sardiña S.Vassos F.Belardinelli A.Lomuscio Y.Lespérance
Talks about:constraint (2) general (2) theori (2) action (2) verif (2) techniqu (1) composit (1) calculus (1) behavior (1) artifact (1)
Person: Fabio Patrizi
DBLP: Patrizi:Fabio
Contributed to:
2014201220102008Wrote 5 papers:
- KR-2014-PatriziV #constraints #database #similarity
- Action Theories over Generalized Databases with Equality Constraints (FP, SV).
- KR-2012-BelardinelliLP #abstraction #verification
- An Abstraction Technique for the Verification of Artifact-Centric Systems (FB, AL, FP).
- KR-2012-GiacomoLP #bound #calculus #decidability #verification
- Bounded Situation Calculus Action Theories and Decidable Verification (GDG, YL, FP).
- KR-2010-GiacomoPS #constraints
- Generalized Planning with Loops under Strong Fairness Constraints (GDG, FP, SS).
- KR-2008-SardinaPG #behaviour #composition
- Behavior Composition in the Presence of Failure (SS, FP, GDG), pp. 640–650.