] Filters: First Letter Of Last Name is S [Clear All Filters]
"Modeling Control Objectives for Business Process Compliance",
{Proceedings of the 5th International Conference on Business Process Management (BPM 2007)}, vol. 4714: Springer, pp. 149-164, 2007.
"Specification and Validation of Process Constraints for Flexible Workflows",
Information Systems, vol. 30, no. 5, pp. 349-378, 2005.
"Variants of the Event Calculus",
{Proceedings of the 12th International Conference on Logic Programming (ICLP 1995)}: MIT Press, pp. 67-81, 1995.
"Automated SLA Monitoring for Web Services",
Proceedings of the 13th IFIP/IEEE International Workshop on Distributed Systems: Operations and Management (DSOM 2002), vol. 2506: Springer, pp. 28-41, 2002.
Legal Reasoning,
, vol. 5: Kluwer, 2004.
"Modeling and Model Checking Web Services",
Electronic Notes in Theoretical Computer Science: Issue on Logic and Communication in Multi-Agent Systems, vol. 126: Elsevier, pp. 3-26, 2005.
"Is Time a Real Time? An Overview of Time Ontology in Informatics",
Real Time Computing, vol. F 127, pp. 283-307, 1994.
Speech Acts,
: Cambridge University Press, 1969.
"The Event Calculus Explained",
{Artificial Intelligence Today: Recent Trends and Developments}, vol. 1600: Springer, pp. 409-430, 1999.
"Representation of Clinical Practice Guidelines in Conventional and Augmented Decision Tables",
Journal of the American Medical Informatics Association, vol. 4, no. 5, pp. 382-393, 1997.
"Runtime Monitoring of Web Service Conversations",
IEEE Transactions on Services Computing, vol. 2, no. 3, pp. 223-244, 2009.
"A Social Semantics for Agent Communication Languages",
Issues in Agent Communication, vol. 1916: Springer, pp. 31-45, 2000.
"Commitment-Based Service-Oriented Architecture",
IEEE Computer, vol. 42, no. 11, pp. 72-79, 2009.
"Agent Communication Languages: Rethinking the Principles",
IEEE Computer, vol. 31, no. 12, 1998.
"The Complementation Problem for Büchi Automata with Appplications to Temporal Logic",
Jorunal of Theoretical Computer Science, vol. 49, pp. 217-237, 1987.
"Urban Traffic Control System Using Self-Organization",
13th International IEEE Conference on Intelligent Transportation Systems, pp. 255-260, 2010.
"AI Techniques for Waste Water Treatment Plant Control Case Study: Denitrification in a Pilot-Scale SBR",
{Proceedings of the 17th Italian Workshop on Neural Networks, part of the 11th International Conference on Knowledge-Based Intelligent Information and Engineering Systems(KES2007)}, vol. 4692: Springer, pp. 639-646, 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 Configurable Rete-OO Engine for Reasoning with Different Types of Imperfect Information",
IEEE Transactions on Knowledge and Data Engineering, vol. 22, Los Alamitos, CA, USA, IEEE Computer Society, pp. 1535-1548, 2010.
Download: Sottara, Mello, Proctor - A configurable Rete-OO engine for Reasoning with Different Types of Imperfect Information - 2010.pdf (1.78 MB)
"Non-Intrusive Monitoring of Service-Based Systems",
Cooperative Information Systems, vol. 15, no. 3, pp. 325-358, 2006.
The Art of Prolog,
, 2nd: MIT Press, 1994.