Welcome to DiSC 2002
SIGMOD 2001
PODS 2001
SIGMOD RECORD 2001
CIKM 2001
CoopIS 2001
DASFAA 2001
DASFAA 2000
DBPL 2001
Data Engineering Bul
DEXA_EC-WEB 2001
DMKD 2001
DPDJ 2001
HYPERTEXT 2001
ICDE 2001
ICDM 2001
ICDT 2001
JCDL 2001
KDD 2001
KDD_EXPLORATIONS 20
KRDB 2001
MDM 2001
MIR 2001
MIS 2001
RIDE 2001
SBBD 2001
SIGIR 2001
SIGIR FORUM 2001
SSDBM 2001
SSTD 2001
TODS 2001
TIME 2001
VLDB 2001
VLDBJ 2001
About DiSC 2002
Editorial Board
Acknowledgements
DiSC 2002 Production
ADVIS
DiSC'02 Feedback
DiSC'02 Sitemap
Search DiSC'02
<<<Author Index>>>
Copyright Notice

Luca Spalazzi

Papers on DiSC'02


Cooperation Strategies for Information Integration

Publications


Note: Links lead to the DBLP on the Web.

Luca Spalazzi

16 Loris Penserini , Maurizio Panti , Luca Spalazzi: Agent-based transactions into decentralised P2P. AAMAS 2002 : 1288-1289

15 Massimo Benerecetti , Maurizio Panti , Luca Spalazzi, S. Tacconi : Verification of Payment Protocols via MultiAgent Model Checking. CAiSE 2002 : 311-327

14 Maurizio Panti , Luca Spalazzi, S. Tacconi , S. Valenti : Automatic Verification of Security in Payment Protocols for Electronic Commerce. ICEIS 2002 : 968-974

13 Maurizio Panti , Luca Spalazzi, Loris Penserini : Cooperation Strategies for Information Integration. CoopIS 2001 : 123-134

12 Maurizio Panti , Luca Spalazzi, Loris Penserini : A Distributed Case-Based Query Rewriting. IJCAI 2001 : 1005-1010

11 Massimo Benerecetti , Fausto Giunchiglia , Maurizio Panti , Luca Spalazzi: A Logic of Belief and a Model Checking Algorithm for Security Protocols. FORTE 2000 : 393-408

10 Maurizio Panti , Luca Spalazzi, S. Tacconi : Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000 : 167-180

9 Maurizio Panti , Loris Penserini , Luca Spalazzi: A critical discussion about an agent platform based on FIPA specification. SEBD 2000 : 345-356

8 Maurizio Panti , Luca Spalazzi, Alberto Giretti : A Case-Based Approach to Information Integration. VLDB 2000 : 557-565

7 Fausto Giunchiglia , Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artificial Intelligence 111 (1-2): 329-338 (1999)

6 Luca Spalazzi: A planning language for embedded systems. JETAI 11 (2): 219-238 (1999)

5 Luca Spalazzi: An Architecture for Planning in Embedded Systems. Applied Intelligence 8 (2): 157-172 (1998)

4 Paolo Traverso , Luca Spalazzi, Fausto Giunchiglia : Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World. ATAL 1995 : 65-78

3 Paolo Traverso , Luca Spalazzi: A Logic for Acting, Sensing and Planning. IJCAI 1995 : 1941-1949

2 Fausto Giunchiglia , Luca Spalazzi, Paolo Traverso : Planning with Failure. AIPS 1994 : 74-79

1 Paolo Traverso , Alessandro Cimatti , Luca Spalazzi: Beyond the Single Planning Paradigm: Introspective Planning. ECAI 1992 : 643-647




DiSC'02 © 2003 Association for Computing Machinery