The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Federico Chesani: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni
    Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). [Citation Graph (0, 0)][DBLP]
    CLIMA VI, 2005, pp:243-264 [Conf]
  2. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Security Protocols Verification in Abductive Logic Programming: A Case Study. [Citation Graph (0, 0)][DBLP]
    ESAW, 2005, pp:106-124 [Conf]
  3. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. [Citation Graph (0, 0)][DBLP]
    Global Computing, 2004, pp:314-339 [Conf]
  4. Federico Chesani
    Formalization and Verification of Interaction Protocols. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:437-438 [Conf]
  5. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
    A Verifiable Logic-Based Agent Architecture. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:188-197 [Conf]
  6. Federico Chesani, Pietro De Matteis, Paola Mello, Marco Montali, Sergio Storari
    A Framework for Defining and Verifying Clinical Guidelines: A Case Study on Cancer Screening. [Citation Graph (0, 0)][DBLP]
    ISMIS, 2006, pp:338-343 [Conf]
  7. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali
    An abductive framework for a-priori verification of web services. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:39-50 [Conf]
  8. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
    A Logic based Approach to Interaction Design in Open Multi-Agent Systems. [Citation Graph (0, 0)][DBLP]
    WETICE, 2004, pp:387-392 [Conf]
  9. Marco Alberti, Federico Chesani, Alessio Guerri, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
    Expressing Interaction in Combinatorial Auction through Social Integrity Constraints. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:53-64 [Conf]
  10. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma
    The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. [Citation Graph (0, 0)][DBLP]
    W(C)LP, 2005, pp:111-122 [Conf]
  11. Federico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari
    Protocol Specification and Verification by Using Computational Logic. [Citation Graph (0, 0)][DBLP]
    WOA, 2005, pp:184-192 [Conf]
  12. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Sergio Storari, Paolo Torroni
    Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool. [Citation Graph (0, 0)][DBLP]
    WS-FM, 2006, pp:58-72 [Conf]
  13. Marco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni
    Compliance verification of agent interaction: a logic-based software tool. [Citation Graph (0, 0)][DBLP]
    Applied Artificial Intelligence, 2006, v:20, n:2-4, pp:133-157 [Journal]
  14. Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni
    Expressing interaction in combinatorial auction through social integrity constraints. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:1, pp:22-29 [Journal]
  15. Marco Alberti, Federico Chesani
    The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. [Citation Graph (0, 0)][DBLP]
    Intelligenza Artificiale, 2005, v:2, n:3, pp:45-51 [Journal]
  16. Federico Chesani, Paola Mello, Marco Montali, Sergio Storari
    Testing Careflow Process Execution Conformance by Translating a Graphical Language to Computational Logic. [Citation Graph (0, 0)][DBLP]
    AIME, 2007, pp:479-488 [Conf]
  17. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
    Expressing and Verifying Business Contracts with Abductive Logic Programming. [Citation Graph (0, 0)][DBLP]
    Normative Multi-agent Systems, 2007, pp:- [Conf]
  18. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
    Web Service Contracting: Specification and Reasoning with SCIFF. [Citation Graph (0, 0)][DBLP]
    ESWC, 2007, pp:68-83 [Conf]
  19. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni
    A Rule-Based Approach for Reasoning About Collaboration Between Smart Web Services. [Citation Graph (0, 0)][DBLP]
    RR, 2007, pp:279-288 [Conf]
  20. Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello
    Policy-based Reasoning for Smart Web Service Interaction. [Citation Graph (0, 0)][DBLP]
    SWAP, 2006, pp:- [Conf]

  21. A Hybrid Approach to Clinical Guideline and to Basic Medical Knowledge Conformance. [Citation Graph (, )][DBLP]


  22. Analysis of the GLARE and GPROVE Approaches to Clinical Guidelines. [Citation Graph (, )][DBLP]


  23. Checking Compliance of Execution Traces to Business Rules. [Citation Graph (, )][DBLP]


  24. What Happened to My Commitment? Exception Diagnosis among Misalignment and Misbehavior. [Citation Graph (, )][DBLP]


  25. Social Commitments in Time: Satisfied or Compensated. [Citation Graph (, )][DBLP]


  26. Verification from Declarative Specifications Using Logic Programming. [Citation Graph (, )][DBLP]


  27. Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. [Citation Graph (, )][DBLP]


  28. Commitment Tracking via the Reactive Event Calculus. [Citation Graph (, )][DBLP]


  29. Verification of Choreographies During Execution Using the Reactive Event Calculus. [Citation Graph (, )][DBLP]


  30. A Step toward Tight Integration of Fuzzy Ontological Reasoning with Forward Rules. [Citation Graph (, )][DBLP]


  31. Role Monitoring in Open Agent Societies. [Citation Graph (, )][DBLP]


  32. Declarative Technologies for Open Agent Systems and Beyond. [Citation Graph (, )][DBLP]


  33. Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting. [Citation Graph (, )][DBLP]


  34. An Hybrid Architecture Integrating Forward Rules with Fuzzy Ontological Reasoning. [Citation Graph (, )][DBLP]


  35. E-learning by Doing with Computational Logic. [Citation Graph (, )][DBLP]


  36. Verifying A-Priori the Composition of Declarative Specified Services. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002