|
|
Edinburgh Research Archive >
Search Results
Results 1-10 of 78.
Item hits:
| Issue Date | Title | Author(s) | Supervisor(s) | | 1984 | Meta-level Inference and Consciousness | Bundy, Alan | - |
| 1993 | General Techniques for Automatic Program Optimization and Synthesis Through Theorem Proving | Madden, P.; Bundy, Alan | - |
| 1991 | Synthesis and Transformation of Logic Programs through Constructive, Inductive Proof | Wiggins, G. A.; Bundy, Alan; Kraan, I.; Hesketh, J. | - |
| 1-Jul-2007 | Dynamic, automatic, first-order ontology repair by diagnosis of failed plan execution | McNeill, Fiona; Bundy, Alan | - |
| 6-Jan-2007 | Cooperating Reasoning Processes: More than Just the Sum of their Parts | Bundy, Alan | - |
| 1977 | Representing Semantic Information In Pulley Problems | Bundy, Alan; Luger, G. | - |
| Dec-1984 | A Generalized Interval Package and its Use for Semantic Checking | Bundy, Alan | - |
| 1993 | `Semantic procedure' is an oxymoron | Bundy, Alan | - |
| Mar-1994 | The New Software Copyright Law | Bundy, Alan; MacQueen, H. | - |
| 3-Feb-2011 | A Small Experiement in Event-b Rippling | Grov, Gudmund,; Bundy, Alan; Dixon, Lucas | - |
1
2
3
4
5
6
7
8
next
|
