IRIS

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 617
Titolo Anno di pubblicazione Autori Unitn File
The use of abstraction in automatic inference 1-gen-1990 Giunchiglia, Fausto +
Building Abstractions 1-gen-1990 Giunchiglia, Fausto +
Plan Formation and Execution in an Uniform Architecture of Declarative Metatheories 1-gen-1990 Giunchiglia, Fausto +
Abstraction in AI 1-gen-1990 Giunchiglia, Fausto +
Multilanguage systems 1-gen-1991 Giunchiglia, Fausto
Reflective reasoning with and between a declarative metatheory and the implementation code 1-gen-1991 Giunchiglia, Fausto +
Multilanguage hierarchical logics 1-gen-1991 Giunchiglia, Fausto +
Automating meta-theory creation and system extension 1-gen-1991 Giunchiglia, Fausto +
Multilanguage first order theories of propositional attitudes 1-gen-1991 Giunchiglia, Fausto +
Using abstraction 1-gen-1991 Giunchiglia, Fausto +
La deduzione automatica 1-gen-1991 Giunchiglia, Fausto +
La deduzione automatica 1-gen-1991 Giunchiglia, Fausto +
Understanding scene descriptions by integrating different sources of knowledge 1-gen-1992 Giunchiglia, Fausto +
MRG: un nucleo di ragionamento per un sistema integrato multi-funzionale 1-gen-1992 Giunchiglia, Fausto +
Planning as tactical reasoning 1-gen-1992 Giunchiglia, Fausto +
An abstract proof checker 1-gen-1992 Giunchiglia, Fausto +
Hierarchical meta-logics for belief and provability: how we can do without modal logics 1-gen-1992 Giunchiglia, Fausto +
A system for multi-level reasoning 1-gen-1992 Giunchiglia, Fausto +
Tree subsumption: reasoning with outlines 1-gen-1992 Giunchiglia, Fausto +
Multilanguage hierarchical logics (or: how we can do without modal logics) 1-gen-1992 Giunchiglia, Fausto +
Mostrati risultati da 41 a 60 di 617
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