Sfoglia per Autore
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
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
Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili
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
Autoepistemic Description Logics
1997 F. M., Donini; 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
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
Knowledge Representation approach to information integration
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
Source Integration in data warehousing
1998 Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo
Embedding negation as failure into minimal knowledge
1998 Rosati, Riccardo
Autoepistemic Description Logics
1998 Rosati, Riccardo
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
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 | |
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 | |
Rappresentazione della Conoscenza e Ragionamento nei Robot Mobili | 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 | |
Autoepistemic Description Logics | 1997 | F. M., Donini; 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 | |
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 | |
Knowledge Representation approach to information integration | 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 | |
Source Integration in data warehousing | 1998 | Calvanese, D.; DE GIACOMO, Giuseppe; Lenzerini, Maurizio; Nardi, Daniele; Rosati, Riccardo | |
Embedding negation as failure into minimal knowledge | 1998 | Rosati, Riccardo | |
Autoepistemic Description Logics | 1998 | 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