| |
 |      |
                                |
Note: Links lead to the DBLP on the Web. Luca Spalazzi 9 Maurizio Panti , Luca Spalazzi, S. Tacconi : Verifica formale dei protocolli di sicurezza mediante model checking. SEBD 2000 : 167-180 8 Maurizio Panti , Loris Penserini , Luca Spalazzi: A critical discussion about an agent platform based on FIPA specification. SEBD 2000 : 345-356 7 Maurizio Panti , Luca Spalazzi, Alberto Giretti : A Case-Based Approach to Information Integration. VLDB 2000 : 557-565 6 Fausto Giunchiglia , Luca Spalazzi: Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning. Artificial Intelligence 111 (1-2): 329-338 (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'01 Copyright ©2002 ACM Inc. |
