The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Marco Gavanelli: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello
    Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:411-424 [Conf]
  2. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni
    Interpreting Abduction in CLP. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 2003, pp:25-35 [Conf]
  3. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    An Abductive Interpretation for Open Agent Societies. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2003, pp:287-299 [Conf]
  4. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    The SCIFF Abductive Proof-Procedure. [Citation Graph (0, 0)][DBLP]
    AI*IA, 2005, pp:135-147 [Conf]
  5. Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    A Social ACL Semantics by Deontic Constraints. [Citation Graph (0, 0)][DBLP]
    CEEMAS, 2003, pp:204-213 [Conf]
  6. 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]
  7. Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    An Abductive Framework for Information Exchange in Multi-agent Systems. [Citation Graph (0, 0)][DBLP]
    CLIMA IV, 2004, pp:34-52 [Conf]
  8. Marco Gavanelli
    Partially Ordered Constraint Optimization Problems. [Citation Graph (0, 0)][DBLP]
    CP, 2001, pp:763- [Conf]
  9. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. [Citation Graph (0, 0)][DBLP]
    DALT, 2003, pp:243-262 [Conf]
  10. Marco Gavanelli
    An Algorithm for Multi-Criteria Optimization in CSPs. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:136-140 [Conf]
  11. 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]
  12. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Exploiting Constraints for Domain Managing in CLP(FD). [Citation Graph (0, 0)][DBLP]
    FroCos, 2002, pp:177-191 [Conf]
  13. 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]
  14. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Domains as First Class Objects in CLP(FD). [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:608- [Conf]
  15. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni
    Abduction with Hypotheses Confirmation. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:1545-1546 [Conf]
  16. Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi
    Constraint Propagation and Value Acquisition: Why we should do it Interactively. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1999, pp:468-477 [Conf]
  17. 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]
  18. 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]
  19. Marco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello
    Specification and verification of agent interaction protocols in a logic-based system. [Citation Graph (0, 0)][DBLP]
    SAC, 2004, pp:72-78 [Conf]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    A CHR-based Implementation of Known Arc-Consistency [Citation Graph (0, 0)][DBLP]
    CoRR, 2004, v:0, n:, pp:- [Journal]
  26. 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]
  27. Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara
    From Eager to Lazy Constrained Data Acquisition: A General Framework. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 2001, v:19, n:4, pp:339-368 [Journal]
  28. Marco Gavanelli, Michela Milano
    On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  29. Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    Dealing with incomplete knowledge on CLP(FD) variable domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:2, pp:236-263 [Journal]
  30. Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano
    A CHR-based implementation of known arc-consistency. [Citation Graph (0, 0)][DBLP]
    TPLP, 2005, v:5, n:4-5, pp:419-440 [Journal]
  31. Marco Gavanelli
    The Log-Support Encoding of CSP into SAT. [Citation Graph (0, 0)][DBLP]
    CP, 2007, pp:815-822 [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Constraint Logic Programming. [Citation Graph (, )][DBLP]


  37. Integrating Abduction and Constraint Optimization in Constraint Handling Rules. [Citation Graph (, )][DBLP]


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


  39. Integration of Abductive Reasoning and Constraint Optimization in SCIFF. [Citation Graph (, )][DBLP]


  40. Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. [Citation Graph (, )][DBLP]


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


  42. Exploiting Semantic Technology in Computational Logic-based Service Contracting. [Citation Graph (, )][DBLP]


  43. Mapping of Deontic Operators to Abductive Expectations. [Citation Graph (, )][DBLP]


  44. Logic-Based Decision Support for Strategic Environmental Assessment [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
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