Searching for authors named "Federico Chesani" – sorted by Relevance.
-
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

