Skip to main content

Biblio

Export 18 results:
Sort by: Author [ Title  (Desc)] Type Year
Filters: Author is Marco Montali  [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 
W
Alberti, M., F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, "Web Service contracting: Specification and Reasoning with SCIFF", Proceedings of the 4th European Semantic Web Conference (ESWC'07), vol. 4519: Springer, pp. 68-83, 2007.
V
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.
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.
S
Montali, M., "Specification and Verification of Declarative Open Interaction Models: a Logic-Based Approach", Lecture Notes in Business Information Processing, vol. 56: Springer, pp. 411, 2010.
E
H
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.
L
Chesani, F., P. Mello, M. Montali, and P. Torroni, "A Logic-Based, Reactive Calculus of Events", Fundamenta Informaticae, vol. 105, issue 1-2, pp. 161, 02/2010. Abstract
R
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, "A Retrospective on the Reactive Event Calculus and Commitment Modeling Language", Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012. Abstract
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.
M
F
Bragaglia, S., F. Chesani, P. Mello, M. Montali, and D. Sottara, "Fuzzy Conformance Checking of Observed Behaviour with Expectations", AI*IA 2011: Artificial Intelligence Around Man and Beyond, vol. LNCS 6934: Springer Berlin / Heidelberg, pp. 80-91, 2011.
E
Bragaglia, S., F. Chesani, E. Fry, P. Mello, M. Montali, and D. Sottara, "Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems", RuleML America, vol. LNCS 7018, Ft. Lauderdale, FL, Florida, USA, Springer, pp. 267-281, 2011.
D
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.
C
Bottrighi, A., F. Chesani, P. Mello, M. Montali, S. Montani, and P. Terenziani, "Conformance Checking of Executed Clinical Guidelines in Presence of Basic Medical Knowledge", Business Process Management Workshops, vol. 100, Clermont-Ferrand, France, Springer Berlin Heidelberg, pp. 200-211, 01/2012.
A