Skip to main content

Biblio

Export 52 results:
Sort by: [ Author  (Asc)] Title Type Year
Filters: Author is P. Mello  [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 
A
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Expressing and Verifying Business Contracts with Abductive Logic Programming", Electronic Commerce, Special Issue on Contract Architectures and Languages, vol. 12, no. 4, pp. 9-38, 2008.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, S. Storari, and P. Torroni, "Computational Logic for the Run-time Verification of Web Service Choreographies: Exploiting the SOCS-SI Tool", Proceedings of the 3rd International Workshop on Web Services and Formal Methods (WS-FM'06), vol. 4184: Springer, pp. 58-72, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the 3rd Workshop on Semantic Web Applications and Perspectives (SWAP'06), vol. 201, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "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.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, S. Storari, and P. Torroni, "A Computational Logic-Based Approach to Verification of IT Systems", Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, G. Sartor, and P. Torroni, "Mapping Deontic Operators to Abductive Expectations", Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.
Alberti, M., M. Gavanelli, E. Lamma, P. Mello, and M. Milano, "A CHR-based implementation of known arc-consistency", Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
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.
Alberti, M., F. Chesani, E. Lamma, M. Gavanelli, P. Mello, M. Montali, and P. Torroni, "Policy-Based Reasoning for Smart Web Service Interaction", Proceedings of the First International Workshop on Applications of Logic Programming in the Semantic Web and Semantic Web Services, vol. 196, pp. 87-102, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "An Abductive Framework for A-Priori Verification of Web Services", Proceedings of the 8th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming: ACM Press, pp. 39-50, 2006.
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and M. Montali, "A-Priori Verification of Web Services with Abduction", 21-esimo Convegno Italiano di Logica Computazionale (CILC 2006), 2006.
Alberti, M., F. Chesani, A. Ciampolini, P. Mello, M. Montali, S. Storari, and P. Torroni, "Protocol Specification and Verification by Using Computational Logic", Proceedings of the 6th AI*IA/TABOO Joint Workshop ``From Objects to Agents'' (WOA 2005): Simulation and Formal Analysis of Complex Systems: Pitagora Editrice Bologna, pp. 184-192, 2005.
B
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, S. Storari, and P. Terenziani, "Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines", {Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Revised Selected and Invited Papers}, vol. 5943: Springer, pp. 76-87, 2010.
Bragaglia, S., D. Sottara, F. Chesani, and P. Mello, "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.
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.
C
Chesani, F., E. Lamma, P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Exploiting Inductive Logic Programming Techniques for Declarative Process Mining", Transactions on Petri Nets and Other Models of Concurrency (ToPNoC), Special Issue on Concurrency in Process-Aware Information Systems, vol. 5460, pp. 278-295, 2009.
Chesani, F., P. Mello, M. Montali, S. Storari, and P. Torroni, "On the Integration of Declarative Choreographies and Commitment-based Agent Societies into the SCIFF Logic Programming Framework", Multiagent and Grid Systems, Special Issue on Agents, Web Services and Ontologies: Integrated Methodologies, vol. 6, no. 2, 2010.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Verification of Choreographies During Execution Using the Reactive Event Calculus", Proceedings of the 5th International Workshop on Web Service and Formal Methods (WS-FM2008), vol. 5387: Springer, pp. 55-72, 2009.
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.
Chesani, F., E. Lamma, P. Mello, M. Montali, S. Storari, P. Baldazzi, and M. Manfredi, "Compliance Checking of Cancer-Screening Careflows: an Approach Based on Computational Logic", {Book Chapter of Computer-Based Medical Guidelines and Protocols: a Primer and Current Trends}: IOS Press, 2008.
Chesani, F., P. Mello, M. Montali, and S. Storari, "Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification", International Workshop on Agents, Web-Services and Ontologies: Integrated Methodologies (AWESOME'007), 2007.