CARLUCCI, Luigia
CARLUCCI, Luigia
DIPARTIMENTO DI INGEGNERIA INFORMATICA, AUTOMATICA E GESTIONALE -ANTONIO RUBERTI-
A knowledge-based system for the analysis of electrical networks
1996 A., Micarelli; Carlucci, Luigia
A Proof Theoretical approach to default reasoning I: Tableaux for default logic
1996 Giambattista, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
A structural property on modal frames characterizing default logic
1996 Gianni, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
An executable specification language for planning attacks to security protocols
2000 Carlucci, Luigia; F., Massacci
Attacking fair-exchange protocols: parallel models vs trace models
2001 Carlucci, Luigia; Massacci, F.
Case Studies in Cognitive Robotics
2001 Carlucci, Luigia; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora
Cognitive Robotics in Domestic Scenarios.
2003 Carlucci, Luigia; Benedetti, M.; Bernardini, S.
Commonsense Reasoning
1996 Carlucci, Luigia
Computing: report leaps geographical barriers but stumbles over gender
2006 Martha E., Pollack; Susanne E., Hambrusch; Carla Schlatter, Ellis; Barbara J., Grosz; Jessica, Hodgins; Ruzena, Bajcsy; Carla E., Brodley; Carlucci, Luigia; Maria Paola, Bonacina; Lori A., Clarke; Julia, Hirschberg; Manuela M., Veloso; Nancy, Amato; Liz, Sonenberg; Elaine, Weyuker; Lori, Pollock; Mary Jane, Irwin; Lin, Padgham; Barbara G., Ryder; Catarci, Tiziana; Kathleen F., Mccoy; Maria, Klawe; Sandra, Carberry; Laura, Dillon; Kathleen, Mckeown; Mary Lou, Soffa
Default Logic and Purity of Reasoning
1999 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Default Logic as a Formalism for Understanding Commonsense reasoning
1996 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Defaults as Restrictions on classical Hilbert-style proofs
1994 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Definability and commonsense reasoning
1997 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Development of intelligent service robots
2013 Iocchi, Luca; E., Menegatti; A., Bonarini; M., Matteucci; E., Pagello; Carlucci, Luigia; Nardi, Daniele; F., Mastrogiovanni; A., Sgorbissa; R., Zaccaria; R., Sorbello; A., Chella; M., Giardina; P., Zingaretti; E., Frontoni; A., Mancini; G., Cicirelli; A., Farinelli; D. G., Sorrenti
IA significa lanciare sfide e rincorrerle
2006 Carlucci, Luigia
Intelligenza Artificiale
2003 Carlucci, Luigia
Intelligenza Artificiale: i primi 50 anni
2004 Carlucci, Luigia; Dapor, M.
Introduction to the Special Issue for the 50th Anniversary of AI
2006 Carlucci, Luigia
Intuitionistic Autoepistemic Logic
1997 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Intuitionistic Modal Calculus for Autoepistemic Logic
1991 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A knowledge-based system for the analysis of electrical networks | 1996 | A., Micarelli; Carlucci, Luigia | |
| A Proof Theoretical approach to default reasoning I: Tableaux for default logic | 1996 | Giambattista, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
| A structural property on modal frames characterizing default logic | 1996 | Gianni, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
| An executable specification language for planning attacks to security protocols | 2000 | Carlucci, Luigia; F., Massacci | |
| Attacking fair-exchange protocols: parallel models vs trace models | 2001 | Carlucci, Luigia; Massacci, F. | |
| Case Studies in Cognitive Robotics | 2001 | Carlucci, Luigia; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora | |
| Cognitive Robotics in Domestic Scenarios. | 2003 | Carlucci, Luigia; Benedetti, M.; Bernardini, S. | |
| Commonsense Reasoning | 1996 | Carlucci, Luigia | |
| Computing: report leaps geographical barriers but stumbles over gender | 2006 | Martha E., Pollack; Susanne E., Hambrusch; Carla Schlatter, Ellis; Barbara J., Grosz; Jessica, Hodgins; Ruzena, Bajcsy; Carla E., Brodley; Carlucci, Luigia; Maria Paola, Bonacina; Lori A., Clarke; Julia, Hirschberg; Manuela M., Veloso; Nancy, Amato; Liz, Sonenberg; Elaine, Weyuker; Lori, Pollock; Mary Jane, Irwin; Lin, Padgham; Barbara G., Ryder; Catarci, Tiziana; Kathleen F., Mccoy; Maria, Klawe; Sandra, Carberry; Laura, Dillon; Kathleen, Mckeown; Mary Lou, Soffa | |
| Default Logic and Purity of Reasoning | 1999 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Default Logic as a Formalism for Understanding Commonsense reasoning | 1996 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Defaults as Restrictions on classical Hilbert-style proofs | 1994 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Definability and commonsense reasoning | 1997 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Development of intelligent service robots | 2013 | Iocchi, Luca; E., Menegatti; A., Bonarini; M., Matteucci; E., Pagello; Carlucci, Luigia; Nardi, Daniele; F., Mastrogiovanni; A., Sgorbissa; R., Zaccaria; R., Sorbello; A., Chella; M., Giardina; P., Zingaretti; E., Frontoni; A., Mancini; G., Cicirelli; A., Farinelli; D. G., Sorrenti | |
| IA significa lanciare sfide e rincorrerle | 2006 | Carlucci, Luigia | |
| Intelligenza Artificiale | 2003 | Carlucci, Luigia | |
| Intelligenza Artificiale: i primi 50 anni | 2004 | Carlucci, Luigia; Dapor, M. | |
| Introduction to the Special Issue for the 50th Anniversary of AI | 2006 | Carlucci, Luigia | |
| Intuitionistic Autoepistemic Logic | 1997 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Intuitionistic Modal Calculus for Autoepistemic Logic | 1991 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora |