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, M. Montali, F. Riguzzi, and S. Storari, "Learning DecSerFlow Models from Labeled Traces", First International Workshop on the Induction of Process Models, 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
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, "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.
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., D. P. Matteis, P. Mello, M. Montali, and S. Storari, "A Framework for Defining and Verifying Clinical Guidelines: a Case Study on Cancer Screening", Proceedings of the 16th International Symposium on Foundations of Intelligent Systems (ISMIS 2006), vol. 4203: Springer Verlag, pp. 338-343, 2006.
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, "A REC-Based Commitment Tracking Tool", Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
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, 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.