Home

Biblio

Export 18 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: Author is Marco Montali  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
W
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "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.
V
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.
Montali, M., P. Torroni, M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, and P. Mello, "Verification from Declarative Specifications Using Logic Programming", 15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
S
Montali, M., "Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach", Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 2010.
E
Montali, M., P. Torroni, N. Zannone, P. Mello, and V. Bryl, "Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos", Autonomous Agents and Multi-Agent Systems: Springer, pp. 1-31, 2010.
H
Bragaglia, S., F. Chesani, A. Ciampolini, P. Mello, M. Montali, and D. Sottara, "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.
L
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010. Abstract
R
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.
Torroni, P., F. Chesani, P. Mello, and M. Montali, "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
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A REC-Based Commitment Tracking Tool", Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
M
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Monitoring Time-Aware Commitments Within Agent-Based Simulation Environments", Cybernetics and Systems, vol. 42, issue 7, no. 7: Taylor & Francis, pp. 21, 2011.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.
F
Bragaglia, S., F. Chesani, P. Mello, M. Montali, and D. Sottara, "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.
E
Bragaglia, S., F. Chesani, E. Fry, P. Mello, M. Montali, and D. Sottara, "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems", RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
D
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.
C
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "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.
Alberti, M., M. Cattafi, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "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.
A
Montali, M., P. Torroni, M. Alberti, F. Chesani, E. Lamma, and P. Mello, "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.