no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
1 |
Annotated revision programs
|
Marek, Victor |
|
2002 |
138 |
1-2 |
p. 149-180 32 p. |
article |
2 |
Answer set programming and plan generation
|
Lifschitz, Vladimir |
|
2002 |
138 |
1-2 |
p. 39-54 16 p. |
article |
3 |
Author Index—Volume 138 (2002)
|
|
|
2002 |
138 |
1-2 |
p. 239- 1 p. |
article |
4 |
Extending and implementing the stable model semantics
|
Simons, Patrik |
|
2002 |
138 |
1-2 |
p. 181-234 54 p. |
article |
5 |
Fixed-parameter complexity in AI and nonmonotonic reasoning
|
Gottlob, Georg |
|
2002 |
138 |
1-2 |
p. 55-86 32 p. |
article |
6 |
Forthcoming Papers
|
|
|
2002 |
138 |
1-2 |
p. 235-237 3 p. |
article |
7 |
Knowledge Representation and Logic Programming
|
Gelfond, Michael |
|
2002 |
138 |
1-2 |
p. 1- 1 p. |
article |
8 |
Logic programming and knowledge representation—The A-Prolog perspective
|
Gelfond, Michael |
|
2002 |
138 |
1-2 |
p. 3-38 36 p. |
article |
9 |
LUPS—A language for updating logic programs
|
Alferes, José Júlio |
|
2002 |
138 |
1-2 |
p. 87-116 30 p. |
article |
10 |
Preference Logic Grammars: Fixed point semantics and application to data standardization
|
Cui, Baoqiu |
|
2002 |
138 |
1-2 |
p. 117-147 31 p. |
article |