Giunchiglia, Fausto

Giunchiglia, Fausto  

Mostra records
Risultati 1 - 20 di 129 (tempo di esecuzione: 0.009 secondi).
Titolo Data di pubblicazione Autore(i) File
*SAT, KsatC, DLP and TA: a comparative analysis 1-gen-1999 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture 1-gen-2000 Blanzieri, Enrico; A., Ebranati; Giunchiglia, Fausto
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; Giunchiglia, Fausto; Serafini, Luciano
A Foundation for Metareasoning. Part II: The model theory 1-gen-2002 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
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 Bresciani, Paolo; Perini, Anna; Paolo, Giorgini; Giunchiglia, Fausto; Mylopoulos, John
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; Giunchiglia, Fausto; 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 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
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