nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abduction versus closure in causal theories
|
Konolige, Kurt |
|
1992 |
184-185 |
2-3 |
p. 255-272 18 p. |
artikel |
2 |
A critical examination of Allen's theory of action and time
|
Galton, Antony |
|
1990 |
184-185 |
2-3 |
p. 159-188 30 p. |
artikel |
3 |
A dynamic systems perspective on qualitative simulation
|
Sacks, Elisha |
|
1990 |
184-185 |
2-3 |
p. 349-362 14 p. |
artikel |
4 |
A generic arc-consistency algorithm and its specializations
|
Van Hentenryck, Pascal |
|
1992 |
184-185 |
2-3 |
p. 291-321 31 p. |
artikel |
5 |
All I know: A study in autoepistemic logic
|
Levesque, Hector J. |
|
1990 |
184-185 |
2-3 |
p. 263-309 47 p. |
artikel |
6 |
A logical approach to efficient Max-SAT solving
|
Larrosa, Javier |
|
2008 |
184-185 |
2-3 |
p. 204-233 30 p. |
artikel |
7 |
A logic of knowledge and justified assumptions
|
Lin, Fangzhen |
|
1992 |
184-185 |
2-3 |
p. 271-289 19 p. |
artikel |
8 |
A mathematical treatment of defeasible reasoning and its implementation
|
Simari, Guillermo R. |
|
1992 |
184-185 |
2-3 |
p. 125-157 33 p. |
artikel |
9 |
AND/OR search spaces for graphical models
|
Dechter, Rina |
|
2007 |
184-185 |
2-3 |
p. 73-106 34 p. |
artikel |
10 |
Announcement
|
|
|
1992 |
184-185 |
2-3 |
p. 391- 1 p. |
artikel |
11 |
Announcement
|
|
|
1990 |
184-185 |
2-3 |
p. 407- 1 p. |
artikel |
12 |
Announcement
|
|
|
1992 |
184-185 |
2-3 |
p. 365-366 2 p. |
artikel |
13 |
Announcements
|
|
|
1992 |
184-185 |
2-3 |
p. 399-400 2 p. |
artikel |
14 |
An order-sorted logic for knowledge representation systems
|
Beierle, C. |
|
1992 |
184-185 |
2-3 |
p. 149-191 43 p. |
artikel |
15 |
A parallel approach to syntax for generation
|
Ward, Nigel |
|
1992 |
184-185 |
2-3 |
p. 183-225 43 p. |
artikel |
16 |
Apprentices of wonder: Inside the neural network revolution
|
Kort, Barry |
|
1992 |
184-185 |
2-3 |
p. 343-344 2 p. |
artikel |
17 |
Arc consistency for factorable relations
|
Perlin, Mark |
|
1992 |
184-185 |
2-3 |
p. 329-342 14 p. |
artikel |
18 |
A skeptical theory of inheritance in nonmonotonic semantic networks
|
Horty, John F. |
|
1990 |
184-185 |
2-3 |
p. 311-348 38 p. |
artikel |
19 |
A spectrum of compromise aggregation operators for multi-attribute decision making
|
Luo, Xudong |
|
2007 |
184-185 |
2-3 |
p. 161-184 24 p. |
artikel |
20 |
A symbolic approach to qualitative kinematics
|
Faltings, Boi |
|
1992 |
184-185 |
2-3 |
p. 139-170 32 p. |
artikel |
21 |
A theory of abstraction
|
Giunchiglia, Fausto |
|
1992 |
184-185 |
2-3 |
p. 323-389 67 p. |
artikel |
22 |
Author index — Volume 42, 1990
|
|
|
1990 |
184-185 |
2-3 |
p. 414- 1 p. |
artikel |
23 |
Author index—Volume 56 (1992)
|
|
|
1992 |
184-185 |
2-3 |
p. 403- 1 p. |
artikel |
24 |
Author index—volume 53 (1992)
|
|
|
1992 |
184-185 |
2-3 |
p. 369-370 2 p. |
artikel |
25 |
Author index—Volume 57 (1992)
|
|
|
1992 |
184-185 |
2-3 |
p. 399- 1 p. |
artikel |
26 |
Author index—Volume 55 (1992) Science 338 (Springer, Berlin)
|
|
|
1992 |
184-185 |
2-3 |
p. 387- 1 p. |
artikel |
27 |
Automatic programming of behavior-based robots using reinforcement learning
|
Mahadevan, Sridhar |
|
1992 |
184-185 |
2-3 |
p. 311-365 55 p. |
artikel |
28 |
Automatic scoring of short handwritten essays in reading comprehension tests
|
Srihari, Sargur |
|
2008 |
184-185 |
2-3 |
p. 300-324 25 p. |
artikel |
29 |
A validation-structure-based theory of plan modification and reuse
|
Kambhampati, Subbarao |
|
1992 |
184-185 |
2-3 |
p. 193-258 66 p. |
artikel |
30 |
A world championship caliber checkers program
|
Schaeffer, Jonathan |
|
1992 |
184-185 |
2-3 |
p. 273-289 17 p. |
artikel |
31 |
Axiomatic characterization of the AGM theory of belief revision in a temporal logic
|
Bonanno, Giacomo |
|
2007 |
184-185 |
2-3 |
p. 144-160 17 p. |
artikel |
32 |
Bayesian updating: On the interpretation of exhaustive and mutually exclusive assumptions
|
Lam, F.C. |
|
1992 |
184-185 |
2-3 |
p. 245-254 10 p. |
artikel |
33 |
Belief updating from integrity constraints and queries
|
De Raedt, Luc |
|
1992 |
184-185 |
2-3 |
p. 291-307 17 p. |
artikel |
34 |
Books received
|
|
|
1992 |
184-185 |
2-3 |
p. 361-363 3 p. |
artikel |
35 |
Characterizing diagnoses and systems
|
de Kleer, Johan |
|
1992 |
184-185 |
2-3 |
p. 197-222 26 p. |
artikel |
36 |
Conditional entailment: Bridging two approaches to default reasoning
|
Geffner, Hector |
|
1992 |
184-185 |
2-3 |
p. 209-244 36 p. |
artikel |
37 |
Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence
|
Denœux, Thierry |
|
2008 |
184-185 |
2-3 |
p. 234-264 31 p. |
artikel |
38 |
Contents — Volume 42, 1990
|
|
|
1990 |
184-185 |
2-3 |
p. 415-416 2 p. |
artikel |
39 |
Determining the consistency of partial tree descriptions
|
Bodirsky, Manuel |
|
2007 |
184-185 |
2-3 |
p. 185-196 12 p. |
artikel |
40 |
Editorial Board
|
|
|
2008 |
184-185 |
2-3 |
p. IFC- 1 p. |
artikel |
41 |
Editorial Board
|
|
|
2007 |
184-185 |
2-3 |
p. IFC- 1 p. |
artikel |
42 |
Forthcoming papers
|
|
|
1992 |
184-185 |
2-3 |
p. 367-368 2 p. |
artikel |
43 |
Forthcoming papers
|
|
|
1990 |
184-185 |
2-3 |
p. 409-411 3 p. |
artikel |
44 |
Forthcoming papers
|
|
|
1992 |
184-185 |
2-3 |
p. 393-398 6 p. |
artikel |
45 |
Forthcoming papers
|
|
|
1992 |
184-185 |
2-3 |
p. 401-402 2 p. |
artikel |
46 |
Forthcoming papers
|
|
|
1992 |
184-185 |
2-3 |
p. 385-386 2 p. |
artikel |
47 |
Graphically structured value-function compilation
|
Brafman, Ronen I. |
|
2008 |
184-185 |
2-3 |
p. 325-349 25 p. |
artikel |
48 |
Intention is choice with commitment
|
Cohen, Philip R. |
|
1990 |
184-185 |
2-3 |
p. 213-261 49 p. |
artikel |
49 |
Iterative broadening
|
Ginsberg, Matthew L. |
|
1992 |
184-185 |
2-3 |
p. 367-383 17 p. |
artikel |
50 |
Learning action models from plan examples using weighted MAX-SAT
|
Yang, Qiang |
|
2007 |
184-185 |
2-3 |
p. 107-143 37 p. |
artikel |
51 |
Linear resolution for consequence finding
|
Inoue, Katsumi |
|
1992 |
184-185 |
2-3 |
p. 301-353 53 p. |
artikel |
52 |
MEBN: A language for first-order Bayesian knowledge bases
|
Laskey, Kathryn Blackmond |
|
2008 |
184-185 |
2-3 |
p. 140-178 39 p. |
artikel |
53 |
Multi-agent human–machine dialogue: issues in dialogue management and referring expression semantics
|
Knott, Alistair |
|
2008 |
184-185 |
2-3 |
p. 69-102 34 p. |
artikel |
54 |
Neurocomputing: Foundations of research
|
Jurik, Mark |
|
1992 |
184-185 |
2-3 |
p. 355-359 5 p. |
artikel |
55 |
On the complexity of blocks-world planning
|
Gupta, Naresh |
|
1992 |
184-185 |
2-3 |
p. 223-254 32 p. |
artikel |
56 |
On the complexity of propositional knowledge base revision, updates, and counterfactuals
|
Eiter, Thomas |
|
1992 |
184-185 |
2-3 |
p. 227-270 44 p. |
artikel |
57 |
Phase transition in a random NK landscape model
|
Choi, Sung-Soon |
|
2008 |
184-185 |
2-3 |
p. 179-203 25 p. |
artikel |
58 |
Proceedings of the 1988 connectionist models summer school
|
Goddard, Nigel |
|
1992 |
184-185 |
2-3 |
p. 345-353 9 p. |
artikel |
59 |
Qualitative superposition
|
Coiera, Enrico W. |
|
1992 |
184-185 |
2-3 |
p. 171-196 26 p. |
artikel |
60 |
Quantitative results concerning the utility of explanation-based learning
|
Minton, Steven |
|
1990 |
184-185 |
2-3 |
p. 363-391 29 p. |
artikel |
61 |
Real-time heuristic search
|
Korf, Richard E. |
|
1990 |
184-185 |
2-3 |
p. 189-211 23 p. |
artikel |
62 |
Reasoning about model accuracy
|
Weld, Daniel S. |
|
1992 |
184-185 |
2-3 |
p. 255-300 46 p. |
artikel |
63 |
Redundancy in logic II: 2CNF and Horn propositional formulae
|
Liberatore, Paolo |
|
2008 |
184-185 |
2-3 |
p. 265-299 35 p. |
artikel |
64 |
Resolving ambiguity in nonmonotonic inheritance hierarchies
|
Stein, Lynn Andrea |
|
1992 |
184-185 |
2-3 |
p. 259-310 52 p. |
artikel |
65 |
State-set branching: Leveraging BDDs for heuristic search
|
Jensen, Rune M. |
|
2008 |
184-185 |
2-3 |
p. 103-139 37 p. |
artikel |
66 |
The complexity of existential quantification in concept languages
|
Donini, Francesco M. |
|
1992 |
184-185 |
2-3 |
p. 309-327 19 p. |
artikel |
67 |
The computational complexity of probabilistic inference using bayesian belief networks
|
Cooper, Gregory F. |
|
1990 |
184-185 |
2-3 |
p. 393-405 13 p. |
artikel |
68 |
The emperor's real mind: Review of Roger Penrose's the emperor's new mind: Concerning computers, minds and the laws of physics
|
Sloman, Aaron |
|
1992 |
184-185 |
2-3 |
p. 355-396 42 p. |
artikel |
69 |
Theory and algorithms for plan merging
|
Foulser, David E. |
|
1992 |
184-185 |
2-3 |
p. 143-181 39 p. |
artikel |
70 |
The roles of associational and causal reasoning in problem solving
|
Simmons, Reid G. |
|
1992 |
184-185 |
2-3 |
p. 159-207 49 p. |
artikel |
71 |
Use of the Gibbs sampler in expert systems
|
York, Jeremy |
|
1992 |
184-185 |
2-3 |
p. 397-398 2 p. |
artikel |