Searching for authors named "Federico Chesani" – sorted by Relevance.
18 documents found, showing 1 through 10.
Next 10 →
-
The Implementation of a System for Generation and Confirmation of Hypotheses
- … Alberti ∗ Federico Chesani † Abstract. Making hypotheses allows for reasoning with incomplete information…
- Cited by 6 (2 self) – Add To MetaCart
-
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
-
E-learning by Doing with Computational Logic
- …E-learning by Doing with Computational Logic Federico Chesani, Anna Ciampolini, Paola Mello DEIS…
- Add To MetaCart
-
Draft
- … Federico Chesani Paola Mello Marco Montali Paolo Torroni June 20, 2008 Draft DEIS Technical Report no. DEIS…
- Add To MetaCart
-
Commitment Tracking via the Reactive Event Calculus ∗
- …Commitment Tracking via the Reactive Event Calculus ∗ Federico Chesani, Paola Mello, Marco Montali…
- Add To MetaCart
-
Security protocols verification in Abductive Logic Programming: a case study
- … , Federico Chesani 2 , Marco Gavanelli 1 , Evelina Lamma 1 , Paola Mello 2 , and Paolo Torroni 2 1 ENDIF…
- Cited by 5 (5 self) – Add To MetaCart
-
Protocol Specification and Verification by Using Computational Logic
- …WOA 2005 184 Protocol specification and verification by using computational logic Federico Chesani…
- Cited by 1 (0 self) – Add To MetaCart
-
Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale
- … Alberti 1 , Federico Chesani 2 , Marco Gavanelli 1 , Alessio Guerri 2 , Evelina Lamma 1 , Paola Mello 2…
- Cited by 4 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
