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., 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.
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.
L
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, 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, "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., 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., 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.
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., 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 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, F. Riguzzi, M. Sebastianis, and S. Storari, "Checking Compliance of Execution Traces to Business Rules", {Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 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, "A Logic-Based, Reactive Calculus of Events", {24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
Chesani, F., P. Mello, M. Montali, and S. Storari, "Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic", Proceedings of the 11th International Conference on Artificial Intelligence in Medicine (AIME'07), vol. 4594: Springer, pp. 479-488, 2007.
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.