Sfoglia per Autore
Representation and Use of Metaknowledge
1986 Carlucci, Luigia; C., Cecchi; D., Sartini
Survey on Non-Monotonic Reasoning
1990 Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
SEDAF: An Intelligent Educational System for Mathematics
1990 Carlucci, Luigia; Micarelli, A.
Intuitionistic Modal Calculus for Autoepistemic Logic
1991 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
SAMPLE: An Intelligent Educational System for Electrical Circuits
1991 Micarelli, A; Mungo, F; Nucci, F. S.; Carlucci, Luigia
Reasoning With Worlds and Truth Maintenance In An Intelligent Tutoring System
1992 A., Micarelli; F., Mungo; F. S., Nucci; Carlucci, Luigia
Reasoning about Student Knowledge and Reasoning
1993 Carlucci, Luigia; Cialdea, M; Nardi, Daniele
Defaults as Restrictions on classical Hilbert-style proofs
1994 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Commonsense Reasoning
1996 Carlucci, Luigia
A structural property on modal frames characterizing default logic
1996 Gianni, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
A Proof Theoretical approach to default reasoning I: Tableaux for default logic
1996 Giambattista, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora
Default Logic as a Formalism for Understanding Commonsense reasoning
1996 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Modal non monotonic reasoning via boxed fixed points
1996 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
A knowledge-based system for the analysis of electrical networks
1996 A., Micarelli; Carlucci, Luigia
Intuitionistic Autoepistemic Logic
1997 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Provability Logic for Default Reasoning 2
1997 Gianni, Amati; Dov, Gabbay; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Definability and commonsense reasoning
1997 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
Default Logic and Purity of Reasoning
1999 Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora
An executable specification language for planning attacks to security protocols
2000 Carlucci, Luigia; F., Massacci
Risoluzione automatica di problemi in Intelligenza Artificiale
2001 Carlucci, Luigia
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Representation and Use of Metaknowledge | 1986 | Carlucci, Luigia; C., Cecchi; D., Sartini | |
| Survey on Non-Monotonic Reasoning | 1990 | Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
| SEDAF: An Intelligent Educational System for Mathematics | 1990 | Carlucci, Luigia; Micarelli, A. | |
| Intuitionistic Modal Calculus for Autoepistemic Logic | 1991 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| SAMPLE: An Intelligent Educational System for Electrical Circuits | 1991 | Micarelli, A; Mungo, F; Nucci, F. S.; Carlucci, Luigia | |
| Reasoning With Worlds and Truth Maintenance In An Intelligent Tutoring System | 1992 | A., Micarelli; F., Mungo; F. S., Nucci; Carlucci, Luigia | |
| Reasoning about Student Knowledge and Reasoning | 1993 | Carlucci, Luigia; Cialdea, M; Nardi, Daniele | |
| Defaults as Restrictions on classical Hilbert-style proofs | 1994 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Commonsense Reasoning | 1996 | Carlucci, Luigia | |
| A structural property on modal frames characterizing default logic | 1996 | Gianni, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
| A Proof Theoretical approach to default reasoning I: Tableaux for default logic | 1996 | Giambattista, Amati; Carlucci, Luigia; Dov, Gabbay; PIRRI ARDIZZONE, Maria Fiora | |
| Default Logic as a Formalism for Understanding Commonsense reasoning | 1996 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Modal non monotonic reasoning via boxed fixed points | 1996 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| A knowledge-based system for the analysis of electrical networks | 1996 | A., Micarelli; Carlucci, Luigia | |
| Intuitionistic Autoepistemic Logic | 1997 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Provability Logic for Default Reasoning 2 | 1997 | Gianni, Amati; Dov, Gabbay; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Definability and commonsense reasoning | 1997 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| Default Logic and Purity of Reasoning | 1999 | Gianni, Amati; Carlucci, Luigia; PIRRI ARDIZZONE, Maria Fiora | |
| An executable specification language for planning attacks to security protocols | 2000 | Carlucci, Luigia; F., Massacci | |
| Risoluzione automatica di problemi in Intelligenza Artificiale | 2001 | Carlucci, Luigia |
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