nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A logic programming approach to knowledge-state planning, II: The DLV K system
|
Eiter, Thomas |
|
2003 |
144 |
1-2 |
p. 157-211 55 p. |
artikel |
2 |
A relevance restriction strategy for automated deduction
|
Plaisted, David A |
|
2003 |
144 |
1-2 |
p. 59-93 35 p. |
artikel |
3 |
Author Index—Volume 144 (2003)
|
|
|
2003 |
144 |
1-2 |
p. 269-270 2 p. |
artikel |
4 |
Developing reproducible and comprehensible computational models
|
Lane, Peter C.R. |
|
2003 |
144 |
1-2 |
p. 251-263 13 p. |
artikel |
5 |
Editorial Board
|
|
|
2003 |
144 |
1-2 |
p. IFC- 1 p. |
artikel |
6 |
Evaluating the effect of semi-normality on the expressiveness of defaults
|
Janhunen, Tomi |
|
2003 |
144 |
1-2 |
p. 233-250 18 p. |
artikel |
7 |
Forthcoming Papers
|
|
|
2003 |
144 |
1-2 |
p. 265-268 4 p. |
artikel |
8 |
Knowledge, action, and the frame problem
|
Scherl, Richard B. |
|
2003 |
144 |
1-2 |
p. 1-39 39 p. |
artikel |
9 |
Lessons from a failure: Generating tailored smoking cessation letters
|
Reiter, Ehud |
|
2003 |
144 |
1-2 |
p. 41-58 18 p. |
artikel |
10 |
On market-inspired approaches to propositional satisfiability
|
Walsh, William E |
|
2003 |
144 |
1-2 |
p. 125-156 32 p. |
artikel |
11 |
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
|
Bulitko, Vadim |
|
2003 |
144 |
1-2 |
p. 95-124 30 p. |
artikel |
12 |
Robustness of regional matching scheme over global matching scheme
|
Chen, Liang |
|
2003 |
144 |
1-2 |
p. 213-232 20 p. |
artikel |