Skip navigation
Statistics
Help
About OPUS
How to Deposit
Managing Copyright
Browse
UTS Organisational Groups
Browse Items by:
Issue Date
Author
Title
Type
ARC/NHRMC Funded
Search OPUS
OPUS at UTS
Browsing byAuthorWolter, D
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:
title
issue date
submit date
ARC/NHRMC funded
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 2 to 4 of 4
< previous
Issue Date
Title
Author(s)
2013-12-01
StarVars-effective reasoning about relative directions
Lee, JH
;
Renz, J
;
Wolter, D
2017-04-01
A survey of qualitative spatial and temporal calculi: Algebraic and computational properties
Dylla, F
;
Lee, JH
;
Mossakowski, T
;
Schneider, T
;
Van Delden, A
;
Van De Ven, J
;
Wolter, D
2013
Towards Safe Navigation by Formalizing Navigation Rules
Kreutzmann, A
;
Wolter, D
;
Dylla, F
;
Lee, JH