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
 
                             333 results found
no title author magazine year volume issue page(s) type
1 A blackboard architecture for control Hayes-Roth, Barbara
1985
199-200 3 p. 251-321
71 p.
article
2 Abstract minimality and circumscription Liau, Churn Jung
1992
199-200 3 p. 381-396
16 p.
article
3 A chess combination program which uses plans Pitrat, Jacques
1977
199-200 3 p. 275-321
47 p.
article
4 A common representation for problem-solving and language-comprehension information Charniak, Eugene
1981
199-200 3 p. 225-255
31 p.
article
5 A comparative study of several proof procedures Bibel, Wolfgang
1982
199-200 3 p. 269-293
25 p.
article
6 A four-valued semantics for terminological logics Patel-Schneider, Peter F.
1989
199-200 3 p. 319-351
33 p.
article
7 A general framework for reason maintenance McDermott, Drew
1991
199-200 3 p. 289-329
41 p.
article
8 A guide to completeness and complexity for modal logics of knowledge and belief Halpern, Joseph Y.
1992
199-200 3 p. 319-379
61 p.
article
9 A logic to reason about likelihood Halpern, Joseph Y.
1987
199-200 3 p. 379-405
27 p.
article
10 am: A case study in AI methodology Ritchie, G.D.
1984
199-200 3 p. 249-268
20 p.
article
11 A method for managing evidential reasoning in a hierarchical hypothesis space Gordon, Jean
1985
199-200 3 p. 323-357
35 p.
article
12 Analog retrieval by constraint satisfaction Thagard, Paul
1990
199-200 3 p. 259-310
52 p.
article
13 Analyzing intention in utterances Allen, James F.
1980
199-200 3 p. 143-178
36 p.
article
14 An analysis of first-order logics of probability Halpern, Joseph Y.
1990
199-200 3 p. 311-350
40 p.
article
15 An artificial intelligence approach to language instruction Weischedel, Ralph M.
1978
199-200 3 p. 225-240
16 p.
article
16 An efficient method for eliminating varying predicates from a circumscription Cadoli, Marco
1992
199-200 3 p. 397-410
14 p.
article
17 A new approach to the symbolic factorization of multivariate polynomials Claybrook, Billy G.
1976
199-200 3 p. 203-241
39 p.
article
18 A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains Wos, L.
1984
199-200 3 p. 303-356
54 p.
article
19 An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning Brown, Frank Malloy
1980
199-200 3 p. 221-242
22 p.
article
20 An investigation of the causes of pathology in games Nau, Dana S.
1982
199-200 3 p. 257-278
22 p.
article
21 Announcement 1990
199-200 3 p. 397-403
7 p.
article
22 Announcement 1990
199-200 3 p. 385-
1 p.
article
23 Announcement 1989
199-200 3 p. 403-404
2 p.
article
24 Announcement 1978
199-200 3 p. 272-
1 p.
article
25 Announcement and call for papers 1974
199-200 3 p. 324-
1 p.
article
26 Announcements 1990
199-200 3 p. 375-377
3 p.
article
27 Announcements 1989
199-200 3 p. 379-381
3 p.
article
28 Announcements 1988
199-200 3 p. 415-420
6 p.
article
29 Announcements 1991
199-200 3 p. 345-356
12 p.
article
30 Announcements 1988
199-200 3 p. 397-404
8 p.
article
31 Announcements 1988
199-200 3 p. 417-422
6 p.
article
32 Announcements 1990
199-200 3 p. 377-390
14 p.
article
33 Announcements 1990
199-200 3 p. 377-393
17 p.
article
34 Announcements 1980
199-200 3 p. 317-318
2 p.
article
35 Announcements 1974
199-200 3 p. 323-
1 p.
article
36 A note on “creativity and learning in a case-based explainer” Gentner, Dedre
1990
199-200 3 p. 373-375
3 p.
article
37 A parallel network that learns to play backgammon Tesauro, G.
1989
199-200 3 p. 357-390
34 p.
article
38 A polymorphic type system for prolog Mycroft, Alan
1984
199-200 3 p. 295-307
13 p.
article
39 A powerful and efficient structural pattern recognition system Cohen, Brian L.
1977
199-200 3 p. 223-255
33 p.
article
40 Artificial intelligence abstracts 1987
199-200 3 p. 414-415
2 p.
article
41 Artificial intelligence and automatic programming in CAI Koffman, Elliot B.
1975
199-200 3 p. 215-234
20 p.
article
42 Artificial intelligence and natural man Brady, J.M.
1978
199-200 3 p. 267-269
3 p.
article
43 Artificial intelligence: a paper symposium McCarthy, John
1974
199-200 3 p. 317-322
6 p.
article
44 Artificial intelligence applications for business management Stefik, Mark
1986
199-200 3 p. 345-348
4 p.
article
45 Artificial intelligence applications for business (Proceedings of the NYU symposium, May, 1983) Stefik, Mark
1986
199-200 3 p. 345-348
4 p.
article
46 Artificial intelligence: The very idea Vellino, André
1986
199-200 3 p. 349-353
5 p.
article
47 Artificial intelligence — Where are we? Bobrow, Daniel G.
1985
199-200 3 p. 375-415
41 p.
article
48 A search algorithm for motion planning with six degrees of freedom Donald, Bruce R.
1987
199-200 3 p. 295-353
59 p.
article
49 A society of ideas on cognition Dyer, Michael G.
1991
199-200 3 p. 321-334
14 p.
article
50 A syntactic theory of belief and action Haas, Andrew R.
1986
199-200 3 p. 245-292
48 p.
article
51 A theory of Origami world Kanade, Takeo
1980
199-200 3 p. 279-311
33 p.
article
52 A truth maintenance system Doyle, Jon
1979
199-200 3 p. 231-272
42 p.
article
53 Austrian meeting on artificial intelligence 1987
199-200 3 p. 411-412
2 p.
article
54 Author index 1979
199-200 3 p. 302-
1 p.
article
55 Author index 1978
199-200 3 p. ii-
1 p.
article
56 Author index 1977
199-200 3 p. 374-
1 p.
article
57 Author index 1980
199-200 3 p. 324-
1 p.
article
58 Author index—Volume 52 (1991) 1991
199-200 3 p. 359-360
2 p.
article
59 Author index — Volume 19, 1982 1982
199-200 3 p. 354-
1 p.
article
60 Author index — Volume 41, 1989/90 1990
199-200 3 p. 384-
1 p.
article
61 Author index — Volume 32 1987
199-200 3 p. ii-
1 p.
article
62 Author index—Volume 18 1982
199-200 3 p. 376-
1 p.
article
63 Author index — Volume 38 1989
199-200 3 p. 386-
1 p.
article
64 Author index - volume 29, 1986 1986
199-200 3 p. 362-
1 p.
article
65 Author index — Volume 22, 1984 1984
199-200 3 p. 362-
1 p.
article
66 Author index — Volume 35, 1988 1988
199-200 3 p. 426-
1 p.
article
67 Author index — Volume 33, 1987 1987
199-200 3 p. 422-
1 p.
article
68 Author index - volume 28, 1986 1986
199-200 3 p. 358-
1 p.
article
69 Author index — Volume 25 1985
199-200 3 p. 420-
1 p.
article
70 Author index - Volume 34, 1988 1988
199-200 3 p. 408-
1 p.
article
71 Author index — Volume 45, 1990 1990
199-200 3 p. 410-
1 p.
article
72 Author index — Volume 44, 1990 1990
199-200 3 p. 398-
1 p.
article
73 Author index — Volume 39, 1989 1989
199-200 3 p. 410-
1 p.
article
74 Author index—Volume 50 (1991) 1991
199-200 3 p. 403-404
2 p.
article
75 Author index—Volume 54 (1992) 1992
199-200 3 p. 417-
1 p.
article
76 Author index - Volume 31, 1987 1987
199-200 3 p. 410-
1 p.
article
77 Author index — Volume 26 1985
199-200 3 p. 371-372
2 p.
article
78 Author index — Volume 43, 1990 1990
199-200 3 p. 390-
1 p.
article
79 Author index — Volume 30, 1986 1986
199-200 3 p. 402-
1 p.
article
80 Author index — Volume 27, 1985 1985
199-200 3 p. 370-
1 p.
article
81 Author index — volume 46, 1990 1990
199-200 3 p. 396-
1 p.
article
82 Author index — Volume 23, 1984 1984
199-200 3 p. 358-
1 p.
article
83 Author index—Volume 14, 1980 1980
199-200 3 p. 320-
1 p.
article
84 Author index — Volume 15, 1980 1980
199-200 3 p. 258-
1 p.
article
85 Author index—Volume 10, 1978 1978
199-200 3 p. 322-
1 p.
article
86 Author index volume 9 1977
199-200 3 p. 318-320
3 p.
article
87 Author index—Volume 48 (1991)information retrieval 1991
199-200 3 p. 401-402
2 p.
article
88 Author index — Volume 36, 1988 volume 36 1988
199-200 3 p. 425-426
2 p.
article
89 Author's query Kanter, NancyJ.
1980
199-200 3 p. 315-
1 p.
article
90 Automated analysis of instructional text Norton, Lewis M.
1983
199-200 3 p. 307-344
38 p.
article
91 Automatic qualitative analysis of dynamic systems using piecewise linear approximations Sacks, Elisha
1990
199-200 3 p. 313-364
52 p.
article
92 Awards: IJCAI-87 International joint conference on artificial intelligence 1986
199-200 3 p. 395-397
3 p.
article
93 A world-championship-level Othello program Rosenbloom, Paul S.
1982
199-200 3 p. 279-320
42 p.
article
94 Bayesian and non-bayesian evidential updating Kyburg Jr., Henry E.
1987
199-200 3 p. 271-293
23 p.
article
95 Books received 1989
199-200 3 p. 401-402
2 p.
article
96 Books received 1985
199-200 3 p. 351-
1 p.
article
97 Books received 1987
199-200 3 p. 397-398
2 p.
article
98 Books received 1990
199-200 3 p. 393-395
3 p.
article
99 Books received 1988
199-200 3 p. 413-414
2 p.
article
100 Books received 1992
199-200 3 p. 411-413
3 p.
article
101 Books received 1991
199-200 3 p. 341-343
3 p.
article
102 Books received 1988
199-200 3 p. 415-416
2 p.
article
103 Branching and pruning: An optimal temporal POCL planner based on constraint programming Vidal, Vincent
2006
199-200 3 p. 298-335
38 p.
article
104 Call for papers: AI '87 Australian joint artificial intelligence conference 1987
199-200 3 p. 412-413
2 p.
article
105 Call for papers: Applications of Artificial Intelligence the Annual Society of Photo-Optical Instrumentation Engineers Conference 1983
199-200 3 p. 361-362
2 p.
article
106 Call for papers COLING 82: The ninth conference on computational linguistics 1981
199-200 3 p. 363-
1 p.
article
107 Call for papers: COLING '88 twelfth international conference on computational linguistics 1987
199-200 3 p. 413-414
2 p.
article
108 Call for papers: Conference on theoretical aspects of reasoning about knowledge 1985
199-200 3 p. 367-368
2 p.
article
109 Call for papers: CSCSI-86 Canadian artificial intelligence conference 1985
199-200 3 p. 365-
1 p.
article
110 Call for papers: First international symposium on medical imaging and image interpretation 1982
199-200 3 p. 373-374
2 p.
article
111 Call for papers: Fourth annual international SIGIR conference 1980
199-200 3 p. 255-
1 p.
article
112 Call for papers: IJCAI-87 International joint conference on artificial intelligence 1986
199-200 3 p. 393-395
3 p.
article
113 Call for papers: International conference on information processing and management of uncertainty in knowledge-based systems 1985
199-200 3 p. 363-365
3 p.
article
114 Call for papers: 1987 International pragmatics conference (IPC) 1986
199-200 3 p. 353-354
2 p.
article
115 Call for papers: International symposium on fuzzy information processing in artificial intelligence and operational research 1984
199-200 3 p. 357-358
2 p.
article
116 Call for papers: SPUDM11 eleventh research conference on subjective probability utility and decision making 1987
199-200 3 p. 403-405
3 p.
article
117 Chronological ignorance: Experiments in nonmonotonic temporal reasoning Shoham, Yoav
1988
199-200 3 p. 279-331
53 p.
article
118 Cognitive psychology Smith, Edward E.
1985
199-200 3 p. 247-253
7 p.
article
119 Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intelligence 8 (1977) 323–364 Hewitt, C.
1978
199-200 3 p. 317-318
2 p.
article
120 Comparative analysis Weld, Daniel S.
1988
199-200 3 p. 333-373
41 p.
article
121 Completeness results for inequality provers Bledsoe, W.W.
1985
199-200 3 p. 255-288
34 p.
article
122 Computational complexity of terminological reasoning in BACK Nebel, Bernhard
1988
199-200 3 p. 371-383
13 p.
article
123 Computational semantics Reiter, Raymond
1977
199-200 3 p. 365-372
8 p.
article
124 Computation and cognition: Toward a foundation for cognitive science Ward, Nigel
1987
199-200 3 p. 415-417
3 p.
article
125 Computations underlying the measurement of visual motion Hildreth, Ellen C.
1984
199-200 3 p. 309-354
46 p.
article
126 Computer culture: The scientific, intellectual, and social impact of the computer, annals of the New York Academy of Sciences Lougee, Michael
1987
199-200 3 p. 400-401
2 p.
article
127 Computer models of thought and language Uhr, Leonard
1975
199-200 3 p. 289-292
4 p.
article
128 Conspiracy numbers for min-max search McAllester, David Allen
1988
199-200 3 p. 287-310
24 p.
article
129 Constraint partitioning in penalty formulations for solving temporal planning problems Wah, Benjamin W.
2006
199-200 3 p. 187-231
45 p.
article
130 Constraint propagation with interval labels Davis, Ernest
1987
199-200 3 p. 281-331
51 p.
article
131 Constraint satisfaction from a deductive viewpoint Bibel, W.
1988
199-200 3 p. 401-413
13 p.
article
132 Content reference: Reasoning about rules Davis, Randall
1980
199-200 3 p. 223-239
17 p.
article
133 Contents 1978
199-200 3 p. iii-iv
nvt p.
article
134 Contents 1977
199-200 3 p. 375-376
2 p.
article
135 Contents 1979
199-200 3 p. 303-304
2 p.
article
136 Contents — Volume 30, 1986 1986
199-200 3 p. 403-404
2 p.
article
137 Contents — Volume 35, 19881988 1988
199-200 3 p. 427-428
2 p.
article
138 Contents — Volume 19, 1982 1982
199-200 3 p. 355-356
2 p.
article
139 Contents—Volume 18 1982 1982
199-200 3 p. 377-378
2 p.
article
140 Contents — Volume 22, 1984 1984
199-200 3 p. 363-364
2 p.
article
141 Contents — Volume 39, 1989 1989
199-200 3 p. 411-412
2 p.
article
142 Contents — Volume 41, 1989/909/90 1990
199-200 3 p. 385-386
2 p.
article
143 Contents - volume 29, 1986 1986
199-200 3 p. 363-364
2 p.
article
144 Contents - Volume 34, 1988 1988
199-200 3 p. 409-410
2 p.
article
145 Contents — Volume 26 1985 1985
199-200 3 p. 373-374
2 p.
article
146 Contents — Volume 44, 1990 1990
199-200 3 p. 399-400
2 p.
article
147 Contents — Volume 27, 1985 1985
199-200 3 p. 371-372
2 p.
article
148 Contents — Volume 45, 19901990 1990
199-200 3 p. 411-412
2 p.
article
149 Contents - Volume 31, 1987 1987
199-200 3 p. 411-412
2 p.
article
150 Contents — Volume 33, 1987 1987
199-200 3 p. 423-424
2 p.
article
151 Contents — Volume 23, 19841984 1984
199-200 3 p. 359-360
2 p.
article
152 Contents - volume 28 1986 1986
199-200 3 p. 359-360
2 p.
article
153 Contents — Volume 25 1985
199-200 3 p. 421-422
2 p.
article
154 Contents — Volume 38, 1989 1989
199-200 3 p. 387-388
2 p.
article
155 Contents — volume 46, 1990 1990
199-200 3 p. 397-398
2 p.
article
156 Contents — Volume 43, 1990 1990
199-200 3 p. 391-392
2 p.
article
157 Contents — Volume 16, 1981 1981
199-200 3 p. i-ii
nvt p.
article
158 Contents — Volume 36, 1988 1988
199-200 3 p. 427-428
2 p.
article
159 Contents — volume 13, 1980 1980
199-200 3 p. 325-326
2 p.
article
160 Contents—Volume 14, 19801980 1980
199-200 3 p. 321-322
2 p.
article
161 Contents—Volume 10, 1978 1978
199-200 3 p. 323-324
2 p.
article
162 Contents — Volume 15 1980at the Claremont Hotel in Berkeley, CA, U.S.A. 1980
199-200 3 p. 259-260
2 p.
article
163 Contents — Volume 32, 1987racts 1987
199-200 3 p. iii-iv
nvt p.
article
164 Controlling recursive inference Smith, David E.
1986
199-200 3 p. 343-389
47 p.
article
165 Corrigendum 1976
199-200 3 p. 283-
1 p.
article
166 Counterplanning: A strategy-based model of adversary planning in real-world situations Carbonell, Jaime G.
1981
199-200 3 p. 295-329
35 p.
article
167 Default reasoning in semantic networks: A formalization of recognition and inheritance Shastri, Lokendra
1989
199-200 3 p. 283-355
73 p.
article
168 Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks Pereira, Fernando C.N.
1980
199-200 3 p. 231-278
48 p.
article
169 Domain-independent planning Representation and plan generation Wilkins, David E.
1984
199-200 3 p. 269-301
33 p.
article
170 Editorial Board 2006
199-200 3 p. CO2-
1 p.
article
171 Eliminating the fixed predicates from a circumscription de Kleer, Johan
1989
199-200 3 p. 391-398
8 p.
article
172 Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition Dechter, Rina
1990
199-200 3 p. 273-312
40 p.
article
173 Errata 1988
199-200 3 p. 395-
1 p.
article
174 Erratum 1989
199-200 3 p. 399-
1 p.
article
175 Erratum 1978
199-200 3 p. 319-
1 p.
article
176 Estimation of surface topography from SAR imagery using shape from shading techniques Frankot, Robert T.
1990
199-200 3 p. 271-310
40 p.
article
177 Exaggeration Weld, Daniel S.
1990
199-200 3 p. 311-368
58 p.
article
178 Experiments in interpretation-guided segmentation Tenenbaum, J.M.
1977
199-200 3 p. 241-274
34 p.
article
179 Explanation-based generalisation = partial evaluation van Harmelen, Frank
1988
199-200 3 p. 401-412
12 p.
article
180 First Spanish meeting on artificial intelligence for databases 1985
199-200 3 p. 367-
1 p.
article
181 Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques Lamperti, Gianfranco
2006
199-200 3 p. 232-297
66 p.
article
182 Forthcoming paper 1990
199-200 3 p. 405-408
4 p.
article
183 Forthcoming paper 1984
199-200 3 p. 359-360
2 p.
article
184 Forthcoming paper 1984
199-200 3 p. 355-
1 p.
article
185 Forthcoming papers 1986
199-200 3 p. 359-
1 p.
article
186 Forthcoming papers 1991
199-200 3 p. 397-402
6 p.
article
187 Forthcoming papers 1992
199-200 3 p. 415-416
2 p.
article
188 Forthcoming papers 1987
199-200 3 p. 419-
1 p.
article
189 Forthcoming papers 1985
199-200 3 p. 417-418
2 p.
article
190 Forthcoming papers 1988
199-200 3 p. 423-424
2 p.
article
191 Forthcoming papers 1991
199-200 3 p. 397-400
4 p.
article
192 Forthcoming papers 1991
199-200 3 p. 357-358
2 p.
article
193 Forthcoming papers 1990
199-200 3 p. 387-388
2 p.
article
194 Forthcoming papers 1987
199-200 3 p. 407-408
2 p.
article
195 Forthcoming papers 1986
199-200 3 p. 399-400
2 p.
article
196 Forthcoming papers 1989
199-200 3 p. 405-408
4 p.
article
197 Forthcoming papers 1985
199-200 3 p. 367-
1 p.
article
198 Forthcoming papers 1988
199-200 3 p. 421-424
4 p.
article
199 Forthcoming papers 1987
199-200 3 p. 417-418
2 p.
article
200 Forthcoming papers 1990
199-200 3 p. 395-396
2 p.
article
201 Forthcoming papers 1988
199-200 3 p. 405-406
2 p.
article
202 Forthcoming papers 1985
199-200 3 p. 369-
1 p.
article
203 Forthcoming papers 1990
199-200 3 p. 379-382
4 p.
article
204 Forthcoming papers 1986
199-200 3 p. 355-356
2 p.
article
205 Forthcoming papers 1989
199-200 3 p. 383-384
2 p.
article
206 Forthcoming papers 1990
199-200 3 p. 391-394
4 p.
article
207 Foundations of cognitive science Bray, Alistair J.
1991
199-200 3 p. 319-328
10 p.
article
208 Four reviews of The Society of Mind and a response Stefik, Mark J.
1991
199-200 3 p. 319-320
2 p.
article
209 Frames in the space of situations Lifschitz, Vladimir
1990
199-200 3 p. 365-376
12 p.
article
210 Functional transformations in AI discovery systems Shen, Wei-Min
1990
199-200 3 p. 257-272
16 p.
article
211 Fundamental concepts of qualitative probabilistic networks Wellman, Michael P.
1990
199-200 3 p. 257-303
47 p.
article
212 Fusion and propagation with multiple observations in belief networks Peot, Mark A.
1991
199-200 3 p. 299-318
20 p.
article
213 Fusion, propagation, and structuring in belief networks Pearl, Judea
1986
199-200 3 p. 241-288
48 p.
article
214 Generalized and/or graphs Levi, Giorgio
1976
199-200 3 p. 243-259
17 p.
article
215 Generalizing the notion of schema in genetic algorithms Vose, Michael D.
1991
199-200 3 p. 385-396
12 p.
article
216 Gibbs sampling in Bayesian networks Hrycej, Tomas
1990
199-200 3 p. 351-363
13 p.
article
217 Heuristic classification Clancey, William J.
1985
199-200 3 p. 289-350
62 p.
article
218 Heuristic search through islands Chakrabarti, P.P.
1986
199-200 3 p. 339-347
9 p.
article
219 Implementing Dempster's rule for hierarchical evidence Shafer, Glenn
1987
199-200 3 p. 271-298
28 p.
article
220 Increasing tree search efficiency for constraint satisfaction problems Haralick, Robert M.
1980
199-200 3 p. 263-313
51 p.
article
221 Incremental reconstruction of 3D scenes from multiple, complex images Herman, Martin
1986
199-200 3 p. 289-341
53 p.
article
222 Inductive learning of structural descriptions Dietterich, Thomas G.
1981
199-200 3 p. 257-294
38 p.
article
223 Inductive reasoning on recursive equations Malloy Brown, Frank
1979
199-200 3 p. 207-229
23 p.
article
224 Interestingness: Controlling inferences Schank, Roger C.
1979
199-200 3 p. 273-297
25 p.
article
225 International conference on data bases in the humanities and social sciences 1982
199-200 3 p. 351-
1 p.
article
226 International congress on intelligent autonomous systems 1986
199-200 3 p. 355-358
4 p.
article
227 International Pragmatics Association (IPRA) 1986
199-200 3 p. 350-352
3 p.
article
228 Introductory readings in expert systems Machanick, Philip
1986
199-200 3 p. 391-392
2 p.
article
229 Knowledge-intensive natural language generation Jacobs, Paul S.
1987
199-200 3 p. 325-378
54 p.
article
230 Language as a cognitive process, volume I: Syntax Nadin, Mihai
1985
199-200 3 p. 353-357
5 p.
article
231 Languages with self-reference I: Foundations Perlis, Donald
1985
199-200 3 p. 301-322
22 p.
article
232 Learning new principles from precedents and exercises Winston, Patrick H.
1982
199-200 3 p. 321-350
30 p.
article
233 Letter to the editor Duda, Richard O.
1985
199-200 3 p. 359-360
2 p.
article
234 Literature from cognitive psychology Pylyshyn, Zenon W.
1982
199-200 3 p. 251-255
5 p.
article
235 Machine intelligence and related topics: An information scientist's weekend book Gordon, Michael
1987
199-200 3 p. 399-
1 p.
article
236 Maintaining mental models of agents who have existential misconceptions Maida, Anthony S.
1991
199-200 3 p. 331-383
53 p.
article
237 Making computational sense of Montague's intensional logic Hobbs, Jerry R.
1977
199-200 3 p. 287-306
20 p.
article
238 Making preferences more active Wilks, Yorick
1978
199-200 3 p. 197-223
27 p.
article
239 Master index to volumes 21–30 1986
199-200 3 p. 405-411
7 p.
article
240 Master index to volumes 1–10 1978
199-200 3 p. 325-333
9 p.
article
241 Match algorithms for generalized Rete networks Lee, Ho Soo
1992
199-200 3 p. 249-274
26 p.
article
242 Mental models Phelps, Robert
1986
199-200 3 p. 343-344
2 p.
article
243 Metaphors we live by Norvig, Peter
1985
199-200 3 p. 357-361
5 p.
article
244 Meta-rules: Reasoning about control Davis, Randall
1980
199-200 3 p. 179-222
44 p.
article
245 Mind Bugs: The origins of procedural misconceptions Pirolli, Peter
1991
199-200 3 p. 329-340
12 p.
article
246 Model-preference default theories Selman, Bart
1990
199-200 3 p. 287-322
36 p.
article
247 Models of musical communication and cognition Smoliar, Stephen W.
1990
199-200 3 p. 361-372
12 p.
article
248 Motivation analysis, abductive unification, and nonmonotonic equality Charniak, Eugene
1988
199-200 3 p. 275-295
21 p.
article
249 MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics Pastre, Dominique
1989
199-200 3 p. 257-318
62 p.
article
250 NBS parallel computer benchmark collection 1985
199-200 3 p. 363-
1 p.
article
251 Negation as failure Gelfond, Michael
1986
199-200 3 p. 273-287
15 p.
article
252 Nonmonotonicity and the scope of reasoning Etherington, David W.
1991
199-200 3 p. 221-261
41 p.
article
253 Nonmonotonic logic and temporal projection Hanks, Steve
1987
199-200 3 p. 379-412
34 p.
article
254 [No title] Smith, Reid G.
1983
199-200 3 p. 351-357
7 p.
article
255 [No title] Schreiber, Peter Paul
1983
199-200 3 p. 358-359
2 p.
article
256 Odyssey: A knowledge-based assistant Fikes, Richard E.
1981
199-200 3 p. 331-361
31 p.
article
257 On conceptual structures Sowa, John F.
1988
199-200 3 p. 388-394
7 p.
article
258 On machine intelligence Rock, Sheila
1988
199-200 3 p. 386-387
2 p.
article
259 On models of musical communication and cognition Leman, Marc
1990
199-200 3 p. 372-
1 p.
article
260 On program synthesis knowledge Green, Cordell
1978
199-200 3 p. 241-279
39 p.
article
261 On the efficient synthesis of efficient programs Kant, Elaine
1983
199-200 3 p. 253-305
53 p.
article
262 On the estimation of optical flow: Relations between different approaches and some new results Nagel, Hans-Hellmut
1987
199-200 3 p. 299-324
26 p.
article
263 On the parallel complexity of discrete relaxation in constraint satisfaction networks Kasif, Simon
1990
199-200 3 p. 275-286
12 p.
article
264 On the relation between default and autoepistemic logic Konolige, Kurt
1988
199-200 3 p. 343-382
40 p.
article
265 On the use of framed knowledge in language comprehension Charniak, Eugene
1978
199-200 3 p. 225-265
41 p.
article
266 Optimal problem-solving search: All-or-none solutions Simon, Herbert A.
1975
199-200 3 p. 235-247
13 p.
article
267 Optimal search strategies for speech understanding control Woods, W.A.
1982
199-200 3 p. 295-326
32 p.
article
268 Papers on representation of knowledge 1974
199-200 3 p. 324-
1 p.
article
269 Parallelism in vision Brady, Michael
1983
199-200 3 p. 271-283
13 p.
article
270 Parameter nets Ballard, Dana H.
1984
199-200 3 p. 235-267
33 p.
article
271 Perceptual organization and the representation of natural form Pentland, Alex P.
1986
199-200 3 p. 293-331
39 p.
article
272 Planning for conjunctive goals Chapman, David
1987
199-200 3 p. 333-377
45 p.
article
273 Plans and situated actions: The problem of human-machine communication Agre, Philip E.
1990
199-200 3 p. 369-384
16 p.
article
274 Probabilistic analysis of the complexity of A∗ Huyn, Nam
1980
199-200 3 p. 241-254
14 p.
article
275 Problem-solving with diagrammatic representations Funt, Brian V.
1980
199-200 3 p. 201-230
30 p.
article
276 Propositional knowledge base revision and minimal change Katsuno, Hirofumi
1991
199-200 3 p. 263-294
32 p.
article
277 Qualitative navigation for mobile robots Levitt, Tod S.
1990
199-200 3 p. 305-360
56 p.
article
278 Qualitative simulation Kuipers, Benjamin
1986
199-200 3 p. 289-338
50 p.
article
279 Reasoning about action II Ginsberg, Matthew L.
1988
199-200 3 p. 311-342
32 p.
article
280 Reasoning about partially ordered events Dean, Thomas
1988
199-200 3 p. 375-399
25 p.
article
281 Reasoning about programs Waldinger, R.J.
1974
199-200 3 p. 235-316
82 p.
article
282 Recent work in philosophy II Dennett, Daniel C.
1984
199-200 3 p. 231-233
3 p.
article
283 Refutational theorem proving using term-rewriting systems Hsiang, Jieh
1985
199-200 3 p. 255-300
46 p.
article
284 Representations and algorithms for cognitive learning Kochen, Manfred
1974
199-200 3 p. 199-216
18 p.
article
285 Results on translating defaults to circumscription 1987
199-200 3 p. 413-
1 p.
article
286 Retrospectives: A note from the editor Bobrow, Daniel G.
1984
199-200 3 p. 247-
1 p.
article
287 Rule-based expert systems: The mycin experiments of the stanford heuristic programming project Swartout, William R.
1985
199-200 3 p. 364-366
3 p.
article
288 Second advanced course in artificial intelligence 1987
199-200 3 p. 403-
1 p.
article
289 Second international conference on artificial intelligence 1986
199-200 3 p. 349-
1 p.
article
290 Seventh European meeting on cybernetics and systems research 1983
199-200 3 p. 345-
1 p.
article
291 Shape from texture Blake, Andrew
1990
199-200 3 p. 323-380
58 p.
article
292 Society of mind Minsky, Marvin
1991
199-200 3 p. 371-396
26 p.
article
293 Speech understanding systems Medress, M.F.
1977
199-200 3 p. 307-316
10 p.
article
294 Subjective inference with multiple evidence Kadesch, R.R.
1986
199-200 3 p. 333-341
9 p.
article
295 Summary of MYCROFT: A system for understanding simple picture programs Goldstein, Ira P.
1975
199-200 3 p. 249-288
40 p.
article
296 Symposium on empirical foundations of information and software science 1982
199-200 3 p. 373-
1 p.
article
297 Syntax-directed, semantics-supported program synthesis Bibel, Wolfgang
1980
199-200 3 p. 243-261
19 p.
article
298 Synthesising recursive functions with side effects Follett, Ria
1980
199-200 3 p. 175-200
26 p.
article
299 Synthetic programming Dershowitz, Nachum
1985
199-200 3 p. 323-373
51 p.
article
300 Tense and aspect systems Nakhimovsky, Alexander
1987
199-200 3 p. 407-410
4 p.
article
301 The AI business: Commercial uses of artificial intelligence Stefik, Mark
1986
199-200 3 p. 345-348
4 p.
article
302 The AI business, the commercial uses of artificial intelligence Eliot, Lance B.
1985
199-200 3 p. 361-363
3 p.
article
303 The anomalous extension problem in default reasoning Morris, Paul H.
1988
199-200 3 p. 383-399
17 p.
article
304 The effects of order on learning classifications by example: Heuristics for finding the optimal order MacGregor, James N.
1988
199-200 3 p. 361-370
10 p.
article
305 The epistemology of a rule-based expert system —a framework for explanation Clancey, William J.
1983
199-200 3 p. 215-251
37 p.
article
306 The handbook of artificial intelligence Hayes-Roth, Frederick
1982
199-200 3 p. 369-371
3 p.
article
307 The heuristic search under conditions of error Harris, Larry R.
1974
199-200 3 p. 217-234
18 p.
article
308 The logic of nonmonotonicity Bell, John
1990
199-200 3 p. 365-374
10 p.
article
309 The *-minimax search procedure for trees containing chance nodes Ballard, Bruce W.
1983
199-200 3 p. 327-350
24 p.
article
310 Theory and practice of robots and manipulators Larcombe, M.H.E.
1978
199-200 3 p. 269-271
3 p.
article
311 The psychology of computer vision Rosenfeld, Azriel
1976
199-200 3 p. 279-282
4 p.
article
312 The remembered present: A biological theory of consciousness Smoliar, Stephen W.
1991
199-200 3 p. 295-318
24 p.
article
313 The science of the mind Lindsay, Robert K.
1988
199-200 3 p. 385-
1 p.
article
314 The society of mind Smoliar, Stephen W.
1991
199-200 3 p. 349-370
22 p.
article
315 The society of mind Ginsberg, Matthew
1991
199-200 3 p. 335-339
5 p.
article
316 The society of mind Reeke Jr, George N.
1991
199-200 3 p. 341-348
8 p.
article
317 The translation of formal proofs into English Chester, Daniel
1976
199-200 3 p. 261-278
18 p.
article
318 The ubiquity of discovery Lenat, Douglas B.
1977
199-200 3 p. 257-285
29 p.
article
319 Thinking: Readings in cognitive science King, Margaret
1980
199-200 3 p. 313-322
10 p.
article
320 5th International conference on pattern recognition 1979
199-200 3 p. 299-300
2 p.
article
321 Three-dimensional object recognition from single two-dimensional images Lowe, David G.
1987
199-200 3 p. 355-395
41 p.
article
322 TINLAP3 Third workshop on theoretical issues in natural language processing 1986
199-200 3 p. 349-
1 p.
article
323 Towards a computational theory of cognitive maps Yeap, Wai K.
1988
199-200 3 p. 297-360
64 p.
article
324 Towards the automation of set theory and its logic Brown, Frank Malloy
1978
199-200 3 p. 281-316
36 p.
article
325 Tree clustering for constraint networks Dechter, Rina
1989
199-200 3 p. 353-366
14 p.
article
326 Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services Doyle, Jon
1991
199-200 3 p. 261-297
37 p.
article
327 Two views of belief: belief as generalized probability and belief as evidence Halpern, Joseph Y.
1992
199-200 3 p. 275-317
43 p.
article
328 Understanding natural language Jurafsky, Dan
1989
199-200 3 p. 367-377
11 p.
article
329 Using crude probability estimates to guide diagnosis de Kleer, Johan
1990
199-200 3 p. 381-391
11 p.
article
330 Using slots and modifiers in logic grammars for natural language McCord, Michael C.
1982
199-200 3 p. 327-367
41 p.
article
331 Viewing control structures as patterns of passing messages Hewitt, Carl
1977
199-200 3 p. 323-364
42 p.
article
332 Why am and eurisko appear to work Lenat, Douglas B.
1984
199-200 3 p. 269-294
26 p.
article
333 XPLAIN: a system for creating and explaining expert consulting programs Swartout, William R.
1983
199-200 3 p. 285-325
41 p.
article
                             333 results found
 
 Koninklijke Bibliotheek - National Library of the Netherlands