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.
"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.
"Verification from Declarative Specifications Using Logic Programming",
15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
"Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach",
Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 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.
"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.
"A Logic-Based, Reactive Calculus of Events",
Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010.
Abstract
"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 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
"A REC-Based Commitment Tracking Tool",
Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 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.
"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.
"Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems",
RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
"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.
"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.
"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.
"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.