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