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