F. Chesani; P. Mello; M. Montali; P. Torroni, Representing and monitoring social commitments using the event calculus, «AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS», 2013, 27, pp. 85 - 130 [articolo]
M. Montali; F. Chesani; P. Mello; F. M. Maggi, Towards data-aware constraints in declare, in: SAC '13 Proceedings of the 28th Annual ACM Symposium on Applied Computing, New York, ACM, 2013, pp. 1391 - 1396 (atti di: 28th Annual ACM Symposium on Applied Computing, SAC 2013, Coimbra, Portugal, 18-22 March 2013) [Contributo in Atti di convegno]
S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A Rule-Based Calculus and Processing of Complex Events, in: Rules on the Web: Research and Applications, Berlin, Springer Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2012, 7438, pp. 151 - 166 (atti di: 6th International Symposium on Rules on the Web: Research and Applications, RuleML 2012, Montpellier, France, 27-29 August 2012) [Contributo in Atti di convegno]
P. Torroni; F. Chesani; P. Mello; M. Montali, A retrospective on the reactive event calculus and commitment modeling language, in: Declarative Agent Languages and Technologies IX - 9th International Workshop, DALT 2011, Taipei, Taiwan, May 3, 2011, Revised Selected and Invited Papers, HEIDELBERG, Springer-Verlag, 2012, pp. 120 - 127 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
A. Bottrighi; F. Chesani; P. Mello; M. Montali; S. Montani; P. Terenziani, Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge, in: Business Process Management Workshops BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011, Revised Selected Papers, Part II, BERLIN, Springer-Verlag, «LECTURE NOTES IN BUSINESS INFORMATION PROCESSING», 2012, 100, pp. 200 - 211 (atti di: Business Process Management Workshops -- BPM 2011 International Workshops, Clermont-Ferrand, France, August 29, 2011) [Contributo in Atti di convegno]
S. Bragaglia; F. Chesani; P. Mello; M. Montali; P. Torroni, Reactive event calculus for monitoring global computing applications, in: Logic Programs, Norms and Action. Essays in Honor of Marek J. Sergot on the Occasion of His 60th Birthday, HEIDELBERG, Springer-Verlag, 2012, pp. 123 - 146 (LECTURE NOTES IN COMPUTER SCIENCE) [capitolo di libro]
M. Alberti; M. Cattafi; F. Chesani; M. Gavanelli; E. Lamma; P. Mello; M. Montali; P. Torroni, A computational logic application framework for service discovery and contracting, «INTERNATIONAL JOURNAL OF WEB SERVICES RESEARCH», 2011, 8, pp. 1 - 25 [articolo]
S. Bragaglia; F. Chesani; E. Fry; P. Mello; M. Montali; D. Sottara, Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems, in: Rule-Based Modeling and Computing on the Semantic Web, BERLIN, Springer-Verlag, «LECTURE NOTES IN COMPUTER SCIENCE», 2011, 7018, pp. 267 - 281 (atti di: RuleML 2011 - America. The 5th International Symposium on Rules: Research Based and Industry Focused, Fort Lauderdale, Florida, USA, November 3-5, 2011) [Contributo in Atti di convegno]
S. Bragaglia; F. Chesani; P. Mello; M. Montali; D. Sottara, Fuzzy Conformance Checking of Observed Behaviour with Expectations, in: AI*IA 2011: Artificial Intelligence Around Man and Beyond, BERLIN, Springer-Verlag, «LECTURE NOTES IN ARTIFICIAL INTELLIGENCE», 2011, 6934, pp. 80 - 91 (atti di: AI*IA 2011 - Artificial Intelligence Around Man and Beyond - Twelfth International Conference on Advances in Artificial Intelligence - Italian Association for Artificial Intelligence (AI*IA)., Palermo, Italy, September 15-17, 2011) [Contributo in Atti di convegno]
F. Chesani; P. Mello; M. Montali; P. Torroni, Modeling and verifying business process and choreographies through the abductive proof procedure SCIFF and its extensions., «INTELLIGENZA ARTIFICIALE», 2011, 5 (1), pp. 101 - 105 [articolo]
F. Chesani; P. Mello; M. Montali; P. Torroni, Monitoring time-aware commitments within agent-based simulation environments, «CYBERNETICS AND SYSTEMS», 2011, 42, pp. 546 - 566 [articolo]
F. Chesani; P. Mello; M. Montali; P. Torroni, A Logic-Based, Reactive Calculus of Events, «FUNDAMENTA INFORMATICAE», 2010, 105(1-2), pp. 135 - 161 [articolo]
S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules, in: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010, Bressanone/Brixen, Italy, September 22-24, 2010. Proceedings, BERLING-HEIDELBERG, Springer-Verlag, 2010, 6333, pp. 227 - 230 (atti di: Web Reasoning and Rule Systems - Fourth International Conference, RR 2010., Bressanone/Brixen, Italy., September 22-24, 2010.) [Contributo in Atti di convegno]
S. Bragaglia; F. Chesani; P. Mello; D. Sottara, A rule-based implementation of fuzzy tableau reasoning, in: Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010. Proceedings, BERLIN-HEIDELBERG, Springer-Verlag, 2010, 6403, pp. 35 - 49 (atti di: Semantic Web Rules - International Symposium, RuleML 2010, Washington, DC, USA., October 21-23, 2010.) [Contributo in Atti di convegno]
M. Montali; P. Torroni; F. Chesani; P. Mello; M. Alberti; E. Lamma, Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes, «FUNDAMENTA INFORMATICAE», 2010, 102(3-4), pp. 325 - 361 [articolo]
