Sfoglia per Autore
A preference semantics for ground nonmonotonic modal logics
1995 Nardi, Daniele; Rosati, Riccardo
Non-first-order features in concept languages
1995 Donini, FRANCESCO MARIA; Nardi, Daniele; Rosati, Riccardo
A uniform tableaux method for nonmonotonic modal logics
1996 Donini, FRANCESCO MARIA; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo
Classic Planning for Mobile Robots
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili
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
Moving a robot starting from a theory of actions
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Ground Nonmonotonic Modal Logics
1997 Donini, F. M.; Nardi, Daniele; Rosati, Riccardo
Description Logic-based Framework for Planning with Sensing Actions
1997 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Planning with Sensing for a Mobile Robot
1997 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Reasoning with minimal belief and negation as failure: algorithms and complexity
1997 Rosati, Riccardo
Autoepistemic Description Logics
1997 F. M., Donini; Nardi, Daniele; Rosati, Riccardo
Description Logic Framework for Information Integration
1998 Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo
Expressiveness vs. complexity in nonmonotonic knowledge bases: propositional case
1998 Rosati, Riccardo
Reducing query answering to satisfiability in nonmonotonic logics
1998 Rosati, Riccardo
Embedding negation as failure into minimal knowledge
1998 Rosati, Riccardo
Autoepistemic Description Logics
1998 Rosati, Riccardo
Knowledge Representation approach to information integration
1998 Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo
Source Integration in data warehousing
1998 Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo
Information Integration: Conceptual Modeling and Reasoning Support
1998 Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
A preference semantics for ground nonmonotonic modal logics | 1995 | Nardi, Daniele; Rosati, Riccardo | |
Non-first-order features in concept languages | 1995 | Donini, FRANCESCO MARIA; Nardi, Daniele; Rosati, Riccardo | |
A uniform tableaux method for nonmonotonic modal logics | 1996 | Donini, FRANCESCO MARIA; Massacci, Fabio; Nardi, Daniele; Rosati, Riccardo | |
Classic Planning for Mobile Robots | 1996 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo | |
Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili | 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 | |
Moving a robot starting from a theory of actions | 1996 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo | |
Ground Nonmonotonic Modal Logics | 1997 | Donini, F. M.; Nardi, Daniele; Rosati, Riccardo | |
Description Logic-based Framework for Planning with Sensing Actions | 1997 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo | |
Planning with Sensing for a Mobile Robot | 1997 | DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo | |
Reasoning with minimal belief and negation as failure: algorithms and complexity | 1997 | Rosati, Riccardo | |
Autoepistemic Description Logics | 1997 | F. M., Donini; Nardi, Daniele; Rosati, Riccardo | |
Description Logic Framework for Information Integration | 1998 | Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo | |
Expressiveness vs. complexity in nonmonotonic knowledge bases: propositional case | 1998 | Rosati, Riccardo | |
Reducing query answering to satisfiability in nonmonotonic logics | 1998 | Rosati, Riccardo | |
Embedding negation as failure into minimal knowledge | 1998 | Rosati, Riccardo | |
Autoepistemic Description Logics | 1998 | Rosati, Riccardo | |
Knowledge Representation approach to information integration | 1998 | Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo | |
Source Integration in data warehousing | 1998 | Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo | |
Information Integration: Conceptual Modeling and Reasoning Support | 1998 | Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; 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