BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Patrizi:Fabio

Contributed to:

KR 20142014
KR 20122012
KR 20102010
KR 20082008

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.