Skip to main content

Biblio

Export 52 results:
Sort by: [ Author  (Desc)] 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 
T
Torroni, P., F. Chesani, P. Yolum, M. Gavanelli, M. P. Singh, E. Lamma, M. Alberti, and P. Mello, "Modelling Interactions via Commitments and Expectations", Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
S
Sottara, D., L. Luccarini, and P. Mello, "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.
M
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.
Montali, M., M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, and P. Torroni, "Verification from Declarative Specifications Using Logic Programming", 24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
L
Lamma, E., P. Mello, F. Riguzzi, and S. Storari, "Applying Inductive Logic Programming to Process Mining", Proceedings of the 17th International Conference on Inductive Logic Programming (ILP2008), vol. 4894: Springer, pp. 132-146, 2008. Abstract
Lamma, E., P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Inducing Declarative Logic-Based Models from Labeled Traces", Proceedings of the 5th International Conference on Business Process Management (BPM 2007), vol. 4714: Springer, pp. 344-359, 2007.
Lamma, E., P. Mello, M. Montali, F. Riguzzi, and S. Storari, "Learning DecSerFlow Models from Labeled Traces", First International Workshop on the Induction of Process Models, 2007.
G
Gavanelli, M., E. Lamma, P. Mello, and M. Milano, "Dealing with incomplete knowledge on CLP(FD) variable domains", ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.
C
Ciampolini, A., P. Mello, M. Montali, and S. Storari, "Using Social Integrity Constraints for On-the-Fly Compliance Verification of Medical Protocols", Proceedings of the 18th IEEE Symposium on Computer Based Medical Systems (CBMS'05): IEEE Computer Society, pp. 503-505, 2005.
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, 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 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.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Commitment Tracking via the Reactive Event Calculus", Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96, 2009.
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, "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.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Modeling and Verification of Business Processes and Choreographies in ALP", Il Milione - A Journey in the Computational Logic in Italy, Proceedings of the Day Dedicated to Prof. Alberto Martelli, vol. 487: CEUR Workshop Proceedings, 2009.
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.
Chesani, F., P. Mello, M. Montali, and P. Torroni, "Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting", Proceedings of the 5th Workshop on Semantic Web Applications and Perspectives (SWAP2008), vol. 429, 2009.
Chesani, F., M. Montali, P. Mello, and P. Torroni, "Monitoring Time-Aware Social Commitments with Reactive Event Calculus", Proceedings of the 7th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-7), 2010.