The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

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

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. Marco Alberti, Evelina Lamma
    Synthesis of Object Models from Partial Models: A CSP Perspective. [Citation Graph (0, 0)][DBLP]
    ECAI, 2002, pp:116-120 [Conf]
  7. 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]
  8. 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]
  9. 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]
  10. 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]
  11. 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]
  12. 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]
  13. 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]
  14. 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]
  15. 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]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. 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]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]

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


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


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


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


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


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


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


Search in 0.002secs, Finished in 0.306secs
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
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002