] Filters: Author is Marco Montali [Clear All Filters]
"Web Service contracting: Specification and Reasoning with SCIFF",
Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
"A Computational Logic Application Framework for Service Discovery and Contracting",
International Journal Web Service Research, vol. 8, no. 3: IGI Global, pp. 1-25, 2011.
"Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge",
Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
"An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning",
Proceedings of the 5th International Conference on Hybrid Artificial Intelligence Systems (HAIS 2010), vol. 6076: Springer, pp. 438–445, 2010.
"Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems",
RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
"Fuzzy Conformance Checking of Observed Behaviour with Expectations",
AI*IA 2011: Artificial Intelligence Around Man and Beyond, vol. LNCS 6934: Springer Berlin / Heidelberg, pp. 80-91, 2011.
"A Logic-Based, Reactive Calculus of Events",
Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010.
Abstract
"Declarative Technologies for Open Agent Systems and Beyond",
Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, pp. 1-5, 06/2010.
"Role Monitoring in Open Agent Societies",
Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.
"A REC-Based Commitment Tracking Tool",
Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
"Verifying A-Priori the Composition of Declarative Specified Services",
Proceedings of the 2nd Second Multi-Agent Logics, Languages, and Organisations Federated Workshops (MALLOW), International Workshop on Agents, Web Services and Ontologies, Integrated Methodologies (MALLOW-AWESOME), vol. 494: CEUR Workshop Proceedings, 2009.
"Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments",
Cybernetics and Systems, vol. 42, issue 7, no. 7: Taylor & Francis, pp. 21, 2011.
"Modeling and verifying business processes and choreographies through the abductive proof procedure SCIFF and its extensions",
Intelligenza Artificiale, vol. 5, issue 1/2011, no. 1, pp. 101-105, 02/2011.
"Verification from Declarative Specifications Using Logic Programming",
15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
"Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes",
Fundamenta Informaticae, vol. 102, issue 3-4: IOS Press, pp. 325-361, 11/2010.
"Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos",
Autonomous Agents and Multi-Agent Systems: Springer, pp. 1-31, 2010.
"Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach",
Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 2010.
"A Retrospective on the Reactive Event Calculus and Commitment Modeling Language",
Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012.
Abstract