Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 364
Titolo Data di pubblicazione Autore(i) File
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
Mostrati risultati da 1 a 20 di 364
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