Giunchiglia, Fausto

Giunchiglia, Fausto  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.007 secondi).
Titolo Data di pubblicazione Autore(i) File
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 1-gen-2000 Enrico Blanzieri; A. Ebranati; Fausto Giunchiglia
A Context-Based Framework for Mental Representation 1-gen-1998 Giunchiglia, Fausto; Bouquet, Paolo
A Foundation for Metareasoning Part I: The Proof Theory 1-gen-2002 G. Criscuolo; Fausto Giunchiglia; Luciano Serafini
A Foundation for Metareasoning. Part II: The model theory 1-gen-2002 G. Criscuolo; Fausto Giunchiglia; Luciano Serafini
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case) 1-gen-1994 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
A General Purpose Reasoner for Abstraction 1-gen-1995 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
A Knowledge Level Software Engineering Methodology for Agent Oriented Software 1-gen-2001 Paolo Bresciani; Anna Perini; Paolo Giorgini; Fausto Giunchiglia; John Mylopoulos;
A Large Scale Taxonomy Mapping Evaluation 1-gen-2005 Avesani, Paolo; Giunchiglia, Fausto; M., Yatskevich
A Local Models Semantics for Propositional Attitudes 1-gen-2000 Giunchiglia, Fausto; Ghidini, Chiara
A Logic Level Specification of the NQTHM Simplification Process 1-gen-1997 A., Coglio; Giunchiglia, Fausto; P., Pecchiari; C., Talcott
A Logic of Belief and a Model Checking Algorithm for Security Protocols 1-gen-2000 Massimo Benerecetti; Fausto Giunchiglia; M. Panti; Luca Spalazzi
A Many Sorted Natural Deduction 1-gen-1998 Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch
A Metatheory of a Mechanized Object Theory 1-gen-1996 Giunchiglia, Fausto; Traverso, Paolo
A Metatheory of a Mechnized Object Theory 1-gen-1992 Giunchiglia, Fausto; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning 1-gen-1997 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A New Method for Testing Decision Procedures in Modal and Terminological Logics 1-gen-1996 Fausto Giunchiglia; Marco Roveri; Roberto Sebastiani
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
A SAT-based Decision Procedure for ALC 1-gen-1996 Giunchiglia, Fausto; Sebastiani, Roberto
A semantics for abstraction 1-gen-2003 Ghidini, Chiara; Giunchiglia, Fausto
A Structured Approach to the Formal Certification of Safety of Computer Aided Development Tools 1-gen-1998 Bertoli, Piergiorgio; Cimatti, Alessandro; Giunchiglia, Fausto; Traverso, Paolo