] Filters: Author is P. Mello [Clear All Filters]
"Modelling Interactions via Commitments and Expectations",
Handbook of Research on Multi-Agent Systems: Semantics and Dynamics of Organizational Models: IGI Global, 2009.
"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.
"Verification from Declarative Specifications Using Logic Programming",
24th International Conference on Logic Programming (ICLP), no. 5366: Springer, pp. 440-454, 2008.
"Declarative Specification and Verification of Service Choreographies",
ACM Transactions on the Web, vol. 4, no. 1, 2010.
"Compliance Checking of Execution Traces to Business Rules: an Approach Based on Logic Programming",
23-esimo Convegno Italiano di Logica Computazionale (CILC 2008), 2008.
"Verification from Declarative Specifications Using Logic Programming",
15th RCRA workshop: Experimental evaluation of algorithms for solving problems with combinatorial explosion, 2008.
"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.
"Engineering and Verifying Agent-Oriented Requirements Augmented by Business Constraints with B-Tropos",
Autonomous Agents and Multi-Agent Systems: Springer, pp. 1-31, 2010.
"Formal Verification of Wastewater Treatment Processes Using Events Detected From Continuous Signals by Means of Artificial Neural Networks. Case Study: SBR Plant",
Environmental Modelling and Software, vol. 25, no. 5, pp. 648-660, 2010.
"Process Quality Assessment in Automatic Management of Wastewater Treatment Plants Using Formal Verification",
Proceedings of Simposio Internazionale di Ingegneria Sanitaria Ambientale (SIDISA 2008), 2008.
"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.
"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
"Learning DecSerFlow Models from Labeled Traces",
First International Workshop on the Induction of Process Models, 2007.
"Dealing with incomplete knowledge on CLP(FD) variable domains",
ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.
"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.
"Commitment Tracking via the Reactive Event Calculus",
Proceedings of the 21st International Joint Conference on Artificial Intelligence (IJCAI 2009), pp. 91-96, 2009.
"Monitoring Time-Aware Social Commitments with Reactive Event Calculus",
Proceedings of the 7th International Symposium ``From Agent Theory to Agent Implementation'' (AT2AI-7), 2010.
"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.
"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.
"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.
"Checking Compliance of Execution Traces to Business Rules",
{Proceedings of BPM 2008 Workshops. Revised Papers}, vol. 17: Springer, pp. 134-145, 2009.
"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.
"A Logic-Based, Reactive Calculus of Events",
{24th Convegno Italiano di Logica Computazionale (CILC09)}, 2009.
"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.
"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.