Searching for authors named "Marco Montali" – sorted by Relevance.
-
S.: Towards a decserflow declarative semantics based on computational logic
- on Computational Logic Federico Chesani Paola Mello Marco Montali Sergio Storari March 14, 2007 DEIS Technical
- Cited by 2 (2 self) – Add To MetaCart
-
Agent Societies and Service Choreographies: a Declarative Approach to Specification and Verification
- and Verification Federico Chesani 1 , Paola Mello 1 , Marco Montali 1 , and Sergio Storari 2 1 DEIS, University
- Cited by 1 (1 self) – Add To MetaCart
-
P.: Integrating ontological reasoning and abductive logic programming for service discovery and contracting
- Federico Chesani, Paola Mello, Marco Montali, and Paolo Torroni DEIS - Department of Electronics
- Cited by 1 (0 self) – Add To MetaCart
-
Draft
- Federico Chesani Paola Mello Marco Montali Paolo Torroni June 20, 2008 Draft DEIS Technical Report no. DEIS
- Add To MetaCart
-
Protocol Specification and Verification by Using Computational Logic
- , Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni DEIS, University of Bologna Viale
- Cited by 1 (0 self) – Add To MetaCart
-
Policybased reasoning for smart web service interaction
- Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello Marco Montali Paolo Torroni May
- Cited by 3 (1 self) – Add To MetaCart
-
Web Service contracting: specification and reasoning with SCIFF
- ‡ , Marco Gavanelli † , Evelina Lamma † , Paola Mello ‡ , Marco Montali ‡ , and Paolo Torroni ‡ † ENDIF
- Cited by 3 (2 self) – Add To MetaCart
-
using Logic Programming
- Programming Marco Montali Marco Alberti Federico Chesani Marco Gavanelli Evelina Lamma Paola Mello Paolo
- Add To MetaCart

