IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 129
Titolo Data di pubblicazione Autore(i) File
Planning with Failure 1-gen-1994 Giunchiglia, Fausto; Luca, Spalazzi; Traverso, Paolo
First steps towards provably correct system synthesis of system code 1-gen-1994 Giunchiglia, Fausto; Armando, Alessandro; Cimatti, Alessandro; Traverso, Paolo
Multilanguage Hierarchical Logics or: How we can do Without Modal Logics 1-gen-1994 Giunchiglia, Fausto; Serafini, Luciano
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
A General Purpose Reasoner for Abstraction 1-gen-1995 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
Biblioteca elettronica e biblioteca virtuale 1-gen-1995 Giunchiglia, Fausto; Bouquet, Paolo; Traverso, Paolo
Bidirectional Reasoning 1-gen-1995 Agostini, Alessandro; Giunchiglia, Fausto
Reasoning about Theory Formulation and Reformulation. A New Solution to the Qualification Problem 1-gen-1995 Giunchiglia, Fausto; Bouquet, 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
Agents as Reasoners, Observers, or Arbitrary Believers 1-gen-1995 Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
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
Proving Theorems by Using Abstraction Interactively 1-gen-1995 Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; Giunchiglia, Fausto
Agents as Reasoners, Observers or Believers 1-gen-1995 Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
An Epistemological Science of Commonsense 1-gen-1995 Giunchiglia, Fausto
Towards Provably Correct System Synthesis and Extension 1-gen-1996 Giunchiglia, Fausto; P., Pecchiari; A., Armando
ABSFOL: A Proof Checker with Abstraction 1-gen-1996 Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo
Program Tactics and Logic Tactics 1-gen-1996 Giunchiglia, Fausto; Traverso, Paolo
Rapporto tecnico sullo studio di fattibilità per CIRCUIT LINE 1-gen-1996 Caprile, Bruno Giovanni; T., Coianiz; Giunchiglia, Fausto; Lazzari, Giannino; Messelodi, Stefano; G., Musso
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 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