|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A continuum of discrete systems |
Howard A. Blair |
1997 |
21 | 2 |
p. 153-186 34 p. |
artikel |
|
| 2 | An ordering on subgoals for planning |
Fangzhen Lin |
1997 |
21 | 2 |
p. 321-342 22 p. |
artikel |
|
| 3 | A procedural semantics for stratified database updates |
Weidong Chen |
1997 |
21 | 2 |
p. 187-220 34 p. |
artikel |
|
| 4 | Fixed point theorems in logic programming |
Mohamed A. Khamsi |
1997 |
21 | 2 |
p. 231-243 13 p. |
artikel |
|
| 5 | Introduction: Logic programming, non-monotonicreasoning and reasoning about actions |
Chitta Baral |
1997 |
21 | 2 |
p. 129-129 1 p. |
artikel |
|
| 6 | Logic programming and software maintenance |
Daniel Cooke |
1997 |
21 | 2 |
p. 221-229 9 p. |
artikel |
|
| 7 | Parallel symbolic computation in ACE |
Enrico Pontelli |
1997 |
21 | 2 |
p. 359-395 37 p. |
artikel |
|
| 8 | Relating logic programming theories of actions and partial order planning |
Chitta Baral |
1997 |
21 | 2 |
p. 131-151 21 p. |
artikel |
|
| 9 | Representation theory for default logic |
V. Wiktor Marek |
1997 |
21 | 2 |
p. 343-358 16 p. |
artikel |
|
| 10 | Representing and reasoning about concurrent actions with abductive logic programs |
Renwei Li |
1997 |
21 | 2 |
p. 245-303 59 p. |
artikel |
|
| 11 | Scheduling in the situation calculus A case study |
Ray Reiter |
1997 |
21 | 2 |
p. 397-421 25 p. |
artikel |
|
| 12 | Two components of an action language |
Vladimir Lifschitz |
1997 |
21 | 2 |
p. 305-320 16 p. |
artikel |
12 gevonden resultaten