]
"A Declarative Approach for Flexible Business Processes Management",
Proceedings of the BPM 2006 Workshops (BPD, BPI, ENEI, GPWW, DPM, semantics4ws), vol. 4103: Springer, pp. 169-180, 2006.
"A Dynamic and Reactive Approach to the Supervision of BPEL Processes",
Proceedings of the 1st Annual India Software Engineering Conference (ISEC 2008): ACM, pp. 39-48, 2008.
"A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening",
Proceedings of the 16th International Symposium on Foundations of Intelligent Systems (ISMIS 2006), vol. 4203: Springer Verlag, pp. 338-343, 2006.
"A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance",
12th Conference on Artificial Intelligence in Medicine (AIME'09), vol. 5651, pp. 91-95, 2009.
"A Logic-Based Calculus of Events",
New Generation Computing, vol. 4, no. 1, pp. 67-95, 1986.
"A Logic-Based, Reactive Calculus of Events",
{24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
"A Logic-Based, Reactive Calculus of Events",
Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010.
Abstract
"A Meta Model for Process Mining Data",
Proceedings of the CAiSE'05 Workshops (EMOI-INTEROP Workshop), vol. 160: FEUP Edições, pp. 309-320, 2005.
"A Modular Approach for Representing and Executing Clinical Guidelines",
Artificial Intelligence in Medicine, vol. 23, no. 3, pp. 249-276, 2001.
A New Definition of SLDNF-Resolution,
: CWI (Centre for Mathematics and Computer Science), 1992.
"A Parametric Analysis of the State-Explosion Problem in Model Checking",
Computer and System Sciences, vol. 72, no. 4, pp. 547-575, 2006.
"A Pattern-based Analysis of Clinical Computer-Interpretable Guideline Modelling Languages",
Journal of the American Medical Informatics Association, vol. 14, pp. 781-787, 2007.
"A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments",
Proocedings of the 4th International Conference on Service-Oriented Computing (ICSOC 2006), vol. 4294: Springer, 2006.
"A Really Temporal Logic",
Proceedings of the 30th Annual IEEE Symposium on Foundations of Computer Science: IEEE Computer Society, pp. 164-169, 1989.
"A Resolution Principle for Constrained Logics",
Artificial Intelligence, vol. 66: Elsevier, pp. 235-271, 1994.
"A Rule-Based Approach for Reasoning about Collaboration between Smart Web-Services",
Proceedings of the First International Conference on Web Reasoning and Rule Systems (RR'07), vol. 4524: Springer Verlag, pp. 279-288, 2007.
"A Rule-Based Implementation of Fuzzy Tableau Reasoning",
Proceedings of the 4th International Web Rule Symposium: Research Based and Industry Focused (RuleML 2010), 2010.
"A Semantical Framework to Engineering WSBPEL Processes",
Information Systems and E-Business Management, vol. 7, no. 2, pp. 223-250, 2008.
"A Set-Theoretic Framework for Component Composition",
Fundamenta Informaticae, vol. 59, no. 4, pp. 373-396, 2004.
"A Social Approach to Communication in Multiagent Systems",
Proceedings of the First International Workshop on {D}eclarative {A}gent {L}anguages and {T}echnologies (DALT2004), vol. 2990: Springer, pp. 191-220, 2004.
"A Static Compliance-Checking Framework for Business Process Models - References",
IBM Systems Journal, vol. 46, pp. 335-362, 2007.
"A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules",
Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR2010), vol. 6333/2010, Bressanone, Italy, Springer, pp. 227-230, 2010.
"A Survey on Temporal Reasoning in Artificial Intelligence",
AI Communication, vol. 7, no. 1, pp. 4-28, 1994.
"A-Priori Verification of Web Services with Abduction",
21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 2006.
"Abduction for Specifying and Verifying Web Service Choreographies",
4th International Workshop on AI for Service Composition (AISC 2006), 2006.