Searching for authors named "Marco Montali" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
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
Showing 1 through 8.
