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

Marco Gavanelli Vis

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

*2009
44EEMarco Gavanelli, Marco Alberti, Evelina Lamma: Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401
2008
43EEMarco Gavanelli, Marco Alberti, Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904
42EEMarco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
41EEMarco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma: Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008
40EEMarco Gavanelli, Michela Milano, Sergio Storari, Luca Tagliavini, Paola Baldazzi, Marilena Manfredi, Gianfranco Valastro: Greedy and Exact Algorithms for Invitation Planning in Cancer Screening. New Challenges in Applied Intelligence Technologies 2008: 255-264
39EEMarco 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)
38EEMarco Gavanelli, Toni Mancini: RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63(1-3): 1-2 (2008)
2007
37EEMarco Gavanelli: The Log-Support Encoding of CSP into SAT. CP 2007: 815-822
36EEMarco 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
35EEMarco 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
34EEMarco 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
33EEPaolo Torroni, Marco Gavanelli, Federico Chesani: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6): 66-74 (2007)
2006
32EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197
31EEMarco 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
30EEMarco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006
29EEMarco 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
28EEMarco 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
27EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
26EEFederico 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
25EEMarco 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
24EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
23EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
22 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
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. W(C)LP 2005: 53-64
20EEMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Dealing with incomplete knowledge on CLP(FD) variable domains. ACM Trans. Program. Lang. Syst. 27(2): 236-263 (2005)
19 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)
18EEMarco 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
17EEMarco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA IV 2004: 34-52
16EEMarco 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
15EEMarco 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
14EEMarco 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
13EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency CoRR cs.LO/0408056: (2004)
2003
12EEMarco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
11 Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano, Paolo Torroni: Interpreting Abduction in CLP. APPIA-GULP-PRODE 2003: 25-35
10EEMarco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
9EEMarco 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
8 Marco Gavanelli: An Algorithm for Multi-Criteria Optimization in CSPs. ECAI 2002: 136-140
7EEMarco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCos 2002: 177-191
2001
6EEMarco Gavanelli: Partially Ordered Constraint Optimization Problems. CP 2001: 763
5 Paola Mello, Michela Milano, Marco Gavanelli, Evelina Lamma, Massimo Piccardi, Rita Cucchiara: From Eager to Lazy Constrained Data Acquisition: A General Framework. New Generation Comput. 19(4): 339-368 (2001)
1999
4 Marco Gavanelli, Evelina Lamma, Michela Milano, Paola Mello: Domains as First Class Objects in CLP(FD). APPIA-GULP-PRODE 1999: 411-424
3 Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Domains as First Class Objects in CLP(FD). ICLP 1999: 608
2 Evelina Lamma, Paola Mello, Michela Milano, Rita Cucchiara, Marco Gavanelli, Massimo Piccardi: Constraint Propagation and Value Acquisition: Why we should do it Interactively. IJCAI 1999: 468-477
1EEMarco Gavanelli, Michela Milano: On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Electr. Notes Theor. Comput. Sci. 30(2): (1999)

Coauthor Index

1Marco Alberti [9] [10] [12] [13] [14] [15] [16] [18] [19] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [39] [41] [42] [43] [44]
2Paola Baldazzi [40]
3Massimiliano Cattafi [41]
4Federico Chesani [14] [16] [19] [21] [22] [25] [26] [28] [29] [30] [31] [32] [33] [34] [35] [36] [39] [42]
5Anna Ciampolini [10]
6Rita Cucchiara [2] [5]
7Davide Daolio [15]
8Alessio Guerri [19] [21]
9Evelina Lamma [2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [39] [41] [42] [43] [44]
10Toni Mancini [38]
11Marilena Manfredi [40]
12Paola Mello [2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [34] [35] [36] [39] [42]
13Michela Milano [1] [2] [3] [4] [5] [7] [11] [13] [18] [20] [21] [40]
14Marco Montali [29] [31] [34] [35] [36] [42]
15Massimo Piccardi [2] [5]
16Giovanni Sartor [23]
17Sergio Storari [29] [40]
18Luca Tagliavini [40]
19Paolo Torroni [9] [10] [11] [12] [14] [15] [16] [17] [19] [21] [23] [24] [25] [26] [27] [28] [29] [33] [34] [35] [36] [39] [42]
20Gianfranco Valastro [40]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)