IRIS Institutional Research Information System

Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 129
Titolo Data di pubblicazione Autore(i) File
Formal Theories for Reactive Planning Systems: Some Considerations Raised from an Experimental Application 1-gen-1996 Traverso, Paolo; Enrico, Giunchiglia; Luca, Spalazzi; Giunchiglia, Fausto
ABSFOL: A Proof Checker with Abstraction 1-gen-1996 Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo
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
Calculating Criticalities 1-gen-1996 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
A SAT-based Decision Procedure for ALC 1-gen-1996 Giunchiglia, Fausto; Sebastiani, Roberto
Dealing with Expected and Unexpected Obstacles 1-gen-1996 Giunchiglia, Fausto; E., Giunchiglia; T., Costello; Bouquet, Paolo
Context-Based Formal Specification of Multi-Agent Systems 1-gen-1996 Massimo, Benerecetti; Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Serafini, Luciano
Ideal and Real Belief about Belief: Some Intuitions 1-gen-1996 Giunchiglia, Fausto; E., Giunchiglia
Building Decision Procedures for Modal Logics from Propositional Decision Procedures - The Case Study of Modal K 1-gen-1996 Giunchiglia, Fausto; Sebastiani, Roberto
Computing Abstraction Hierarchies by Numerical Simulation 1-gen-1996 A., Bundy; Giunchiglia, Fausto; Sebastiani, Roberto; T., Walsh
A New Method for Testing Decision Procedures in Modal and Terminological Logics 1-gen-1996 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
Planning via Model Checking: A Decision Procedure for AR 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Model Checking Multiagent Systems 1-gen-1997 Massimo, Benerecetti; Giunchiglia, Fausto; Serafini, Luciano
Formal Validation & Verification of Software for Railway Control and Protection Systems: Experimental Applications in ANSALDO 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
A Logic Level Specification of the NQTHM Simplification Process 1-gen-1997 A., Coglio; Giunchiglia, Fausto; P., Pecchiari; C., Talcott
A Model Based Decision Procedure for Common Sense Temporal Reasoning 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
Certification of Translators via Off-line and On-line Proof Logging and Checking 1-gen-1997 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo
Formal Validation of an Interlocking System for Large Railway Stations: A Case Study 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; G., Mongardi; B., Pietra; D., Romano; F., Torielli; Traverso, Paolo
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software 1-gen-1997 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
Abstract Proof Checking: An Example Motivated by an Incompleteness Theorem 1-gen-1997 A., Bundy; Giunchiglia, Fausto; Villafiorita Monteleone, Adolfo; Toby, Walsh
Mostrati risultati da 41 a 60 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