dblp.uni-trier.dewww.uni-trier.de

Marco Alberti

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
31EEMarco Gavanelli, Marco Alberti, Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904
30EEMarco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
29EEMarco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma: Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008
28EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Log. 9(4): (2008)
2007
27EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Web Service Contracting: Specification and Reasoning with SCIFF. ESWC 2007: 68-83
26EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: Expressing and Verifying Business Contracts with Abductive Logic Programming. Normative Multi-agent Systems 2007
25EEMarco 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. RR 2007: 279-288
2006
24EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197
23EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Marco Montali: An abductive framework for a-priori verification of web services. PPDP 2006: 39-50
22EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006
21EEMarco 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. WS-FM 2006: 58-72
20EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence 20(2-4): 133-157 (2006)
2005
19EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
18EEFederico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA VI 2005: 243-264
17EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Security Protocols Verification in Abductive Logic Programming: A Case Study. ESAW 2005: 106-124
16EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
15EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
14 Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma: The CHR-based Implementation of a System for Generation and Confirmation of Hypotheses. W(C)LP 2005: 111-122
13 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. W(C)LP 2005: 53-64
12EEFederico Chesani, Anna Ciampolini, Paola Mello, Marco Montali, Paolo Torroni, Marco Alberti, Sergio Storari: Protocol Specification and Verification by Using Computational Logic. WOA 2005: 184-192
11 Marco Alberti, Federico Chesani, Marco Gavanelli, Alessio Guerri, Evelina Lamma, Paola Mello, Paolo Torroni: Expressing interaction in combinatorial auction through social integrity constraints. Intelligenza Artificiale 2(1): 22-29 (2005)
10 Marco Alberti, Federico Chesani: The computational behaviour of the SCIFF abductive proof procedure and the SOCS-SI system. Intelligenza Artificiale 2(3): 45-51 (2005)
9EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based implementation of known arc-consistency. TPLP 5(4-5): 419-440 (2005)
2004
8EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SOCS Computational Logic Approach to the Specification and Verification of Agent Societies. Global Computing 2004: 314-339
7EEMarco Alberti, Davide Daolio, Paolo Torroni, Marco Gavanelli, Evelina Lamma, Paola Mello: Specification and verification of agent interaction protocols in a logic-based system. SAC 2004: 72-78
6EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Federico Chesani, Paola Mello, Paolo Torroni: A Logic based Approach to Interaction Design in Open Multi-Agent Systems. WETICE 2004: 387-392
5EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency CoRR cs.LO/0408056: (2004)
2003
4EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
3EEMarco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
2EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Modeling Interactions Using Social Integrity Constraints: A Resource Sharing Case Study. DALT 2003: 243-262
2002
1 Marco Alberti, Evelina Lamma: Synthesis of Object Models from Partial Models: A CSP Perspective. ECAI 2002: 116-120

Coauthor Index

1Massimiliano Cattafi [29]
2Federico Chesani [6] [8] [10] [11] [12] [13] [14] [17] [18] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30]
3Anna Ciampolini [3] [12]
4Davide Daolio [7]
5Marco Gavanelli [2] [3] [4] [5] [6] [7] [8] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31]
6Alessio Guerri [11] [13]
7Evelina Lamma [1] [2] [3] [4] [5] [6] [7] [8] [9] [11] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31]
8Paola Mello [2] [3] [4] [5] [6] [7] [8] [9] [11] [12] [13] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [30]
9Michela Milano [5] [9] [13]
10Marco Montali [12] [21] [23] [25] [26] [27] [30]
11Giovanni Sartor [15]
12Sergio Storari [12] [21]
13Paolo Torroni [2] [3] [4] [6] [7] [8] [11] [12] [13] [15] [16] [17] [18] [19] [20] [21] [25] [26] [27] [28] [30]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)