Skip to main content

Biblio

Export 56 results:
Sort by: Author Title Type [ Year  (Desc)]
Filters: Author is P. Mello  [Clear All Filters]
2010
Chesani, F., P. Mello, M. Montali, and P. Torroni, "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.
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.
Torroni, P., F. Chesani, P. Mello, and M. Montali, "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)
Bragaglia, S., D. Sottara, F. Chesani, and P. Mello, "A Step Toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules", Proceedings of the Fourth International Conference on Web Reasoning and Rule Systems (RR2010), vol. 6333/2010, Bressanone, Italy, Springer, pp. 227-230, 2010.
Bragaglia, S., F. Chesani, A. Ciampolini, P. Mello, M. Montali, and D. Sottara, "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.
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, S. Storari, and P. Terenziani, "Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines", {Knowledge Representation for Health-Care. Data, Processes and Guidelines. AIME 2009 Workshop KR4HC 2009, Revised Selected and Invited Papers}, vol. 5943: Springer, pp. 76-87, 2010.
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, 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.
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., 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, 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, "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., 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 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.
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.
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., 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, "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.
2008
Bryl, V., P. Mello, M. Montali, P. Torroni, and N. Zannone, "B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification", Post-Proceedings of the 8th International Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII), Revised Selected and Invited Papers, vol. 5056: Springer Verlag, pp. 157-176, 2008.