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