Edinburgh Research Archive
Search ERA
Advanced Search
Home
Browse
Communities
& Collections
Issue Date
Author
Title
Subject
Publication Type
Sign on to:
Receive email
updates
My ERA
authorized users
Edit Profile
Help
About DSpace
Edinburgh Research Archive
>
Browsing by Author Bundy, Alan
Jump to:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
or enter first few letters:
Sort by:
submit date
title
issue date
In order:
Ascending
Descending
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Authors/Record:
All
1
5
10
15
20
25
30
35
40
45
50
Showing results 66 to 73 of 73
< previous
Issue Date
Title
Author(s)
Supervisor(s)
May-1988
The Use of Explicit Plans to Guide Inductive Proofs
Bundy, Alan
-
Jul-1989
The Use of Prolog for Improving the Rigour and Accessibility of Ecological Modelling
Bundy, Alan; Muetzelfeldt, R.; Robertson, D.; Uschold, M.
-
1992
The Use of Proof Plans to Sum Series
Walsh, T.; Nunes, A.; Bundy, Alan
-
Jul-2005
Using Diagrammatic Reasoning for Theorem Proving in a Continuous Domain
Winterstein, Daniel
Bundy, Alan; Gurr, Corin; Jamnik, Mateja
Jul-2000
Using Expressive and Flexible Action Representations to Reason about Capabilties for Intelligent Agent Cooperation
Wickler, Gerhard
Tate, Austin; Bundy, Alan; Pryor, Louise; Richardson, Julian; Drabble, Brian
2009
Veriļ¬ed Planning by Deductive Synthesis in Intuitionistic Linear Logic
Dixon, L.; Bundy, Alan; Smaill, A.
-
Mar-1982
What Is The Well-Dressed AI Educator Wearing Now?
Bundy, Alan
-
Apr-1978
Will It Reach the Top? Prediction in the Mechanics World.
Bundy, Alan
-
Showing results 66 to 73 of 73
< previous
DSpace Software
Copyright © 2002-2010
Duraspace
-
Feedback
