Marco Alberti

	2012
44		Marco Alberti, Marco Gavanelli, Evelina Lamma: Deon + : Abduction and Constraints for Normative Reasoning. Logic Programs, Norms and Action 2012: 308-328
	2011
43		Marco Alberti, Ana Sofia Gomes, Ricardo Gonçalves, João Leite, Martin Slota: Normative Systems Represented as Hybrid Knowledge Bases. CLIMA 2011: 330-346
42		Marco Alberti, Pierangelo Dell'Acqua, Luís Moniz Pereira: Observation strategies for event detection with incidence on runtime verification: theory, algorithms, experimentation. Ann. Math. Artif. Intell. 62(3-4): 161-186 (2011)
41		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)
40		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)
39		Gregory R. Wheeler, Marco Alberti: NO Revision and NO Contraction. Minds and Machines 21(3): 411-430 (2011)
	2010
38		Marco Alberti, Marco Gavanelli, Evelina Lamma: Runtime Addition of Integrity Constraints in an Abductive Proof Procedure. ICLP (Technical Communications) 2010: 4-13
37		Marco Montali, Paolo Torroni, Federico Chesani, Paola Mello, Marco Alberti, Evelina Lamma: Abductive Logic Programming as an Effective Technology for the Static Verification of Declarative Business Processes. Fundam. Inform. 102(3-4): 325-361 (2010)
	2009
36		Marco Gavanelli, Marco Alberti, Evelina Lamma: Integration of Abductive Reasoning and Constraint Optimization in SCIFF. ICLP 2009: 387-401
35		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
34		Marco Gavanelli, Marco Alberti, Evelina Lamma: Integrating Abduction and Constraint Optimization in Constraint Handling Rules. ECAI 2008: 903-904
33		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
32		Marco Alberti, Massimiliano Cattafi, Marco Gavanelli, Evelina Lamma: Exploiting Semantic Technology in Computational Logic-based Service Contracting. SWAP 2008
31		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)
	2007
30		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
29		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
28		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
27		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
26		Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: A Verifiable Logic-Based Agent Architecture. ISMIS 2006: 188-197
25		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
24		Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello: Policy-based Reasoning for Smart Web Service Interaction. SWAP 2006
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. WS-FM 2006: 58-72
22		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)
21		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
20		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: The SCIFF Abductive Proof-Procedure. AI*IA 2005: 135-147
19		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
18		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
17		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: Abduction with Hypotheses Confirmation. IJCAI 2005: 1545-1546
16		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni, Giovanni Sartor: Mapping of Deontic Operators to Abductive Expectations. NORMAS 2005: 126-136
15		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
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. W(C)LP 2005: 53-64
13		Federico 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
12		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)
11		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)
10		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
9		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
8		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
7		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
6		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Michela Milano: A CHR-based Implementation of Known Arc-Consistency CoRR cs.LO/0408056: (2004)
5		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
4		Marco Alberti, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: An Abductive Interpretation for Open Agent Societies. AI*IA 2003: 287-299
3		Marco Alberti, Anna Ciampolini, Marco Gavanelli, Evelina Lamma, Paola Mello, Paolo Torroni: A Social ACL Semantics by Deontic Constraints. CEEMAS 2003: 204-213
2		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
1		Marco Alberti, Evelina Lamma: Synthesis of Object Models from Partial Models: A CSP Perspective. ECAI 2002: 116-120

Coauthor Index

1	Massimiliano Cattafi	[32] [35] [41]
2	Federico Chesani	[7] [9] [11] [12] [13] [14] [15] [18] [19] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [35] [37] [41]
3	Anna Ciampolini	[3] [13]
4	Davide Daolio	[8] [27]
5	Pierangelo Dell'Acqua	[42]
6	Marco Gavanelli	[2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [38] [40] [41] [44]
7	Ana Sofia Gomes	[43]
8	Ricardo Gonçalves	[43]
9	Alessio Guerri	[12] [14]
10	Evelina Lamma	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [14] [15] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [32] [33] [34] [35] [36] [37] [38] [40] [41] [44]
11	João Leite (João Alexandre Leite)	[43]
12	Paola Mello	[2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [24] [25] [26] [27] [28] [29] [30] [31] [33] [35] [37] [41]
13	Michela Milano	[6] [10] [14]
14	Marco Montali	[13] [23] [25] [28] [29] [30] [33] [35] [37] [41]
15	Luís Moniz Pereira (Luíz Moniz Pereira)	[42]
16	Fabrizio Riguzzi	[40]
17	Giovanni Sartor	[16] [21]
18	Martin Slota	[43]
19	Sergio Storari	[13] [23] [40]
20	Paolo Torroni	[2] [3] [4] [5] [7] [8] [9] [12] [13] [14] [16] [17] [18] [19] [20] [21] [22] [23] [27] [28] [29] [30] [31] [33] [35] [37] [41]
21	Gregory R. Wheeler	[39]

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page