] Filters: Author is P. Mello [Clear All Filters]
"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.
"A CHR-based implementation of known arc-consistency",
Theory and Practice of Logic Programming, vol. 5, no. 4-5, pp. 419-440, 2005.
"Dealing with incomplete knowledge on CLP(FD) variable domains",
ACM Trans. Program. Lang. Syst., vol. 27, no. 2, pp. 236-263, 2005.
"Compliance Verification of Agent interaction: a Logic-Based Software Tool",
Applied Artificial Intelligence, vol. 20, no. 2-4, pp. 133-157, 2006.
"Declarative Specification and Verification of Service Choreographies",
ACM Transactions on the Web, vol. 4, no. 1, 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.
"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.
"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.
"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.
"Mapping Deontic Operators to Abductive Expectations",
Computational and Mathematical Organization Theory, vol. 12, no. 2-3: Springer, pp. 205-225, 2006.
"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.
"Verifiable Agent Interaction in Abductive Logic Programming: The SCIFF framework",
ACM Transactions on Computational Logic (TOCL), vol. 9, no. 4, 2008.
"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.
"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.
"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.
"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.
"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.
"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.
"Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture",
IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 254-261, 2009.
"A REC-Based Commitment Tracking Tool",
Demo at the 10th AI*IA/TABOO Italian Joint Workshop ``From Objects to Agents'' (WOA 2009), 2009.
"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.
"Social Commitments in Time: Satisfied or Compensated",
Declarative Agent Languages and Technologies VII (DALT 2009). Revised Selected and Invited Papers, vol. 5948: Springer, pp. 228-243, 2010.
Download: DALT2009.pdf (301.44 KB)
"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.
"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.
"A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance",
12th Conference on Artificial Intelligence in Medicine (AIME'09), vol. 5651, pp. 91-95, 2009.