The University of Edinburgh -
Division of Informatics
Forrest Hill & 80 South Bridge


Documents Authored by: Fausto Giunchiglia

Please note that only papers and publications recorded in this departments database are shown here. An author may have many other papers and publications produced while working elsewhere which are not listed here. This page does not therefore represent a definitive list of this authors work.

Chapter in Edited Book

CB375 1989 Chapter in Edited Book Giunchiglia,F; Smaill,AD
Reflection in Constructive and Non Constructive Automated Reasoning

Journal Paper

JP1194 1997 Journal Paper Bundy,A; Giunchiglia,F; Villafiorita,F; Walsh,T
Abstract proof checking: an example motivated by an Incompleteness Theorem (RP809)
JP1062 1996 Journal Paper Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
Calculating Criticalities
JP141 1992 Journal Paper Giunchiglia,F; Walsh,T
a Theory of Abstraction

Paper in Conference Proceedings

PP1054 1996 Paper in Conference Proceedings Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
Computing Abstraction Hierarchies by Numerical Simulation
PP188 1992 Paper in Conference Proceedings Walsh,T; Giunchiglia,F
Theories of Abstraction: a Historical Perspective
PP21 1991 Paper in Conference Proceedings Giunchiglia,F; Walsh,T
Using Abstraction
PP8 1991 Paper in Conference Proceedings Basin,D; Traverso,P; Giunchiglia,F
Automatic Meta-Theory Creation and System Extension
PP376 1989 Paper in Conference Proceedings Giunchiglia,F; Walsh,T
Abstract Theorem Proving
PP377 1989 Paper in Conference Proceedings Giunchiglia,F; Walsh,T
Theorem Proving with Definitions

Research Paper

RP807 1996 Research Paper Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
Calculating Criticalities
RP808 1996 Research Paper Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
Computing Abstraction Hierarchies by Numerical Simulation
RP809 1996 Research Paper Bundy,A; Giunchiglia,F; Villafiorti,A; Walsh,T
An Incompleteness Theorem Via Abstraction
RP543 1991 Research Paper Basin,D; Giunchiglia,F; Traverso,P
Automating Meta-Theory Creation and System Extension
RP454 1990 Research Paper Giunchiglia,F; Walsh,T
The Use of Abstraction in Automatic Inference
RP460 1990 Research Paper Giunchiglia,F; Walsh,T
Abstract Theorem Proving: Mapping Back
RP506 1990 Research Paper Bundy,A; Giunchiglia,F; Walsh,T
Building Abstractions
RP514 1990 Research Paper Giunchiglia,F; Walsh,T
Abstracting into Inconsistent Spaces (or, the "False Proof" Problem)
RP515 1990 Research Paper Giunchiglia,F; Walsh,T
Using Abstraction
RP516 1990 Research Paper Giunchiglia,F; Walsh,T
A Theory of Abstraction


[Search These Pages] [DAI Home Page] [Comment]