Sfoglia per Autore
A Planner in Architectural Design
1991-01-01 Lemma, Massimo; Spalazzi, Luca
Expert Systems for the integrated management of Architectural Design processes
1991-01-01 Lemma, Massimo; Naticchia, Berardo; Spalazzi, Luca
A.S.A. an Intecarctive assistant to Architectural Designers
1993-01-01 Giretti, Alberto; Lemma, Massimo; Spalazzi, Luca
MRG: Building planners for real world complex applications
1994-01-01 P., Traverso; A., Cimatti; Spalazzi, Luca; E., Giunchiglia; A., Armando
ASA an interactive assistant to architectural design
1994-01-01 Giretti, Alberto; Spalazzi, Luca; Lemma, Massimo
Flexible Planning by Integrating Multilevel Reasoning
1995-01-01 A., Armando; A., Cimatti; E., Giunchiglia; P., Pecchiari; Spalazzi, Luca; P., Traverso
Applying Formal Methods to case based design aid
1996-01-01 DE GRASSI, Mario; Giretti, Alberto; Spalazzi, Luca
Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World
1996-01-01 P., Traverso; Spalazzi, Luca; F., Giunchiglia
Formal methods for conceptual design aiding systems
1996-01-01 DE GRASSI, Mario; Giretti, Alberto; Lemma, Massimo; Spalazzi, Luca
METAFOL: PROGRAM TACTICS AND LOGIC TACTICS PLUS REFLECTION
1996-01-01 M., Benerecetti; Spalazzi, Luca
ASA: A Conceptual Design-Support System
1997-01-01 Giretti, Alberto; Spalazzi, Luca
What are cases for?
1998-01-01 M., DE GRASSI; Giretti, Alberto; Spalazzi, Luca
An Architecture for Planning in Embedded Systems
1998-01-01 Spalazzi, Luca
Agent Technologies for federated information systems in the public administration
1999-01-01 Panti, Maurizio; Dragoni, Aldo Franco; Spalazzi, Luca; Diamantini, Claudia; S., Valenti
A planning language for embedded systems
1999-01-01 Spalazzi, Luca
Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning
1999-01-01 Giunchiglia, F.; Spalazzi, Luca
Federated Information System Architecture for Local Public Administration
1999-01-01 M., Panti; Diamantini, Claudia; Spalazzi, Luca; S., Valenti
A Dynamic Logic for Acting, Sensing, and Planning
2000-01-01 Spalazzi, Luca; Traverso, P.
A FIPA Compliant Agent Platform for Federated Information Systems
2000-01-01 Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore
``A Logic of Belief and a Model Checking Algorithm for Security Protocols''
2000-01-01 M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A Planner in Architectural Design | 1-gen-1991 | Lemma, Massimo; Spalazzi, Luca | |
| Expert Systems for the integrated management of Architectural Design processes | 1-gen-1991 | Lemma, Massimo; Naticchia, Berardo; Spalazzi, Luca | |
| A.S.A. an Intecarctive assistant to Architectural Designers | 1-gen-1993 | Giretti, Alberto; Lemma, Massimo; Spalazzi, Luca | |
| MRG: Building planners for real world complex applications | 1-gen-1994 | P., Traverso; A., Cimatti; Spalazzi, Luca; E., Giunchiglia; A., Armando | |
| ASA an interactive assistant to architectural design | 1-gen-1994 | Giretti, Alberto; Spalazzi, Luca; Lemma, Massimo | |
| Flexible Planning by Integrating Multilevel Reasoning | 1-gen-1995 | A., Armando; A., Cimatti; E., Giunchiglia; P., Pecchiari; Spalazzi, Luca; P., Traverso | |
| Applying Formal Methods to case based design aid | 1-gen-1996 | DE GRASSI, Mario; Giretti, Alberto; Spalazzi, Luca | |
| Reasoning About Acting, Sensing, and Failure Handling: A Logic for Agents Embedded in the Real World | 1-gen-1996 | P., Traverso; Spalazzi, Luca; F., Giunchiglia | |
| Formal methods for conceptual design aiding systems | 1-gen-1996 | DE GRASSI, Mario; Giretti, Alberto; Lemma, Massimo; Spalazzi, Luca | |
| METAFOL: PROGRAM TACTICS AND LOGIC TACTICS PLUS REFLECTION | 1-gen-1996 | M., Benerecetti; Spalazzi, Luca | |
| ASA: A Conceptual Design-Support System | 1-gen-1997 | Giretti, Alberto; Spalazzi, Luca | |
| What are cases for? | 1-gen-1998 | M., DE GRASSI; Giretti, Alberto; Spalazzi, Luca | |
| An Architecture for Planning in Embedded Systems | 1-gen-1998 | Spalazzi, Luca | |
| Agent Technologies for federated information systems in the public administration | 1-gen-1999 | Panti, Maurizio; Dragoni, Aldo Franco; Spalazzi, Luca; Diamantini, Claudia; S., Valenti | |
| A planning language for embedded systems | 1-gen-1999 | Spalazzi, Luca | |
| Intelligent Planning: A Decomposition and Abstraction Based Approach to Classical Planning | 1-gen-1999 | Giunchiglia, F.; Spalazzi, Luca | |
| Federated Information System Architecture for Local Public Administration | 1-gen-1999 | M., Panti; Diamantini, Claudia; Spalazzi, Luca; S., Valenti | |
| A Dynamic Logic for Acting, Sensing, and Planning | 1-gen-2000 | Spalazzi, Luca; Traverso, P. | |
| A FIPA Compliant Agent Platform for Federated Information Systems | 1-gen-2000 | Panti, Maurizio; Penserini, Loris; Spalazzi, Luca; Valenti, Salvatore | |
| ``A Logic of Belief and a Model Checking Algorithm for Security Protocols'' | 1-gen-2000 | M., Benerecetti; F., Giunchiglia; Panti, Maurizio; Spalazzi, Luca |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile