Marco Gavanelli

	2012
65		Marco Gavanelli, Maddalena Nonato, Andrea Peano, Stefano Alvisi, Marco Franchini: Genetic Algorithms for Scheduling Devices Operation in a Water Distribution System in Response to Contamination Events. EvoCOP 2012: 124-135
64		Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Constraint and Optimization techniques for supporting Policy Making. ISAIM 2012
63		Marco Alberti, Marco Gavanelli, Evelina Lamma: Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328
	2011
62		Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Davide Sottara, Alessandro Cangini, Paolo Cagnoli: An Application of Fuzzy Logic to Strategic Environmental Assessment. AI*IA 2011: 324-335
61		Massimiliano Cattafi, Marco Gavanelli, Michela Milano, Paolo Cagnoli: Sustainable biomass power plant location in the Italian Emilia-Romagna region. ACM TIST 2(4): 33 (2011)
60		Marco Gavanelli, Toni Mancini: 17th RCRA international workshop on "Experimental evaluation of algorithms for solving problems with combinatorial explosion". Ann. Math. Artif. Intell. 62(3-4): 159-160 (2011)
59		Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini: Optimal Placement of Valves in a Water Distribution Network with CLP(FD) CoRR abs/1109.1248: (2011)
58		Marco Gavanelli, Toni Mancini, Alberto Pettorossi: RCRA 2009 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion. Fundam. Inform. 107(2-3): (2011)
57		Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello, Marco Montali, Paolo Torroni: A Computational Logic Application Framework for Service Discovery and Contracting. Int. J. Web Service Res. 8(3): 1-25 (2011)
56		Marco Alberti, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi, Sergio Storari: Learning specifications of interaction protocols and business processes and proving their properties. Intelligenza Artificiale 5(1): 71-75 (2011)
55		Massimiliano Cattafi, Marco Gavanelli, Maddalena Nonato, Stefano Alvisi, Marco Franchini: Optimal placement of valves in a water distribution network with CLP(FD). TPLP 11(4-5): 731-747 (2011)
	2010
54		Marco Gavanelli, Francesca Rossi: Constraint Logic Programming. 25 Years GULP 2010: 64-86
53		Marco Alberti, Marco Gavanelli, Evelina Lamma: Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13
52		Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Logic-Based Decision Support for Strategic Environmental Assessment CoRR abs/1007.3159: (2010)
51		Marco Gavanelli, Toni Mancini: Preface. Fundam. Inform. 102(3-4): (2010)
50		Marco Gavanelli, Fabrizio Riguzzi, Alberto Pettorossi: Preface. Fundam. Inform. 105(1-2): (2010)
49		Marco Gavanelli, Fabrizio Riguzzi, Michela Milano, Paolo Cagnoli: Logic-based decision support for strategic environmental assessment. TPLP 10(4-6): 643-658 (2010)
	2009
48		Marco Gavanelli, Marco Alberti, Evelina Lamma: Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401
47		Marco Alberti, Massimiliano Cattafi, Federico Chesani, Marco Gavanelli, Evelina Lamma, Marco Montali, Paola Mello, Paolo Torroni: Integrating Abductive Logic Programming and Description Logics in a Dynamic Contracting Architecture. ICWS 2009: 254-261
	2008
46		Marco Gavanelli, Marco Alberti, Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904
45		Marco Montali, Paolo Torroni, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Verification from Declarative Specifications Using Logic Programming. ICLP 2008: 440-454
44		Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma: Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008
43		Marco 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
42		Marco 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)
41		Marco Gavanelli, Toni Mancini: RCRA 2007: Experimental evaluation of algorithms for solving problems with combinatorial explosion. J. Algorithms 63(1-3): 1-2 (2008)
	2007
40		Marco Gavanelli: The Log-Support Encoding of CSP into SAT. CP 2007: 815-822
39		Marco 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
38		Marco 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
37		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. RR 2007: 279-288
36		Paolo Torroni, Marco Gavanelli, Federico Chesani: Argumentation in the Semantic Web. IEEE Intelligent Systems 22(6): 66-74 (2007)
35		Marco Alberti, Federico Chesani, Davide Daolio, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Protocols in a Logic-based System. Scalable Computing: Practice and Experience 8(1): (2007)
	2006
34		Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197
33		Marco 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
32		Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006
31		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. WS-FM 2006: 58-72
30		Marco 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)
29		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping deontic operators to abductive expectations. Computational & Mathematical Organization Theory 12(2-3): 205-225 (2006)
	2005
28		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
27		Federico Chesani, Marco Gavanelli, Marco Alberti, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction Using Abductive Reasoning (Tutorial Paper). CLIMA 2005: 243-264
26		Marco 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
25		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
24		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
23		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
22		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
21		Marco 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)
20		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)
19		Marco 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
18		Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Framework for Information Exchange in Multi-agent Systems. CLIMA 2004: 34-52
17		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. Global Computing 2004: 314-339
16		Marco 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
15		Marco 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
14		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency CoRR cs.LO/0408056: (2004)
13		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Specification and Verification of Agent Interaction using Social Integrity Constraints. Electr. Notes Theor. Comput. Sci. 85(2): 94-116 (2004)
	2003
12		Marco 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
10		Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
9		Marco 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
7		Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: Exploiting Constraints for Domain Managing in CLP(FD). FroCos 2002: 177-191
	2001
6		Marco 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
1		Marco Gavanelli, Michela Milano: On the Need for a Different Backtracking Rule when Dealing with Late Evaluation. Electr. Notes Theor. Comput. Sci. 30(2): 145-156 (1999)

Coauthor Index

1	Marco Alberti	[9] [10] [12] [13] [14] [15] [16] [17] [19] [20] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [37] [38] [39] [42] [44] [45] [46] [47] [48] [53] [56] [57] [63]
2	Stefano Alvisi	[55] [59] [65]
3	Paola Baldazzi	[43]
4	Paolo Cagnoli	[49] [52] [61] [62] [64]
5	Alessandro Cangini	[62]
6	Massimiliano Cattafi	[44] [47] [55] [57] [59] [61]
7	Federico Chesani	[15] [17] [20] [22] [23] [26] [27] [30] [31] [32] [33] [34] [35] [36] [37] [38] [39] [42] [45] [47] [57]
8	Anna Ciampolini	[10]
9	Rita Cucchiara	[2] [5]
10	Davide Daolio	[16] [35]
11	Marco Franchini	[55] [59] [65]
12	Alessio Guerri	[20] [22]
13	Evelina 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] [33] [34] [35] [37] [38] [39] [42] [44] [45] [46] [47] [48] [53] [56] [57] [63]
14	Toni Mancini	[41] [51] [58] [60]
15	Marilena Manfredi	[43]
16	Paola Mello	[2] [3] [4] [5] [7] [9] [10] [11] [12] [13] [14] [15] [16] [17] [18] [19] [20] [21] [22] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [37] [38] [39] [42] [45] [47] [57]
17	Michela Milano	[1] [2] [3] [4] [5] [7] [11] [14] [19] [21] [22] [43] [49] [52] [61] [62] [64]
18	Marco Montali	[31] [33] [37] [38] [39] [45] [47] [57]
19	Maddalena Nonato	[55] [59] [65]
20	Andrea Peano	[65]
21	Alberto Pettorossi	[50] [58]
22	Massimo Piccardi	[2] [5]
23	Fabrizio Riguzzi	[49] [50] [52] [56] [62] [64]
24	Francesca Rossi	[54]
25	Giovanni Sartor	[24] [29]
26	Davide Sottara	[62]
27	Sergio Storari	[31] [43] [56]
28	Luca Tagliavini	[43]
29	Paolo Torroni	[9] [10] [11] [12] [13] [15] [16] [17] [18] [20] [22] [24] [25] [26] [27] [28] [29] [30] [31] [35] [36] [37] [38] [39] [42] [45] [47] [57]
30	Gianfranco Valastro	[43]

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page