Sfoglia per Autore
Intensional Query Answering: an Application of Partial Evaluation
1992 DE GIACOMO, Giuseppe
Description Logics with Inverse Roles, Functional Restrictions, and n-ary Relations
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Boosting the Correspondence between Description Logics and Propositional Dynamic Logics
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Concept Language with Number Restrictions and Fixpoints, and its Relationship with mu-Calculus
1994 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Structured Objects: Modeling and Reasoning
1995 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio
PDL-Based Framework for Reasoning about Actions
1995 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
What's in an Aggregate: Foundations for Description Logics with Tuples and Sets
1995 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Eliminating "converse" from converse PDL
1996 DE GIACOMO, Giuseppe
Reasoning about nondeterministic and concurrent actions: a process algebra approach
1996 DE GIACOMO, Giuseppe; XIAO JUN, Chen
Tableaux and Algorithms for Propositional Dynamic Logic with Converse
1996 DE GIACOMO, Giuseppe; Fabio, Massacci
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
Intensional query answering by partial evaluation
1996 DE GIACOMO, Giuseppe
Moving a robot starting from a theory of actions
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
TBox and ABox Reasoning in Expressive Description Logics
1996 DE GIACOMO, Giuseppe; Lenzerini, Maurizio
Moving a robot: the KR&R approach at work
1996 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Conceptual Data Model with Structured Objects for Statistical Databases
1996 DE GIACOMO, Giuseppe; Paolo, Naggar
Planning with Sensing for a Mobile Robot
1997 DE GIACOMO, Giuseppe; Iocchi, Luca; Nardi, Daniele; Rosati, Riccardo
Reasoning about concurrent execution, prioritized interrupts, and exogenous actions in the situation calculus
1997 DE GIACOMO, Giuseppe; HECTOR J., Levesque; Yves, Lesperance
Representing and Reasoning on SGML Documents
1997 Diego, Calvanese; DE GIACOMO, Giuseppe; Lenzerini, Maurizio
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