Giunchiglia, Fausto
Giunchiglia, Fausto
*SAT, KsatC, DLP and TA: a comparative analysis
1999-01-01 E., Giunchiglia; Giunchiglia, Fausto; A., Tacchella
A Case Based Reasoning System for Tourism Culture Support: Methodology, Requirements and Architecture
2000-01-01 Blanzieri, Enrico; A., Ebranati; Giunchiglia, Fausto
A Context-Based Framework for Mental Representation
1998-01-01 Giunchiglia, Fausto; Bouquet, Paolo
A Foundation for Metareasoning Part I: The Proof Theory
2002-01-01 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
A Foundation for Metareasoning. Part II: The model theory
2002-01-01 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
A Foundation of Metalogical Reasoning: OM Pairs (Propositional Case)
1994-01-01 G., Criscuolo; Giunchiglia, Fausto; Serafini, Luciano
A General Purpose Reasoner for Abstraction
1995-01-01 Giunchiglia, Fausto; Sebastiani, Roberto; Villafiorita Monteleone, Adolfo; T., Walsh
A Knowledge Level Software Engineering Methodology for Agent Oriented Software
2001-01-01 Bresciani, Paolo; Perini, Anna; Paolo, Giorgini; Giunchiglia, Fausto; Mylopoulos, John
A Large Scale Taxonomy Mapping Evaluation
2005-01-01 Avesani, Paolo; Giunchiglia, Fausto; M., Yatskevich
A Local Models Semantics for Propositional Attitudes
2000-01-01 Giunchiglia, Fausto; Ghidini, Chiara
A Logic Level Specification of the NQTHM Simplification Process
1997-01-01 A., Coglio; Giunchiglia, Fausto; P., Pecchiari; C., Talcott
A Logic of Belief and a Model Checking Algorithm for Security Protocols
2000-01-01 Massimo, Benerecetti; Giunchiglia, Fausto; M., Panti; Luca, Spalazzi
A Many Sorted Natural Deduction
1998-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; R. W., Weyhrauch
A Metatheory of a Mechanized Object Theory
1996-01-01 Giunchiglia, Fausto; Traverso, Paolo
A Metatheory of a Mechnized Object Theory
1992-01-01 Giunchiglia, Fausto; Traverso, Paolo
A Model Based Decision Procedure for Common Sense Temporal Reasoning
1997-01-01 Cimatti, Alessandro; Enrico, Giunchiglia; Giunchiglia, Fausto; Traverso, Paolo
A New Method for Testing Decision Procedures in Modal and Terminological Logics
1996-01-01 Giunchiglia, Fausto; Roveri, Marco; Sebastiani, Roberto
A Provably Correct Embedded Verifier for the Certification of Safety Critical Software
1997-01-01 Cimatti, Alessandro; Giunchiglia, Fausto; P., Pecchiari; B., Pietra; J., Profeta; D., Romano; Traverso, Paolo; B., Yu
A SAT-based Decision Procedure for ALC
1996-01-01 Giunchiglia, Fausto; Sebastiani, Roberto
A semantics for abstraction
2003-01-01 Ghidini, Chiara; Giunchiglia, Fausto
| 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 |