|
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
|
| CB187
| 1994 Chapter in Edited Book
| Walsh,T
|
| Creative Proof Planning
|
| 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
|
| JP142
| 1993 Journal Paper
| Giunchiglia,F; Walsh,T
|
| the Inevitability of Inconsistent Abstract Spaces
|
| JP683
| 1993 Journal Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in GSAT
|
| JP141
| 1992 Journal Paper
| Giunchiglia,F; Walsh,T
|
| a Theory of Abstraction
|
| JP503
| 1990 Journal Paper
| Guinchiglia,F; Walsh,T
|
| Abstraction in AI
|
| Paper in Conference Proceedings
|
| PP1054
| 1996 Paper in Conference Proceedings
| Bundy,A; Giunchiglia,F; Sebastiani,R; Walsh,T
|
| Computing Abstraction Hierarchies by Numerical Simulation
|
| PP742
| 1994 Paper in Conference Proceedings
| Yoshida,T; Green,I; Walsh,T; Basin,D; Bundy,A
|
| Coloured Rippling: An Extension of a Theorem Proving Heuristic
|
| PP682
| 1993 Paper in Conference Proceedings
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-climbing Procedures for SAT
|
| PP118
| 1992 Paper in Conference Proceedings
| Basin,D; Walsh,T
|
| Difference Matching
|
| PP143
| 1992 Paper in Conference Proceedings
| Giunchiglia,G; Walsh,T
|
| Tree Subsumption: Reasoning with Outlines
|
| PP185
| 1992 Paper in Conference Proceedings
| Walsh,T; Nunes,A; Bundy,A
|
| the Use of Proof Plans to Sum Series
|
| PP188
| 1992 Paper in Conference Proceedings
| Walsh,T; Giunchiglia,F
|
| Theories of Abstraction: a Historical Perspective
|
| PP236
| 1992 Paper in Conference Proceedings
| Bundy,A; Walsh,T; Nunes,A
|
| the Use of Proof Plans to Sum Series
|
| PP21
| 1991 Paper in Conference Proceedings
| Giunchiglia,F; Walsh,T
|
| Using Abstraction
|
| PP504
| 1990 Paper in Conference Proceedings
| Guinchiglia,F; Walsh,T
|
| the Use of Abstraction in Automatic Inference
|
| 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
|
| PhD Thesis
|
| PT9027
| 1990 PhD Thesis
| Walsh,T
|
| A Theory of Abstraction
|
| Research Paper
|
| RP920
| 1998 Research Paper
| Bundy,A; Colton,SG; Walsh,T
|
| HR - A System for Machine Discovery in Finite Algebras
|
| 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
|
| RP779
| 1995 Research Paper
| Yoshida,T; Bundy,A; Green,I; Walsh,T; Basin,D
|
| Coloured Rippling: an Extension of a Theorem Proving Heuristic
|
| RP679
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Sat Phase Transition
|
| RP680
| 1994 Research Paper
| Gent,I; Walsh,T
|
| The Hardest Random Sat Problems
|
| RP714
| 1994 Research Paper
| Gent,I; Walsh,T
|
| How not to do it
|
| RP721
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Unsatisfied Variables in Local Search
|
| RP724
| 1994 Research Paper
| Gent,I; Walsh,T
|
| Computational Phase Transitions in Real Problems
|
| RP614
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Towards an Understanding of Hill-Climbing Procedures for Sat
|
| RP634
| 1993 Research Paper
| Gent,I; Walsh,T
|
| An Empirical Analysis of Search in Gsat
|
| RP642
| 1993 Research Paper
| Gent,I; Walsh,T
|
| Easy Problems are Sometimes Hard
|
| RP605
| 1992 Research Paper
| Gent,I; Walsh,T
|
| The Enigma of Sat Hill-Climbing Procedures
|
| RP556
| 1991 Research Paper
| Basin,D; Walsh,T
|
| Difference Matching
|
| RP563
| 1991 Research Paper
| Walsh,T; Nunes,A; Bundy,A
|
| The Use of Proof Plans to Sum Series
|
| 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]](http://www.dai.ed.ac.uk/icons/dai_search.gif){kind=icon}
![[DAI Home Page]](http://www.dai.ed.ac.uk/icons/dai_home.gif){kind=icon}
![[Comment]](http://www.dai.ed.ac.uk/icons/dai_comment.gif){kind=icon}