Sfoglia per Autore
Formal synthesis of a unification algorithm by the deductive-tableau method
1989 Nardi, Daniele
NONMONOTONIC REASONING
1990 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Survey on Non-Monotonic Reasoning
1990 Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Using terminological reasoning in hybrid systems
1990 Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele
Building tools for software engineering with artificial intelligence techniques
1990 Nardi, Daniele; Di Tucci, Marco
Ragionamento Non-Monotono
1991 Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco
Perspectives in knowledge representation
1991 Carlucci Aiello, Luigia; Nardi, Daniele
Reasoning about reasoning in a meta-level architecture
1991 Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco
The complexity of existential quantification in concept languages
1992 F., Donini; Lenzerini, Maurizio; Nardi, Daniele; B., Hollunder; W., Nutt; MARCHETTI SPACCAMELA, Alberto
Reasoning about Student Knowledge and Reasoning
1993 Carlucci, Luigia; Cialdea, M; Nardi, Daniele
Automatic generation of explanations for spreadsheet applications
1994 Nardi, Daniele; Serrecchia, Giuseppe
Deduction in concept languages: From subsumption to instance checking
1994 Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea
Non-first-order features in concept languages
1995 Donini, FRANCESCO MARIA; Nardi, Daniele; Rosati, Riccardo
A preference semantics for ground nonmonotonic modal logics
1995 Nardi, Daniele; Rosati, Riccardo
Reasoning in Description Logics
1996 Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A.
Knowledge-based Access to the Network
1996 Barcaroli, C.; Iocchi, Luca; Lenzerini, Maurizio; Nardi, Daniele
A uniform tableaux method for nonmonotonic modal logics
1996 Donini, FRANCESCO MARIA; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo
Moving a robot starting from a theory of actions
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Moving a robot: the KR&R approach at work
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Classic Planning for Mobile Robots
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Formal synthesis of a unification algorithm by the deductive-tableau method | 1989 | Nardi, Daniele | |
NONMONOTONIC REASONING | 1990 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Survey on Non-Monotonic Reasoning | 1990 | Carlucci, Luigia; FRANCESCO MARIA, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Using terminological reasoning in hybrid systems | 1990 | Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele | |
Building tools for software engineering with artificial intelligence techniques | 1990 | Nardi, Daniele; Di Tucci, Marco | |
Ragionamento Non-Monotono | 1991 | Francesco, Donini; Lenzerini, Maurizio; Nardi, Daniele; PIRRI ARDIZZONE, Maria Fiora; Schaerf, Marco | |
Perspectives in knowledge representation | 1991 | Carlucci Aiello, Luigia; Nardi, Daniele | |
Reasoning about reasoning in a meta-level architecture | 1991 | Aiello, Luigia Carlucci; Nardi, Daniele; Schaerf, Marco | |
The complexity of existential quantification in concept languages | 1992 | F., Donini; Lenzerini, Maurizio; Nardi, Daniele; B., Hollunder; W., Nutt; MARCHETTI SPACCAMELA, Alberto | |
Reasoning about Student Knowledge and Reasoning | 1993 | Carlucci, Luigia; Cialdea, M; Nardi, Daniele | |
Automatic generation of explanations for spreadsheet applications | 1994 | Nardi, Daniele; Serrecchia, Giuseppe | |
Deduction in concept languages: From subsumption to instance checking | 1994 | Donini, FRANCESCO MARIA; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, Andrea | |
Non-first-order features in concept languages | 1995 | Donini, FRANCESCO MARIA; Nardi, Daniele; Rosati, Riccardo | |
A preference semantics for ground nonmonotonic modal logics | 1995 | Nardi, Daniele; Rosati, Riccardo | |
Reasoning in Description Logics | 1996 | Donini, F. M.; Lenzerini, Maurizio; Nardi, Daniele; Schaerf, A. | |
Knowledge-based Access to the Network | 1996 | Barcaroli, C.; Iocchi, Luca; Lenzerini, Maurizio; Nardi, Daniele | |
A uniform tableaux method for nonmonotonic modal logics | 1996 | Donini, FRANCESCO MARIA; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo | |
Moving a robot starting from a theory of actions | 1996 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo | |
Moving a robot: the KR&R approach at work | 1996 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo | |
Classic Planning for Mobile Robots | 1996 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo |
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