nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A high-performance explanation-based learning algorithm
|
Segre, Alberto |
|
1994 |
69 |
1-2 |
p. 1-50 50 p. |
artikel |
2 |
Anytime deduction for probabilistic logic
|
Frisch, Alan M. |
|
1994 |
69 |
1-2 |
p. 93-122 30 p. |
artikel |
3 |
Author index—Volume 69 (1994)
|
|
|
1994 |
69 |
1-2 |
p. 415-416 2 p. |
artikel |
4 |
Bidirectional context-free grammar parsing for natural language processing
|
Satta, Giorgio |
|
1994 |
69 |
1-2 |
p. 123-164 42 p. |
artikel |
5 |
Cumulative default logic: Finite characterization, algorithms, and complexity
|
Gottlob, Georg |
|
1994 |
69 |
1-2 |
p. 329-345 17 p. |
artikel |
6 |
Default theories that always have extensions
|
Papadimitriou, Christos H. |
|
1994 |
69 |
1-2 |
p. 347-357 11 p. |
artikel |
7 |
Editorial Board
|
|
|
1994 |
69 |
1-2 |
p. IFC- 1 p. |
artikel |
8 |
Extracting and representing qualitative behaviors of complex systems in phase space
|
Zhao, Feng |
|
1994 |
69 |
1-2 |
p. 51-92 42 p. |
artikel |
9 |
Forthcoming papers
|
|
|
1994 |
69 |
1-2 |
p. 411-413 3 p. |
artikel |
10 |
Iterative versionspaces
|
Sablon, Gunther |
|
1994 |
69 |
1-2 |
p. 393-409 17 p. |
artikel |
11 |
Learning Boolean concepts in the presence of many irrelevant features
|
Almuallim, Hussein |
|
1994 |
69 |
1-2 |
p. 279-305 27 p. |
artikel |
12 |
Local consistency in parallel constraint satisfaction networks
|
Kasif, Simon |
|
1994 |
69 |
1-2 |
p. 307-327 21 p. |
artikel |
13 |
Multi-contributor causal structures for planning: a formalization and evaluation
|
Kambhampati, Subbarao |
|
1994 |
69 |
1-2 |
p. 235-278 44 p. |
artikel |
14 |
Problem solving by searching for models with a theorem prover
|
Lee, Shie-Jue |
|
1994 |
69 |
1-2 |
p. 205-233 29 p. |
artikel |
15 |
The computational complexity of propositional STRIPS planning
|
Bylander, Tom |
|
1994 |
69 |
1-2 |
p. 165-204 40 p. |
artikel |
16 |
The hardest constraint problems: A double phase transition
|
Hogg, Tad |
|
1994 |
69 |
1-2 |
p. 359-377 19 p. |
artikel |
17 |
Two counterexamples related to Baker's approach to the frame problem
|
Kartha, G.Neelakantan |
|
1994 |
69 |
1-2 |
p. 379-391 13 p. |
artikel |