Sfoglia per Autore  

Opzioni
Mostrati risultati da 1 a 20 di 129
Titolo Data di pubblicazione Autore(i) File
Plan formation and execution in a uniform architecture of declarative metatheories 1-gen-1990 Giunchiglia, Fausto; Traverso, Paolo
Reflective reasoning with and between a declarative metatheory and the implementation code 1-gen-1991 Giunchiglia, Fausto; Traverso, Paolo
Multilanguage First Order Theories of Propositional Attitudes 1-gen-1991 Giunchiglia, Fausto; Serafini, Luciano
Automating meta-theory creation and system extension 1-gen-1991 David, Basin; Giunchiglia, Fausto; Traverso, Paolo
La deduzione automatica 1-gen-1991 Giunchiglia, Fausto; Traverso, Paolo; Serafini, Luciano
A Metatheory of a Mechnized Object Theory 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo
A System for Multi-Level Reasoning 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Paolo, Pecchiari
Multilanguage hierarchical logics (or: how we can do without modal logics) 1-gen-1992 Giunchiglia, Fausto; Serafini, Luciano
MRG: un sistema di ragionamento distribuito per applicazioni complesse 1-gen-1992 Giunchiglia, Fausto; Cimatti, Alessandro; Sandro, Dalbosco; Traverso, Paolo; Luca, Spalazzi
Tactics: extending the notion of plan 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi
Hierarchical Meta-Logics: Intuitions, Proof Theory and Semantics 1-gen-1992 Giunchiglia, Fausto; Serafini, Luciano; Alex K., Simpson
Un nucleo di ragionamento per un sistema integrato multi-funzionale: stato di avanzamento 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
Understanding scene descriptions by integrating different sources of knowledge 1-gen-1992 Giunchiglia, Fausto; C., Ferrari; Traverso, Paolo; E., Trucco
Valutazione del CBR-tool orientato all`help desk `Case Advisor` 1-gen-1993 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; D., Romano; F., Torielli; Traverso, Paolo
Multi-content systems as a specification framework for complex reasoning systems 1-gen-1993 Enrico, Giunchiglia; Traverso, Paolo; Giunchiglia, Fausto
MRG: un nucleo di ragionamento per un sistema integrato multifunzionale 1-gen-1993 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Armando, Alessandro; Paolo, Pecchiari
MRG: sistema di ragionamento 1-gen-1993 Giunchiglia, Fausto; Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Sandro, Dalbosco; Serafini, Luciano; Enrico, Giunchiglia; Alessandro, Armando; Paolo, Pecchiari
Non-Omniscient Belief as Context-Based Resoning 1-gen-1993 Giunchiglia, Fausto; Serafini, Luciano; Enrico, Giunchiglia; Marcello, Frixione
Planning with Failure 1-gen-1994 Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo
Reasoning about Theory Adequacy. A New Solution to the Qualification Problem 1-gen-1994 Bouquet, Paolo; Giunchiglia, Fausto
Mostrati risultati da 1 a 20 di 129
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