-
1
-
2
-
3
Towards a practical theory of reformulation for reasoning about physical systems
Veröffentlicht in Artificial intelligence
VolltextArtikel -
4
An efficient consistency algorithm for the Temporal Constraint Satisfaction Problem
Veröffentlicht in Ai communications
VolltextArtikel -
5
-
6
-
7
-
8
-
9
-
10
-
11
-
12
-
13
Symposium on Abstraction, Reformulation, and Approximation (SARA‐2000)
Veröffentlicht in The AI magazine
VolltextArtikel -
14
-
15
-
16
-
17
-
18
-
19
-
20