IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 168
Titolo Data di pubblicazione Autore(i) File
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
A planning language and a semantics for real world autonomous agents 1-gen-1993 Traverso, Paolo; Luca, Spalazzi; Cimatti, Alessandro
Planning with Failure 1-gen-1994 Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo
MRG: Building planners for real world complex applications 1-gen-1994 Traverso, Paolo; Cimatti, Alessandro; Luca, Spalazzi; Enrico, Giunchiglia; Armando, Alessandro
First steps towards provably correct system synthesis of system code 1-gen-1994 Giunchiglia, Fausto; Armando, Alessandro; Cimatti, Alessandro; Traverso, Paolo
A three level architecture for the modular specification of knowledge and reasoning strategies 1-gen-1994 Mauro Di, Manzo; Enrico, Giunchiglia; Traverso, Paolo
Program Tactics and Logic Tactics 1-gen-1994 Giunchiglia, Fausto; Traverso, Paolo
A System for Multi-Level Mathematical Reasoning 1-gen-1994 Giunchiglia, Fausto; Traverso, Paolo
Biblioteca elettronica e biblioteca virtuale 1-gen-1995 Giunchiglia, Fausto; Bouquet, Paolo; Traverso, Paolo
A Logic for Acting, Sensing and Planning 1-gen-1995 Traverso, Paolo; Luca, Spalazzi
Planning as executable actions: a first step towards a theory of reactive planning 1-gen-1995 Traverso, Paolo
Reasoning About Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 1-gen-1995 Traverso, Paolo; Luca, Spalazzi; Giunchiglia, Fausto
A Multi-Context Architecture for Formalizing Complex Reasoning 1-gen-1995 Enrico, Giunchiglia; Traverso, Paolo
Reasoning about Acting, Sensing and Failure Handling: A Logic for Agents Embedded in the Real World 1-gen-1995 Traverso, Paolo; Luca, Spalazzi; Giunchiglia, Fausto
Flexible Planning by Integrating Multilevel Reasoning 1-gen-1995 Armando, Alessandro; Cimatti, Alessandro; E., Giunchiglia; P., Pecchiari; L., Spalazzi; Traverso, Paolo
Program Tactics and Logic Tactics 1-gen-1996 Giunchiglia, Fausto; Traverso, Paolo
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Visual Representation of Natural Language Scene Descriptions 1-gen-1996 Enrico, Giunchiglia; Armando, Alessandro; Traverso, Paolo; Cimatti, Alessandro
A Metatheory of a Mechanized Object Theory 1-gen-1996 Giunchiglia, Fausto; Traverso, Paolo
Formal Theories for Reactive Planning Systems: some considerations raised from an experimental application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
Mostrati risultati da 21 a 40 di 168
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