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
 
                             651 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Abstracting soft constraints: Framework, properties, examples Bistarelli, Stefano
2002
182-183 2 p. 175-211
37 p.
artikel
2 A chronology of computer chess and its literature Berliner, Hans J.
1978
182-183 2 p. 201-214
14 p.
artikel
3 A circumscriptive calculus of events Shanahan, Murray
1995
182-183 2 p. 249-284
36 p.
artikel
4 A circumscriptive theorem prover Ginsberg, Matthew L.
1989
182-183 2 p. 209-230
22 p.
artikel
5 A comparative runtime analysis of heuristic algorithms for satisfiability problems Zhou, Yuren
2009
182-183 2 p. 240-257
18 p.
artikel
6 A comparative study of open default theories Kaminski, Michael
1995
182-183 2 p. 285-319
35 p.
artikel
7 A comparison and evaluation of three machine learning procedures as applied to the game of checkers Griffith, Arnold K.
1974
182-183 2 p. 137-148
12 p.
artikel
8 A comparison of structural CSP decomposition methods Gottlob, Georg
2000
182-183 2 p. 243-282
40 p.
artikel
9 A complete anytime algorithm for number partitioning Korf, Richard E.
1998
182-183 2 p. 181-203
23 p.
artikel
10 A complete classification of tractability in Allen's algebra relative to subsets of basic relations Drakengren, Thomas
1998
182-183 2 p. 205-219
15 p.
artikel
11 A computational approach to George Boole's discovery of mathematical logic de Ledesma, Luis
1997
182-183 2 p. 281-307
27 p.
artikel
12 A computational model for process-grammar Lin, Wei-Chung
1989
182-183 2 p. 207-224
18 p.
artikel
13 A computer model of child language learning Selfridge, Mallory
1986
182-183 2 p. 171-216
46 p.
artikel
14 A context sensitive line finder for recognition of polyhedra Shirai, Yoshiaki
1973
182-183 2 p. 95-119
25 p.
artikel
15 Acquiring search-control knowledge via static analysis Etzioni, Oren
1993
182-183 2 p. 255-301
47 p.
artikel
16 Active surface estimation: integrating coarse-to-fine image acquisition and estimation from multiple cues Das, Subhodev
1996
182-183 2 p. 241-266
26 p.
artikel
17 Adaptation-guided retrieval: questioning the similarity assumption in reasoning Smyth, Barry
1998
182-183 2 p. 249-293
45 p.
artikel
18 Adaptive regularization parameter selection method for enhancing generalization capability of neural networks Leung, Chi-Tat
1999
182-183 2 p. 347-356
10 p.
artikel
19 A dictionary based on concept coherence Alterman, Richard
1985
182-183 2 p. 153-186
34 p.
artikel
20 A differential semantics for jointree algorithms Park, James D.
2004
182-183 2 p. 197-216
20 p.
artikel
21 A framework for explaining decision-theoretic advice Klein, David A
1994
182-183 2 p. 201-243
43 p.
artikel
22 A game tree with distinct leaf values which is easy for the alpha-beta algorithm Althöfer, Ingo
1991
182-183 2 p. 183-190
8 p.
artikel
23 Algorithms for propagating resource constraints in AI planning and scheduling: Existing approaches and new results Laborie, Philippe
2003
182-183 2 p. 151-188
38 p.
artikel
24 Algorithms for searching explicit AND/OR graphs and their applications to problem reduction search Chakrabarti, P.P.
1994
182-183 2 p. 329-345
17 p.
artikel
25 Algorithms for the coalitional manipulation problem Zuckerman, Michael
2009
182-183 2 p. 392-412
21 p.
artikel
26 A logical framework for depiction and image interpretation Reiter, Raymond
1989
182-183 2 p. 125-155
31 p.
artikel
27 A logical theory of robot problem solving Štěpánková, Olga
1976
182-183 2 p. 129-161
33 p.
artikel
28 A logic-based model of intention formation and action for multi-agent subcontracting Grant, John
2005
182-183 2 p. 163-201
39 p.
artikel
29 A logic of time, chance, and action for representing plans Haddawy, Peter
1996
182-183 2 p. 243-308
66 p.
artikel
30 A mechanical solution of Schubert's Steamroller by many-sorted resolution Walther, Christoph
1985
182-183 2 p. 217-224
8 p.
artikel
31 A metatheory of a mechanized object theory Giunchiglia, Fausto
1996
182-183 2 p. 197-241
45 p.
artikel
32 A minimax algorithm better than alpha-beta? Stockman, G.C.
1979
182-183 2 p. 179-196
18 p.
artikel
33 A model of belief Paris, J.B.
1993
182-183 2 p. 197-241
45 p.
artikel
34 A multi-level perception approach to reading cursive script Srihari, Sargur N.
1987
182-183 2 p. 217-255
39 p.
artikel
35 An admissible and optimal algorithm for searching AND/OR graphs Chang, C.L.
1971
182-183 2 p. 117-128
12 p.
artikel
36 Analogical representations of naive physics Gardin, Francesco
1989
182-183 2 p. 139-159
21 p.
artikel
37 Analysis and empirical studies of derivational analogy Blumenthal, Brad
1994
182-183 2 p. 287-327
41 p.
artikel
38 An analytical comparison of some rule-learning programs Bundy, Alan
1985
182-183 2 p. 137-181
45 p.
artikel
39 An assumption-based TMS de Kleer, Johan
1986
182-183 2 p. 127-162
36 p.
artikel
40 An automatic proof of Gödel's incompleteness theorem Ammon, Kurt
1993
182-183 2 p. 291-306
16 p.
artikel
41 An efficient algorithm for optimal pruning of decision trees Almuallim, Hussein
1996
182-183 2 p. 347-362
16 p.
artikel
42 An empirical analysis of terminological representation systems Heinsohn, Jochen
1994
182-183 2 p. 367-397
31 p.
artikel
43 An epistemological science of common sense Giunchiglia, Fausto
1995
182-183 2 p. 371-392
22 p.
artikel
44 A new representation and associated algorithms for generalized planning Srivastava, Siddharth
2011
182-183 2 p. 615-647
33 p.
artikel
45 An experimental logic based on the fundamental deduction principle Brown, Frank M.
1986
182-183 2 p. 117-263
147 p.
artikel
46 An experiment in knowledge-based automatic programming Barstow, David R.
1979
182-183 2 p. 73-119
47 p.
artikel
47 An extension of pointwise circumscription Iwanuma, Koji
1996
182-183 2 p. 391-402
12 p.
artikel
48 An extension of QSIM with qualitative curvature Hossain, Abul
1997
182-183 2 p. 303-350
48 p.
artikel
49 An interactive system for finding complementary literatures: a stimulus to scientific discovery Swanson, Don R.
1997
182-183 2 p. 183-203
21 p.
artikel
50 Announcement 1995
182-183 2 p. 393-394
2 p.
artikel
51 Announcement 1995
182-183 2 p. 373-
1 p.
artikel
52 Announcement 1995
182-183 2 p. 395-
1 p.
artikel
53 Announcement 1994
182-183 2 p. 377-380
4 p.
artikel
54 Announcement 1993
182-183 2 p. 359-361
3 p.
artikel
55 Announcement 1994
182-183 2 p. 409-410
2 p.
artikel
56 Announcement 1989
182-183 2 p. 253-254
2 p.
artikel
57 Announcement 1989
182-183 2 p. 253-254
2 p.
artikel
58 Announcement 1977
182-183 2 p. 239-
1 p.
artikel
59 Announcement 1980
182-183 2 p. 204-
1 p.
artikel
60 Announcement 1990
182-183 2 p. 267-268
artikel
61 Announcements 1993
182-183 2 p. 357-359
3 p.
artikel
62 Announcements 1993
182-183 2 p. 383-386
4 p.
artikel
63 Announcements 1987
182-183 2 p. 267-268
2 p.
artikel
64 Announcements 1989
182-183 2 p. 279-280
2 p.
artikel
65 Announcements 1988
182-183 2 p. 269-272
4 p.
artikel
66 Announcements 1988
182-183 2 p. 271-275
5 p.
artikel
67 Announcements 1988
182-183 2 p. 277-283
7 p.
artikel
68 Announcements 1993
182-183 2 p. 355-358
4 p.
artikel
69 Announcements 1991
182-183 2 p. 285-
1 p.
artikel
70 A nonstandard approach to the logical omniscience problem Fagin, Ronald
1995
182-183 2 p. 203-240
38 p.
artikel
71 An optimal coarse-grained arc consistency algorithm Bessière, Christian
2005
182-183 2 p. 165-185
21 p.
artikel
72 An organization of knowledge for problem solving and language comprehension Rieger, Chuck
1976
182-183 2 p. 89-127
39 p.
artikel
73 A note on non-monotonic modal logic Stalnaker, Robert
1993
182-183 2 p. 183-196
14 p.
artikel
74 A note on the stable model semantics for logic programs Kaminski, Michael
1997
182-183 2 p. 467-479
13 p.
artikel
75 An overview of incentive contracting Kraus, Sarit
1996
182-183 2 p. 297-346
50 p.
artikel
76 A paradigm for reasoning by analogy Kling, Robert E.
1971
182-183 2 p. 147-178
32 p.
artikel
77 Approximations for efficient computation in the theory of evidence Tessem, Bj∅rnar
1993
182-183 2 p. 315-329
15 p.
artikel
78 A practical guide to designing expert systems Dym, Clive L.
1985
182-183 2 p. 238-239
2 p.
artikel
79 A practically efficient and almost linear unification algorithm Escalada-Imaz, Gonzalo
1988
182-183 2 p. 249-263
15 p.
artikel
80 A problem-decomposition method using differences or equivalence relations between states Niizuma, Seizaburo
1985
182-183 2 p. 117-151
35 p.
artikel
81 A procedure for adaptive control of the interaction between acoustic classification and linguistic decoding in automatic recognition of continuous speech Tappert, C.C.
1974
182-183 2 p. 95-113
19 p.
artikel
82 A process-grammar for shape Leyton, Michael
1988
182-183 2 p. 213-247
35 p.
artikel
83 A program that computes limits using heuristics to evaluate the indeterminate forms Laurent, Jean-Pierre
1973
182-183 2 p. 69-94
26 p.
artikel
84 A rational reconstruction of nonmonotonic truth maintenance systems Elkan, Charles
1990
182-183 2 p. 219-234
artikel
85 Arc and path consistency revisited Mohr, Roger
1986
182-183 2 p. 225-233
9 p.
artikel
86 Arc-consistency for continuous variables Faltings, Boi
1994
182-183 2 p. 363-376
14 p.
artikel
87 A refined architecture for terminological systems: Terminology = Schema + Views Buchheit, M.
1998
182-183 2 p. 209-260
52 p.
artikel
88 A resolution principle for constrained logics Bürckert, Hans-Jürgen
1994
182-183 2 p. 235-271
37 p.
artikel
89 Artificial intelligence Shapiro, Stuart C.
1976
182-183 2 p. 199-201
3 p.
artikel
90 As advertised: A review of The MIT Encyclopedia of the Cognitive Sciences ☆ ☆ MIT Press, Cambridge, MA, 1999. 1312 pages. Price US$ 149.95 (Cloth). ISBN 0-262-23200-6. CD-ROM. Price US$ 149.95. ISBN 0-262-73124-X. Lakoff, George
2001
182-183 2 p. 195-209
15 p.
artikel
91 A SIMD approach to parallel heuristic search Mahanti, Ambuj
1993
182-183 2 p. 243-282
40 p.
artikel
92 A simplified problem reduction format Plaisted, David A.
1982
182-183 2 p. 227-261
35 p.
artikel
93 Association for automated reasoning 1983
182-183 2 p. 212-214
3 p.
artikel
94 Association for computational linguistics European chapter second conference 1985
182-183 2 p. 242-243
2 p.
artikel
95 Asymptotic properties of minimax trees and game-searching procedures Pearl, Judea
1980
182-183 2 p. 113-138
26 p.
artikel
96 A theory and methodology of inductive learning Michalski, Ryszard S.
1983
182-183 2 p. 111-161
51 p.
artikel
97 A theory of measurement in diagnosis from first principles Hou, Aimin
1994
182-183 2 p. 281-328
48 p.
artikel
98 A typed resolution principle for deduction with conditional typing theory Wang, Tie-Cheng
1995
182-183 2 p. 161-194
34 p.
artikel
99 Author Index—Volume 130 (2001) 2001
182-183 2 p. 237-238
2 p.
artikel
100 Author Index—Volume 132 (2001) 2001
182-183 2 p. 239-
1 p.
artikel
101 Author Index—Volume 127 (2001) 2001
182-183 2 p. 277-
1 p.
artikel
102 Author Index—Volume 143 (2003) 2003
182-183 2 p. 267-
1 p.
artikel
103 Author Index—Volume 146 (2003) 2003
182-183 2 p. 235-
1 p.
artikel
104 Author Index—Volume 149 (2003) 2003
182-183 2 p. 271-
1 p.
artikel
105 Author Index—Volume 136 (2002) 2002
182-183 2 p. 255-
1 p.
artikel
106 Author index—Volume 75 (1995) 1995
182-183 2 p. 381-382
2 p.
artikel
107 Author index—Volume 86 (1996) 1996
182-183 2 p. 407-408
2 p.
artikel
108 Author index—Volume 83 (1996) 1996
182-183 2 p. 383-384
2 p.
artikel
109 Author index—Volume 80 (1996) 1996
182-183 2 p. 367-368
2 p.
artikel
110 Author Index—Volume 139 (2002) 2002
182-183 2 p. 273-
1 p.
artikel
111 Author Index—Volume 142 (2002) 2002
182-183 2 p. 289-290
2 p.
artikel
112 Author index—Volume 95 (1997) 1997
182-183 2 p. 443-444
2 p.
artikel
113 Author index—Volume 96 (1997) 1997
182-183 2 p. 487-
1 p.
artikel
114 Author index—Volume 91 (1997) 1997
182-183 2 p. 313-314
2 p.
artikel
115 Author index—Volume 106 (1998) 1998
182-183 2 p. 363-364
2 p.
artikel
116 Author index—volume 102 (1998) 1998
182-183 2 p. 345-346
2 p.
artikel
117 Author index—volume 107 (1999) 1999
182-183 2 p. 361-
1 p.
artikel
118 Author index—Volume 79 (1995) 1995
182-183 2 p. 401-402
2 p.
artikel
119 Author index—Volume 74 (1994) 1995
182-183 2 p. 401-402
2 p.
artikel
120 Author index—Volume 77 (1995) 1995
182-183 2 p. 401-402
2 p.
artikel
121 Author index—Volume 60 (1993) 1993
182-183 2 p. 363-364
2 p.
artikel
122 Author index—Volume 61 (1993) 1993
182-183 2 p. 367-368
2 p.
artikel
123 Author index-Volume 71 (1994) 1994
182-183 2 p. 417-418
2 p.
artikel
124 Author index—Volume 68 (1994) 1994
182-183 2 p. 417-
1 p.
artikel
125 Author index—Volume 62 (1993) 1993
182-183 2 p. 391-392
2 p.
artikel
126 Author index—Volume 64 (1993) 1993
182-183 2 p. 363-364
2 p.
artikel
127 Author Index—Volume 165 (2005) 2005
182-183 2 p. 267-268
2 p.
artikel
128 Author Index—Volume 163 (2005) 2005
182-183 2 p. 269-
1 p.
artikel
129 Author Index—Volume 169 (2005) 2005
182-183 2 p. 211-212
2 p.
artikel
130 Author Index—Volume 152 (2004) 2004
182-183 2 p. 279-
1 p.
artikel
131 Author Index—Volume 158 (2004) 2004
182-183 2 p. 219-
1 p.
artikel
132 Author Index—Volume 156 (2004) 2004
182-183 2 p. 221-
1 p.
artikel
133 Author index—Volume 67 (1994)ce systems 1994
182-183 2 p. 413-
1 p.
artikel
134 Author index—Volume 99 (1998) functions 1998
182-183 2 p. 361-
1 p.
artikel
135 Author index—Volume 65 (1994)on 1994
182-183 2 p. 383-384
2 p.
artikel
136 Author index—Volume 66 (1994)op on Case-Based 1994
182-183 2 p. 413-414
2 p.
artikel
137 Autocircumscription Perlis, Donald
1988
182-183 2 p. 223-236
14 p.
artikel
138 Automated model selection for simulation based on relevance reasoning Levy, Alon Y.
1997
182-183 2 p. 351-394
44 p.
artikel
139 Automatically generating abstractions for planning Knoblock, Craig A
1994
182-183 2 p. 243-302
60 p.
artikel
140 Automatic interpretation of loosely encoded input Fan, James
2009
182-183 2 p. 197-220
24 p.
artikel
141 Automatic knowledge base refinement for classification systems Ginsberg, Allen
1988
182-183 2 p. 197-226
30 p.
artikel
142 A versatile system for computer-controlled assembly Ambler, A.P.
1975
182-183 2 p. 129-156
28 p.
artikel
143 Awards: IJCAI-85 1985
182-183 2 p. 241-242
2 p.
artikel
144 Awards: IJCAI-87 1986
182-183 2 p. 237-238
2 p.
artikel
145 Awards: IJCAI-87 International joint conference on artificial intelligence 1986
182-183 2 p. 268-269
2 p.
artikel
146 Backgammon computer program beats world champion Berliner, Hans J.
1980
182-183 2 p. 205-220
16 p.
artikel
147 Backjump-based backtracking for constraint satisfaction problems Dechter, Rina
2002
182-183 2 p. 147-188
42 p.
artikel
148 Bargaining with limited computation: Deliberation equilibrium Larson, Kate
2001
182-183 2 p. 183-217
35 p.
artikel
149 Basic theoretical results for expert systems. Application to the supervision of adaptation transients in planar robots De la Sen, M.
2004
182-183 2 p. 173-211
39 p.
artikel
150 Bayesian and non-bayesian evidential updating 1988
182-183 2 p. 265-266
2 p.
artikel
151 Bayesian network modelling through qualitative patterns Lucas, Peter J.F.
2005
182-183 2 p. 233-263
31 p.
artikel
152 Behaviorist intelligence and the scaling problem Tsotsos, John K.
1995
182-183 2 p. 135-160
26 p.
artikel
153 Belief as defeasible knowledge Moses, Yoram
1993
182-183 2 p. 299-321
23 p.
artikel
154 Believing others: Pros and cons Sen, Sandip
2002
182-183 2 p. 179-203
25 p.
artikel
155 Benefits of using multivalued functions for minimaxing Scheucher, Anton
1998
182-183 2 p. 187-208
22 p.
artikel
156 BIDA∗: an improved perimeter search algorithm Manzini, Giovanni
1995
182-183 2 p. 347-360
14 p.
artikel
157 B. Jähne, H. Haussecker, and P. Geissler, eds., Handbook of Computer Vision and Applications. 1. Sensors and Imaging. 2. Signal Processing and Pattern Recognition. 3. Systems and Applications Rosenfeld, Azriel
2000
182-183 2 p. 271-273
3 p.
artikel
158 Books received 1989
182-183 2 p. 273-274
2 p.
artikel
159 Books received 1986
182-183 2 p. 265-266
2 p.
artikel
160 Books received 1985
182-183 2 p. 227-230
4 p.
artikel
161 Books received 1988
182-183 2 p. 267-269
3 p.
artikel
162 Books received 1986
182-183 2 p. 223-224
2 p.
artikel
163 Books received 1987
182-183 2 p. 257-258
2 p.
artikel
164 Books received 1991
182-183 2 p. 241-244
4 p.
artikel
165 Books received 1988
182-183 2 p. 249-250
2 p.
artikel
166 Books received 1993
182-183 2 p. 379-381
3 p.
artikel
167 Bounded approximate decentralised coordination via the max-sum algorithm Rogers, A.
2011
182-183 2 p. 730-759
30 p.
artikel
168 Building agent teams using an explicit teamwork model and learning Tambe, Milind
1999
182-183 2 p. 215-239
25 p.
artikel
169 Call for papers: AAAI-83 1983
182-183 2 p. 211-212
2 p.
artikel
170 Call for papers: Annual meeting of the society for philosophy and psychology 1985
182-183 2 p. 249-
1 p.
artikel
171 Call for papers: Compeuro 87 international conference on VLSI in computing systems 1985
182-183 2 p. 250-
1 p.
artikel
172 Call for papers: First international logic programming conference 1982
182-183 2 p. 265-266
2 p.
artikel
173 Call for papers: GWAI-82 sixth german workshop on artificial intelligence 1982
182-183 2 p. 267-
1 p.
artikel
174 Call for papers: ICCV-87 First international conference on computer vision 1986
182-183 2 p. 267-268
2 p.
artikel
175 Call for papers: Second international workshop on natural language understanding and logic programming 1987
182-183 2 p. 264-265
2 p.
artikel
176 Call for papers: XIth international conference on computational linguistics 1985
182-183 2 p. 251-
1 p.
artikel
177 Canadian artificial intelligence conference: AI86 1986
182-183 2 p. 241-242
2 p.
artikel
178 Change of Editor for Research Notes Section 1999
182-183 2 p. 143-
1 p.
artikel
179 Characterising tractable constraints Cooper, Martin C.
1994
182-183 2 p. 347-361
15 p.
artikel
180 Circumscribing with sets Perlis, Donald
1987
182-183 2 p. 201-211
11 p.
artikel
181 Circumscription Jaeger, Manfred
1993
182-183 2 p. 293-301
9 p.
artikel
182 Closed-world databases and circumscription Lifschitz, Vladimir
1985
182-183 2 p. 229-235
7 p.
artikel
183 Cognitive Science: Real or Imaginary?: Review of The MIT Encyclopedia of The Cognitive Sciences edited by Robert A. Wilson and Frank C. Keil ☆ ☆ MIT Press, Cambridge, MA, 1999. 1312 pages. Price US$ 149.95 (Cloth). ISBN 0-262-23200-6. CD-ROM. Price US$ 149.95. ISBN 0-262- 73124-X. Husbands, Phil
2001
182-183 2 p. 191-194
4 p.
artikel
184 Collaborative plans for complex group action Grosz, Barbara J.
1996
182-183 2 p. 269-357
89 p.
artikel
185 Combining interval-based temporal reasoning with general TBoxes Lutz, Carsten
2004
182-183 2 p. 235-274
40 p.
artikel
186 Comparative envisionment construction: A technique for the comparative analysis of dynamical systems de Jong, Hidde
1999
182-183 2 p. 145-214
70 p.
artikel
187 Compiling constraint satisfaction problems Weigel, Rainer
1999
182-183 2 p. 257-287
31 p.
artikel
188 Complexity results for standard benchmark domains in planning Helmert, Malte
2003
182-183 2 p. 219-262
44 p.
artikel
189 Composing cardinal direction relations Skiadopoulos, Spiros
2004
182-183 2 p. 143-171
29 p.
artikel
190 Computation and cognition: Toward a foundation of cognitive science Stefik, Mark
1989
182-183 2 p. 241-247
7 p.
artikel
191 Computation and cognition: Toward a fundation for cognitive science Mackworth, Alan K.
1989
182-183 2 p. 239-240
2 p.
artikel
192 Computer chess move-ordering schemes using move influence Greer, Kieran
2000
182-183 2 p. 235-250
16 p.
artikel
193 Computers and musical style, the computer music and digital audio series, volume 6 Berger, Jonathan
1995
182-183 2 p. 343-348
6 p.
artikel
194 Computer systems that learn Segre, Alberto
1993
182-183 2 p. 363-378
16 p.
artikel
195 Computing a representation of the local environment Yeap, Wai K.
1999
182-183 2 p. 265-301
37 p.
artikel
196 Computing leximin-optimal solutions in constraint networks Bouveret, Sylvain
2009
182-183 2 p. 343-364
22 p.
artikel
197 Computing the minimal relations in point-based qualitative temporal reasoning through metagraph closure Gerevini, Alfonso E.
2011
182-183 2 p. 556-585
30 p.
artikel
198 Concept teaching Self, John A.
1977
182-183 2 p. 197-221
25 p.
artikel
199 Conceptual inductive learning Kubat, Miroslav
1991
182-183 2 p. 169-182
14 p.
artikel
200 Conceptual structures: Information processing in mind and machine Smoliar, Stephen W.
1987
182-183 2 p. 259-266
8 p.
artikel
201 Conference on the philosophy of Donald Davidson 1984
182-183 2 p. 227-
1 p.
artikel
202 Conjecturing hidden entities by means of simplicity and conservation laws Valdés-Pérez, Raúl E.
1994
182-183 2 p. 247-280
34 p.
artikel
203 Connections and symbols Derthick, Mark
1990
182-183 2 p. 251-265
artikel
204 Consciousness explained O'Rourke, Joseph
1993
182-183 2 p. 303-312
10 p.
artikel
205 Consistency-based diagnosis of configuration knowledge bases Felfernig, Alexander
2004
182-183 2 p. 213-234
22 p.
artikel
206 Constraint relaxation may be perfect Montanari, Ugo
1991
182-183 2 p. 143-170
28 p.
artikel
207 Controlling backward inference Smith, David E.
1989
182-183 2 p. 145-208
64 p.
artikel
208 Controlling cooperative problem solving in industrial multi-agent systems using joint intentions Jennings, N.R.
1995
182-183 2 p. 195-240
46 p.
artikel
209 Conversational language comprehension using integrated pattern-matching and parsing Parkinson, Roger C.
1977
182-183 2 p. 111-134
24 p.
artikel
210 Cooperation without deliberation: A minimal behavior-based approach to multi-robot teams Werger, Barry Brian
1999
182-183 2 p. 293-320
28 p.
artikel
211 Cooperative behavior acquisition for mobile robots in dynamically changing real worlds via vision-based reinforcement learning and development Asada, Minoru
1999
182-183 2 p. 275-292
18 p.
artikel
212 Cooperative responses from a portable natural language query system Kaplan, S.Jerrold
1982
182-183 2 p. 165-187
23 p.
artikel
213 Cortical hierarchies, sleep, and the extraction of knowledge from memory McNaughton, Bruce L.
2010
182-183 2 p. 205-214
10 p.
artikel
214 Cost-based abduction and MAP explanation Charniak, Eugene
1994
182-183 2 p. 345-374
30 p.
artikel
215 Credal networks Cozman, Fabio G.
2000
182-183 2 p. 199-233
35 p.
artikel
216 Cumulative default logic Brewka, Gerhard
1991
182-183 2 p. 183-205
23 p.
artikel
217 Decision making on the sole basis of statistical likelihood Giang, Phan H.
2005
182-183 2 p. 137-163
27 p.
artikel
218 Default reasoning and possibility theory Dubois, Didier
1988
182-183 2 p. 243-257
15 p.
artikel
219 Default reasoning from conditional knowledge bases: Complexity and tractable cases Eiter, Thomas
2000
182-183 2 p. 169-241
73 p.
artikel
220 Defection-free exchange mechanisms based on an entry fee imposition Matsubara, Shigeo
2002
182-183 2 p. 265-286
22 p.
artikel
221 Defining operationality for explanation-based learning Keller, Richard M.
1988
182-183 2 p. 227-241
15 p.
artikel
222 Deliberation scheduling for problem solving in time-constrained environments Boddy, Mark
1994
182-183 2 p. 245-285
41 p.
artikel
223 DENDRAL: A case study of the first expert system for scientific hypothesis formation Lindsay, Robert K.
1993
182-183 2 p. 209-261
53 p.
artikel
224 Depth-first heuristic search on a SIMD machine Powley, Curt
1993
182-183 2 p. 199-242
44 p.
artikel
225 Detection of surface orientation and motion from texture by a stereological technique Kanatani, Ken-ichi
1984
182-183 2 p. 213-237
25 p.
artikel
226 Dialectic proof procedures for assumption-based, admissible argumentation Dung, P.M.
2006
182-183 2 p. 114-159
46 p.
artikel
227 Discovering patterns in sequences of events Dietterich, Thomas G.
1985
182-183 2 p. 187-232
46 p.
artikel
228 Discovering simple rules in complex data: A meta-learning algorithm and some surprising musical discoveries Widmer, Gerhard
2003
182-183 2 p. 129-148
20 p.
artikel
229 Distributed revision of composite beliefs Pearl, Judea
1987
182-183 2 p. 173-215
43 p.
artikel
230 Doing arithmetic without diagrams Malloy Brown, F.
1977
182-183 2 p. 175-200
26 p.
artikel
231 Dynamic backward reasoning systems Ligęza, Antoni
1990
182-183 2 p. 127-152
artikel
232 Dynamic belief revision operators Nayak, Abhaya C.
2003
182-183 2 p. 193-228
36 p.
artikel
233 Edge detection using Walsh functions O'Gorman, Frank
1978
182-183 2 p. 215-223
9 p.
artikel
234 Editorial Durfee, Ed
2002
182-183 2 p. 95-97
3 p.
artikel
235 Editorial Board 2009
182-183 2 p. IFC-
1 p.
artikel
236 Editorial Board 2003
182-183 2 p. IFC-
1 p.
artikel
237 Editorial Board 2003
182-183 2 p. IFC-
1 p.
artikel
238 Editorial Board 2003
182-183 2 p. IFC-
1 p.
artikel
239 Editorial Board 2002
182-183 2 p. IFC-
1 p.
artikel
240 Editorial Board 2010
182-183 2 p. IFC-
1 p.
artikel
241 Editorial Board 2011
182-183 2 p. IFC-
1 p.
artikel
242 Editorial Board 2006
182-183 2 p. CO2-
1 p.
artikel
243 Editorial Board 2005
182-183 2 p. CO2-
1 p.
artikel
244 Editorial Board 2005
182-183 2 p. CO2-
1 p.
artikel
245 Editorial Board 2005
182-183 2 p. CO2-
1 p.
artikel
246 Editorial Board 2004
182-183 2 p. IFC-
1 p.
artikel
247 Editorial Board 2004
182-183 2 p. IFC-
1 p.
artikel
248 Editorial Board 2004
182-183 2 p. IFC-
1 p.
artikel
249 Editorial introduction Bobrow, Daniel G.
1993
182-183 2 p. 197-
1 p.
artikel
250 Editor's note Bobrow, Daniel G.
1982
182-183 2 p. 133-
1 p.
artikel
251 Efficient algorithms for qualitative reasoning about time Gerevini, Alfonso
1995
182-183 2 p. 207-248
42 p.
artikel
252 Efficient compositional modeling for generating causal explanations Nayak, P.Pandurang
1996
182-183 2 p. 193-227
35 p.
artikel
253 Efficient retrieval from sparse associative memory Greene, Ronald L.
1994
182-183 2 p. 395-410
16 p.
artikel
254 Embracing causality in default reasoning Pearl, Judea
1988
182-183 2 p. 259-271
13 p.
artikel
255 Epistemic entrenchment and possibilistic logic Dubois, Didier
1991
182-183 2 p. 223-239
17 p.
artikel
256 Epistemology and cognition Smoliar, Stephen W.
1988
182-183 2 p. 251-264
14 p.
artikel
257 Erratum 1985
182-183 2 p. 248-
1 p.
artikel
258 Erratum 1982
182-183 2 p. 263-
1 p.
artikel
259 Evaluating new options in the context of existing plans Horty, John F.
2001
182-183 2 p. 199-220
22 p.
artikel
260 Evidential reasoning using stochastic simulation of causal models Pearl, Judea
1987
182-183 2 p. 245-257
13 p.
artikel
261 Expanding the book reviews Stefik, Mark J.
1985
182-183 2 p. 225-
1 p.
artikel
262 Experimental evaluation of preprocessing algorithms for constraint satisfaction problems Dechter, Rina
1994
182-183 2 p. 211-241
31 p.
artikel
263 Expert critiquing systems: Practice-based medical consultation by computer Wellman, Michael P.
1988
182-183 2 p. 273-276
4 p.
artikel
264 Expert database systems: Proceedings from the second international conference McLeod, Dennis
1991
182-183 2 p. 245-252
8 p.
artikel
265 Expressiveness of concept expressions in first-order description logics Kurtonina, Natasha
1999
182-183 2 p. 303-333
31 p.
artikel
266 Extended causal theories Bell, John
1991
182-183 2 p. 211-224
14 p.
artikel
267 Extended person-machine interface Reichman-Adar, Rachel
1984
182-183 2 p. 157-218
62 p.
artikel
268 Extending abstract argumentation systems theory Baroni, P.
2000
182-183 2 p. 251-270
20 p.
artikel
269 Extending the ATMS de Kleer, Johan
1986
182-183 2 p. 163-196
34 p.
artikel
270 Extending the expressive power of semantic networks Schubert, L.K.
1976
182-183 2 p. 163-198
36 p.
artikel
271 Filtering algorithms for the multiset ordering constraint Frisch, Alan M.
2009
182-183 2 p. 299-328
30 p.
artikel
272 Finding MAPs for belief networks is NP-hard Shimony, Solomon Eyal
1994
182-183 2 p. 399-410
12 p.
artikel
273 Fixed points in the propositional nonmonotonic logic Shvarts, Grigory F.
1989
182-183 2 p. 199-206
8 p.
artikel
274 Floating conclusions and zombie paths: Two deep difficulties in the “directly skeptical” approach to defeasible inheritance nets Makinson, David
1991
182-183 2 p. 199-209
11 p.
artikel
275 Formalizing common sense: Papers by John McCarthy Akman, Varol
1995
182-183 2 p. 359-369
11 p.
artikel
276 Formal methods in the design of question-answering systems Sandewall, Erik
1971
182-183 2 p. 129-145
17 p.
artikel
277 Formal semantics for mutual belief Colombetti, Marco
1993
182-183 2 p. 341-353
13 p.
artikel
278 Forthcoming Papers 2001
182-183 2 p. 233-236
4 p.
artikel
279 Forthcoming Papers 2001
182-183 2 p. 235-238
4 p.
artikel
280 Forthcoming Papers 2003
182-183 2 p. 263-266
4 p.
artikel
281 Forthcoming Papers 2003
182-183 2 p. 229-233
5 p.
artikel
282 Forthcoming Papers 2003
182-183 2 p. 267-270
4 p.
artikel
283 Forthcoming Papers 2001
182-183 2 p. 273-275
3 p.
artikel
284 Forthcoming Papers 2002
182-183 2 p. 287-
1 p.
artikel
285 Forthcoming papers 1996
182-183 2 p. 361-366
6 p.
artikel
286 Forthcoming papers 1996
182-183 2 p. 379-382
4 p.
artikel
287 Forthcoming papers 1996
182-183 2 p. 403-406
4 p.
artikel
288 Forthcoming Papers 2002
182-183 2 p. 269-272
4 p.
artikel
289 Forthcoming Papers 2002
182-183 2 p. 251-254
4 p.
artikel
290 Forthcoming papers 1997
182-183 2 p. 441-442
2 p.
artikel
291 Forthcoming papers 1997
182-183 2 p. 309-311
3 p.
artikel
292 Forthcoming papers 1998
182-183 2 p. 339-344
6 p.
artikel
293 Forthcoming papers 1998
182-183 2 p. 357-359
3 p.
artikel
294 Forthcoming papers 1998
182-183 2 p. 359-361
3 p.
artikel
295 Forthcoming papers 1997
182-183 2 p. 481-485
5 p.
artikel
296 Forthcoming Papers 1995
182-183 2 p. 395-400
6 p.
artikel
297 Forthcoming papers 1995
182-183 2 p. 399-400
2 p.
artikel
298 Forthcoming papers 1995
182-183 2 p. 375-379
5 p.
artikel
299 Forthcoming papers 1995
182-183 2 p. 397-399
3 p.
artikel
300 Forthcoming papers 1991
182-183 2 p. 257-259
3 p.
artikel
301 Forthcoming papers 1993
182-183 2 p. 363-365
3 p.
artikel
302 Forthcoming papers 1994
182-183 2 p. 413-415
3 p.
artikel
303 Forthcoming papers 1991
182-183 2 p. 287-288
2 p.
artikel
304 Forthcoming papers 1994
182-183 2 p. 411-412
2 p.
artikel
305 Forthcoming papers 1987
182-183 2 p. 269-270
2 p.
artikel
306 Forthcoming papers 1987
182-183 2 p. 279-280
2 p.
artikel
307 Forthcoming papers 1989
182-183 2 p. 255-256
2 p.
artikel
308 Forthcoming papers 1994
182-183 2 p. 409-411
3 p.
artikel
309 Forthcoming papers 1993
182-183 2 p. 359-361
3 p.
artikel
310 Forthcoming papers 1985
182-183 2 p. 253-254
2 p.
artikel
311 Forthcoming papers 1988
182-183 2 p. 277-278
2 p.
artikel
312 Forthcoming papers 1988
182-183 2 p. 273-274
2 p.
artikel
313 Forthcoming papers 1984
182-183 2 p. 245-246
2 p.
artikel
314 Forthcoming papers 1989
182-183 2 p. 255-256
2 p.
artikel
315 Forthcoming papers 1989
182-183 2 p. 281-282
2 p.
artikel
316 Forthcoming papers) (1985) 65–74] 1985
182-183 2 p. 249-
1 p.
artikel
317 Forthcoming papers 1986
182-183 2 p. 239-240
2 p.
artikel
318 Forthcoming papers 1994
182-183 2 p. 381-382
2 p.
artikel
319 Forthcoming papers 1988
182-183 2 p. 285-286
2 p.
artikel
320 Forthcoming papers 1993
182-183 2 p. 387-390
4 p.
artikel
321 Forthcoming papers 1993
182-183 2 p. 361-362
2 p.
artikel
322 Forthcoming papers 1986
182-183 2 p. 271-
1 p.
artikel
323 Forthcoming papers 1991
182-183 2 p. 219-220
2 p.
artikel
324 Forthcoming papers 1994
182-183 2 p. 411-416
6 p.
artikel
325 Forthcoming Papers 2005
182-183 2 p. 265-267
3 p.
artikel
326 Forthcoming Papers 2005
182-183 2 p. 265-266
2 p.
artikel
327 Forthcoming Papers 2004
182-183 2 p. 217-219
3 p.
artikel
328 Forthcoming Papers 2004
182-183 2 p. 215-218
4 p.
artikel
329 Forthcoming Papers 2004
182-183 2 p. 275-278
4 p.
artikel
330 Forthcoming papers 1990
182-183 2 p. 269-270
artikel
331 Forthcoming papers École Polytechnique de Montréal, Montréal, Canada 1986
182-183 2 p. 243-
1 p.
artikel
332 Forthcoming papersosis 1987
182-183 2 p. 269-270
2 p.
artikel
333 Forthcoming papers1984, Rutgers University, New Brunswick, NJ, U.S.A. 1984
182-183 2 p. 229-230
2 p.
artikel
334 Forthcoming papers5, University of Geneva, Switzerland 1985
182-183 2 p. 245-246
2 p.
artikel
335 Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis Stallman, Richard M.
1977
182-183 2 p. 135-196
62 p.
artikel
336 Foundations of a functional approach to knowledge representation Levesque, Hector J.
1984
182-183 2 p. 155-212
58 p.
artikel
337 Free at last! Free at last! Thank evolution, free at last! McDermott, Drew
2005
182-183 2 p. 165-173
9 p.
artikel
338 From Bidirectional Associative Memory to a noise-tolerant, robust Protein Processor Associative Memory Qadir, Omer
2011
182-183 2 p. 673-693
21 p.
artikel
339 From environments to representations—a mathematical theory of artificial perceptions Arzi-Gonczarowski, Z.
1998
182-183 2 p. 187-247
61 p.
artikel
340 From ordering-based nonmonotonic reasoning to conditional logics del Cerro, Luis Fariñas
1994
182-183 2 p. 375-393
19 p.
artikel
341 From the Semantic Web to social machines: A research challenge for AI on the World Wide Web Hendler, Jim
2010
182-183 2 p. 156-161
6 p.
artikel
342 Fuzzy sets and applications: Selected papers by L.A. Zadeh Shen, Zuliang
1993
182-183 2 p. 351-358
8 p.
artikel
343 Generalization as search Mitchell, Tom M.
1982
182-183 2 p. 203-226
24 p.
artikel
344 Generalized subsumption and its applications to induction and redundancy Buntine, Wray
1988
182-183 2 p. 149-176
28 p.
artikel
345 Generating and generalizing models of visual objects Connell, Jonathan H.
1987
182-183 2 p. 159-183
25 p.
artikel
346 Generating context-sensitive responses to object-related misconceptions McCoy, Kathleen F.
1989
182-183 2 p. 157-195
39 p.
artikel
347 Geometric reasoning about mechanical assembly Wilson, Randall H.
1994
182-183 2 p. 371-396
26 p.
artikel
348 Grammatically biased learning: Learning logic programs using an explicit antecedent description language Cohen, William W
1994
182-183 2 p. 303-366
64 p.
artikel
349 Growing methods for constructing recursive deterministic perceptron neural networks and knowledge extraction Tajine, M.
1998
182-183 2 p. 295-322
28 p.
artikel
350 GUS, a frame-driven dialog system Bobrow, Daniel G.
1977
182-183 2 p. 155-173
19 p.
artikel
351 Hawkins on intelligence: Fascination and frustration Perlis, Donald
2005
182-183 2 p. 184-191
8 p.
artikel
352 Heuristic search in restricted memory Chakrabarti, P.P.
1989
182-183 2 p. 197-221
25 p.
artikel
353 Hidden semi-Markov models Yu, Shun-Zheng
2010
182-183 2 p. 215-243
29 p.
artikel
354 Higher order rule characterization of heuristics for compass and straight edge constructions in geometry Scandura, Joseph M.
1974
182-183 2 p. 149-183
35 p.
artikel
355 How to build a person: A prolegomenon Smoliar, Stephen W.
1991
182-183 2 p. 253-256
4 p.
artikel
356 Hybrid reasoning using universal attachment Myers, Karen L.
1994
182-183 2 p. 329-375
47 p.
artikel
357 Hypothesis generation by machine Morgan, Charles G.
1971
182-183 2 p. 179-187
9 p.
artikel
358 IJCAI-83: International joint conference on artificial intelligence 1982
182-183 2 p. 268-
1 p.
artikel
359 Implicit parallelism in genetic algorithms Bertoni, Alberto
1993
182-183 2 p. 307-314
8 p.
artikel
360 Improved methods of estimating shape from shading using the light source coordinate system Lee, Chia-Hoang
1985
182-183 2 p. 125-143
19 p.
artikel
361 Independence and Bayesian updating methods Johnson, Rodney W.
1986
182-183 2 p. 217-222
6 p.
artikel
362 Index 1999
182-183 2 p. 293-
1 p.
artikel
363 Index 1999
182-183 2 p. 329-338
10 p.
artikel
364 Index 1999
182-183 2 p. 339-343
5 p.
artikel
365 Index 2000
182-183 2 p. 281-290
10 p.
artikel
366 Index 2000
182-183 2 p. 291-294
4 p.
artikel
367 Index 2000
182-183 2 p. 293-
1 p.
artikel
368 Index 2000
182-183 2 p. 279-
1 p.
artikel
369 Index 2000
182-183 2 p. 313-
1 p.
artikel
370 Index 1999
182-183 2 p. 327-328
2 p.
artikel
371 Induction and the discovery of the causes of scurvy: a computational reconstruction Corruble, Vincent
1997
182-183 2 p. 205-223
19 p.
artikel
372 Induction: Process of inference, learning and discovery Shrager, Jeff
1989
182-183 2 p. 249-252
4 p.
artikel
373 Inferring the positions of bodies from specified spatial relationships Ambler, A.P.
1975
182-183 2 p. 157-174
18 p.
artikel
374 Influence-based model decomposition for reasoning about spatially distributed physical systems Bailey-Kellogg, Chris
2001
182-183 2 p. 125-166
42 p.
artikel
375 Integration of weighted knowledge bases Lin, Jinxin
1996
182-183 2 p. 363-378
16 p.
artikel
376 Intelligent tutoring systems Stefik, Mark
1985
182-183 2 p. 238-245
8 p.
artikel
377 Intelligent tutoring systems Auguste, Donna
1985
182-183 2 p. 233-238
6 p.
artikel
378 Interactive music systems: Machine listening and composing Handelman, Eliot
1995
182-183 2 p. 349-359
11 p.
artikel
379 Interactive semantics Zhuge, Hai
2010
182-183 2 p. 190-204
15 p.
artikel
380 Interactive transfer of expertise: Acquisition of new inference rules Davis, Randall
1979
182-183 2 p. 121-157
37 p.
artikel
381 Interact '87—Second IFIP international conference on human-computer interaction 1987
182-183 2 p. 265-266
2 p.
artikel
382 Internal reinforcement in a connectionist genetic programming approach Teller, Astro
2000
182-183 2 p. 165-198
34 p.
artikel
383 International conference on data bases in the humanities and social sciences 1983
182-183 2 p. 214-
1 p.
artikel
384 Interpreting image curve from multiframes Lee, Chia-Hoang
1988
182-183 2 p. 145-163
19 p.
artikel
385 Interpreting pictures of polyhedral scenes Macworth, A.K.
1973
182-183 2 p. 121-137
17 p.
artikel
386 Interventions and belief change in possibilistic graphical models Benferhat, Salem
2010
182-183 2 p. 177-189
13 p.
artikel
387 Introduction to the Special Review Issue Perlis, Don
2005
182-183 2 p. 103-
1 p.
artikel
388 Justification and defeat Pollock, John L
1994
182-183 2 p. 377-407
31 p.
artikel
389 Knowledge and reasoning in program synthesis Manna, Zohar
1975
182-183 2 p. 175-208
34 p.
artikel
390 Knowledge caching for sensor-based systems Roth, Yuval
1994
182-183 2 p. 257-280
24 p.
artikel
391 La Jolla Conference on Cognitive Science 1979
182-183 2 p. 203-
1 p.
artikel
392 Lambda-Calculus Conference 1979
182-183 2 p. 205-
1 p.
artikel
393 Languages with self-reference II Perlis, Donald
1988
182-183 2 p. 179-212
34 p.
artikel
394 Lattice-theoretic models of conjectures, hypotheses and consequences Ying, Mingsheng
2002
182-183 2 p. 253-267
15 p.
artikel
395 Learning by creatifying transfer frames Winston, Patrick H.
1978
182-183 2 p. 147-172
26 p.
artikel
396 Learning cost-sensitive active classifiers ☆ ☆ This extends the short conference paper [19]. Greiner, Russell
2002
182-183 2 p. 137-174
38 p.
artikel
397 Least third-order cumulant method with adaptive regularization parameter selection for neural networks Leung, Chi-Tat
2001
182-183 2 p. 169-197
29 p.
artikel
398 Letters on reviews 1985
182-183 2 p. 231-
1 p.
artikel
399 Letter to the editor Brüning, S.
1993
182-183 2 p. 353-354
2 p.
artikel
400 Levesque's axiomatization of only knowing is incomplete Halpern, Joseph Y.
1995
182-183 2 p. 381-387
7 p.
artikel
401 Lexicographic priorities in default logic Rintanen, Jussi
1998
182-183 2 p. 221-265
45 p.
artikel
402 Limited reasoning in first-order knowledge bases Lakemeyer, Gerhard
1994
182-183 2 p. 213-255
43 p.
artikel
403 1987 Linguistic institute 1987
182-183 2 p. 263-264
2 p.
artikel
404 Local Models Semantics, or contextual reasoning=locality+compatibility ☆ ☆ This paper is a substantially revised and extended version of a paper with the same title presented at the 1998 Knowledge Representation and Reasoning Conference (KR'98). The order of the names is alphabetical. Ghidini, Chiara
2001
182-183 2 p. 221-259
39 p.
artikel
405 Local search characteristics of incomplete SAT procedures Schuurmans, Dale
2001
182-183 2 p. 121-150
30 p.
artikel
406 Logical analysis of binary data with missing bits Boros, Endre
1999
182-183 2 p. 219-263
45 p.
artikel
407 Long-distance mutual exclusion for planning Chen, Yixin
2009
182-183 2 p. 365-391
27 p.
artikel
408 Loop formulas for circumscription Lee, Joohyung
2006
182-183 2 p. 160-185
26 p.
artikel
409 Low overhead alternatives to SSS∗ Marsland, T.A.
1987
182-183 2 p. 185-199
15 p.
artikel
410 Machine learning: An artificial intelligence approach Stefik, Mark J.
1985
182-183 2 p. 236-238
3 p.
artikel
411 Machine learning: An artificial intelligence approach VanLehn, Kurt
1985
182-183 2 p. 233-236
4 p.
artikel
412 Making compromises among antagonist constraints in a planner Descotte, Yannick
1985
182-183 2 p. 183-217
35 p.
artikel
413 Master Index—Volumes 121–130 2001
182-183 2 p. 239-246
8 p.
artikel
414 Master index—Volumes 71–80 1996
182-183 2 p. 369-380
12 p.
artikel
415 Master index—Volumes 51–60 1993
182-183 2 p. 365-377
13 p.
artikel
416 Mechanism design for automated negotiation, and its application to task oriented domains Zlotkin, Gilad
1996
182-183 2 p. 195-244
50 p.
artikel
417 Metacognition in computation: A selected research review Cox, Michael T.
2005
182-183 2 p. 104-141
38 p.
artikel
418 Minds, machines, and evolution Stefik, Mark J.
1985
182-183 2 p. 237-245
9 p.
artikel
419 Miracles in formal theories of action Lifschitz, Vladimir
1989
182-183 2 p. 225-237
13 p.
artikel
420 Model-based reasoning about learner behaviour de Koning, Kees
2000
182-183 2 p. 173-229
57 p.
artikel
421 Modeling a dynamic environment using a Bayesian multiple hypothesis approach Cox, Ingemar J.
1994
182-183 2 p. 311-344
34 p.
artikel
422 Modeling belief in dynamic systems, part I: Foundations Friedman, Nir
1997
182-183 2 p. 257-316
60 p.
artikel
423 Modelling student's problem solving Sleeman, D.H.
1981
182-183 2 p. 171-187
17 p.
artikel
424 Model simplification by asymptotic order of magnitude reasoning Yip, Kenneth Man-kam
1996
182-183 2 p. 309-348
40 p.
artikel
425 Multiagent control of self-reconfigurable robots Bojinov, Hristo
2002
182-183 2 p. 99-120
22 p.
artikel
426 Multiagent learning using a variable learning rate Bowling, Michael
2002
182-183 2 p. 215-250
36 p.
artikel
427 Multiagent negotiation under time constraints Kraus, Sarit
1995
182-183 2 p. 297-345
49 p.
artikel
428 Multilevel counterfactuals for generalizations of relational concepts and productions Vere, Steven A.
1980
182-183 2 p. 139-164
26 p.
artikel
429 Multi-modal diagnosis combining case-based and model-based reasoning: a formal and experimental analysis Portinale, Luigi
2004
182-183 2 p. 109-153
45 p.
artikel
430 Music and connectionism Garton, Brad
1995
182-183 2 p. 387-398
12 p.
artikel
431 Music, mind and machine: Studies in computer music, music cognition and artificial intelligence Smoliar, Stephen W.
1995
182-183 2 p. 361-371
11 p.
artikel
432 Naming and identity in epistemic logic part II: a first-order logic for naming Grove, Adam J.
1995
182-183 2 p. 311-350
40 p.
artikel
433 Narrative prose generation Callaway, Charles B.
2002
182-183 2 p. 213-252
40 p.
artikel
434 NATO symposium on artificial and human intelligence 1981
182-183 2 p. 223-224
2 p.
artikel
435 Natural and artificial intelligence (conceptual approach) — materials of the Fourth International Joint Conference on Artificial Intelligence Schukin, Yefim
1977
182-183 2 p. 233-238
6 p.
artikel
436 Natural language processing Grosz, Barbara J.
1982
182-183 2 p. 131-136
6 p.
artikel
437 Navigational strategies in behaviour modelling Dee, Hannah M.
2009
182-183 2 p. 329-342
14 p.
artikel
438 Nested abnormality theories Lifschitz, Vladimir
1995
182-183 2 p. 351-365
15 p.
artikel
439 Neural network ensembles: evaluation of aggregation algorithms Granitto, P.M.
2005
182-183 2 p. 139-162
24 p.
artikel
440 Nonmonotonic inconsistency Cross, Charles B.
2003
182-183 2 p. 161-178
18 p.
artikel
441 Nonmonotonic inference based on expectations Gärdenfors, Peter
1994
182-183 2 p. 197-245
49 p.
artikel
442 Notes on “a clash of intuitions” Neufeld, Eric
1991
182-183 2 p. 225-240
16 p.
artikel
443 [No title] Anderson, Michael L.
2010
182-183 2 p. 152-154
3 p.
artikel
444 [No title] Goebel, R.G.
2010
182-183 2 p. 155-
1 p.
artikel
445 [No title] Murphy, Kevin
2010
182-183 2 p. 145-146
2 p.
artikel
446 [No title] Xiang, Yang
2010
182-183 2 p. 147-151
5 p.
artikel
447 [No title] Roth-Berghofer, Thomas
2010
182-183 2 p. 143-144
2 p.
artikel
448 [No title] Benferhat, Salem
2010
182-183 2 p. 134-139
6 p.
artikel
449 [No title] Sierra, Carles
2010
182-183 2 p. 140-142
3 p.
artikel
450 [No title] Blum, Christian
2005
182-183 2 p. 261-264
4 p.
artikel
451 [No title] Hawkins, Jeff
2005
182-183 2 p. 196-200
5 p.
artikel
452 [No title] Pearl, Judea
2005
182-183 2 p. 180-
1 p.
artikel
453 [No title] Barták, Roman
2005
182-183 2 p. 142-145
4 p.
artikel
454 [No title] Davis, Martin
2005
182-183 2 p. 209-210
2 p.
artikel
455 [No title] Oates, Tim
2005
182-183 2 p. 146-149
4 p.
artikel
456 [No title] Taylor, John G.
2005
182-183 2 p. 192-195
4 p.
artikel
457 [No title] Kyburg Jr., Henry E.
2005
182-183 2 p. 174-179
6 p.
artikel
458 Objective probabilities in expert systems Sucar, L.E.
1993
182-183 2 p. 187-208
22 p.
artikel
459 Off-line reasoning for on-line efficiency: knowledge bases Moses, Yoram
1996
182-183 2 p. 229-239
11 p.
artikel
460 On agent-based software engineering Jennings, Nicholas R.
2000
182-183 2 p. 277-296
20 p.
artikel
461 On calibrating computer controlled cameras for perceiving 3-D scenes Sobel, Irwin
1974
182-183 2 p. 185-198
14 p.
artikel
462 On computation and cognition: Toward a foundation of cognitive science Pylyshyn, Zenon
1989
182-183 2 p. 248-251
4 p.
artikel
463 On conjectures in orthocomplemented lattices Trillas, Enric
2000
182-183 2 p. 255-275
21 p.
artikel
464 On embedding default logic into Moore's autoepistemic logic Schwarz, Grigori
1996
182-183 2 p. 349-359
11 p.
artikel
465 On Epistemology and cognition Goldman, Alvin I.
1988
182-183 2 p. 265-267
3 p.
artikel
466 On intelligence as memory Feldman, Jerome A.
2005
182-183 2 p. 181-183
3 p.
artikel
467 Online planning for multi-agent systems with bounded communication Wu, Feng
2011
182-183 2 p. 487-511
25 p.
artikel
468 On machine intelligence Lee, R.C.T.
1975
182-183 2 p. 213-214
2 p.
artikel
469 On prediction in theorist Thielscher, Michael
1993
182-183 2 p. 283-292
10 p.
artikel
470 On Sandewall's paper: Nonmonotonic inference rules for multiple inheritance with exceptions Simonet, Geneviève
1996
182-183 2 p. 359-374
16 p.
artikel
471 On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games Dung, Phan Minh
1995
182-183 2 p. 321-357
37 p.
artikel
472 On the branching factor of the alpha-beta pruning algorithm Baudet, Gérard M.
1978
182-183 2 p. 173-199
27 p.
artikel
473 On the complexity of inference about probabilistic relational models Jaeger, Manfred
2000
182-183 2 p. 297-308
12 p.
artikel
474 On the computational complexity of querying bounds on differences constraints Brusoni, Vittorio
1995
182-183 2 p. 367-379
13 p.
artikel
475 On the consistency of defeasible databases Goldszmidt, Moisés
1991
182-183 2 p. 121-149
29 p.
artikel
476 On the existence of nonterminating queries for a restricted class of PROLOG-clauses de Schreye, Danny
1989
182-183 2 p. 237-248
12 p.
artikel
477 On the independence assumption underlying subjective bayesian updating Pednault, E.P.D.
1981
182-183 2 p. 213-222
10 p.
artikel
478 On the justification of Dempster's rule of combination Voorbraak, Frans
1991
182-183 2 p. 171-197
27 p.
artikel
479 On the logic of causal explanation Lifschitz, Vladimir
1997
182-183 2 p. 451-465
15 p.
artikel
480 On the origin of objects Loui, R.P.
1998
182-183 2 p. 353-358
6 p.
artikel
481 On the range of applicability of an artificial intelligence machine Shaw, David Elliot
1987
182-183 2 p. 151-172
22 p.
artikel
482 Ontic: A knowledge representation system for mathematics Shankar, Natarajan
1993
182-183 2 p. 355-362
8 p.
artikel
483 On understanding computers and cognition: A new foundation for design Winograd, Terry
1987
182-183 2 p. 250-261
12 p.
artikel
484 Ordered binary decision diagrams as knowledge-bases Horiyama, Takashi
2002
182-183 2 p. 189-213
25 p.
artikel
485 Ordering conjunctive queries Smith, David E.
1985
182-183 2 p. 171-215
45 p.
artikel
486 Order-sorted logic programming with predicate hierarchy Kaneiwa, Ken
2004
182-183 2 p. 155-188
34 p.
artikel
487 ORIA 87—Artificial intelligence and sea 1987
182-183 2 p. 263-
1 p.
artikel
488 Pattern classification and scene analysis 1973
182-183 2 p. 139-143
5 p.
artikel
489 Pattern-directed inference systems Young, Richard
1979
182-183 2 p. 197-202
6 p.
artikel
490 Pattern knowledge and search:The SUPREM architecture Berliner, Hans
1989
182-183 2 p. 161-198
38 p.
artikel
491 Performance of linear-space search algorithms Zhang, Weixiong
1995
182-183 2 p. 241-292
52 p.
artikel
492 Phase transitions in artificial intelligence systems Huberman, Bernardo A.
1987
182-183 2 p. 155-171
17 p.
artikel
493 Plan coordination by revision in collective agent based systems Tonino, Hans
2002
182-183 2 p. 121-145
25 p.
artikel
494 Planning and meta-planning (MOLGEN: Part 2) Stefik, Mark
1981
182-183 2 p. 141-169
29 p.
artikel
495 Planning and understanding: A computational approach to human reasoning Berlin, Daniel
1984
182-183 2 p. 242-244
3 p.
artikel
496 Planning and understanding: A computational approach to human reasoning Russell, Daniel M.
1984
182-183 2 p. 239-242
4 p.
artikel
497 Planning as constraint satisfaction: Solving the planning graph by compiling it into CSP Do, Minh Binh
2001
182-183 2 p. 151-182
32 p.
artikel
498 Planning in a hierarchy of abstraction spaces Sacerdoti, Earl D.
1974
182-183 2 p. 115-135
21 p.
artikel
499 Planning parallel actions Lingard, A.R.
1998
182-183 2 p. 261-324
64 p.
artikel
500 Planning routes through uncertain territory McDermott, Drew
1984
182-183 2 p. 107-156
50 p.
artikel
501 Planning with constraints (MOLGEN: Part 1) Stefik, Mark
1981
182-183 2 p. 111-139
29 p.
artikel
502 Point algebras for temporal reasoning: Algorithms and complexity Broxvall, Mathias
2003
182-183 2 p. 179-220
42 p.
artikel
503 Possible world semantics and autoepistemic reasoning Li, Liwu
1994
182-183 2 p. 281-320
40 p.
artikel
504 Pragmatics and natural language generation Hovy, Eduard H.
1990
182-183 2 p. 153-197
artikel
505 Preface Kitano, Hiroaki
1999
182-183 2 p. 189-191
3 p.
artikel
506 Principles of human—computer collaboration for knowledge discovery in science Valdés-Pérez, Raúl E.
1999
182-183 2 p. 335-346
12 p.
artikel
507 Problem difficulty for tabu search in job-shop scheduling Watson, Jean-Paul
2003
182-183 2 p. 189-217
29 p.
artikel
508 Problem solving with the ATMS de Kleer, Johan
1986
182-183 2 p. 197-224
28 p.
artikel
509 Procedural control in production systems Georgeff, M.P.
1982
182-183 2 p. 175-201
27 p.
artikel
510 Processing of semantic nets on dataflow architectures Bic, Lubomir
1985
182-183 2 p. 219-227
9 p.
artikel
511 Prolog and natural-language analysis Shankar, C.Ravi
1989
182-183 2 p. 275-278
4 p.
artikel
512 Proof by consistency Kapur, Deepak
1987
182-183 2 p. 125-157
33 p.
artikel
513 Prototypical knowledge for expert systems Aikins, Janice S.
1983
182-183 2 p. 163-210
48 p.
artikel
514 Proving properties of states in the situation calculus Reiter, Raymond
1993
182-183 2 p. 337-351
15 p.
artikel
515 Pruning algorithms for multi-model adversary search Carmel, David
1998
182-183 2 p. 325-355
31 p.
artikel
516 Qualitative and quantitative simulation: bridging the gap Berleant, Daniel
1997
182-183 2 p. 215-255
41 p.
artikel
517 Qualitatively faithful quantitative prediction Šuc, Dorian
2004
182-183 2 p. 189-214
26 p.
artikel
518 Qualitative representation of positional information Clementini, Eliseo
1997
182-183 2 p. 317-356
40 p.
artikel
519 Quantifying inductive bias: AI learning algorithms and Valiant's learning framework Haussler, David
1988
182-183 2 p. 177-221
45 p.
artikel
520 Quantum computation, quantum theory and AI Ying, Mingsheng
2010
182-183 2 p. 162-176
15 p.
artikel
521 Ranking games Brandt, Felix
2009
182-183 2 p. 221-239
19 p.
artikel
522 Rationality, transitivity, and contraposition Freund, Michael
1991
182-183 2 p. 191-203
13 p.
artikel
523 Reasoning about action I Ginsberg, Matthew L.
1988
182-183 2 p. 165-195
31 p.
artikel
524 Reasoning about truth Priest, G.
1989
182-183 2 p. 231-244
14 p.
artikel
525 Reasoning, nonmonotonicity and learning in connectionist networks that capture propositional knowledge Pinkas, Gadi
1995
182-183 2 p. 203-247
45 p.
artikel
526 Reasoning with minimal models: efficient algorithms and applications Ben-Eliyahu-Zohary, Rachel
1997
182-183 2 p. 421-449
29 p.
artikel
527 Reducing reexpansions in iterative-deepening search by controlling cutoff bounds Sarkar, U.K.
1991
182-183 2 p. 207-221
15 p.
artikel
528 Reduction rules for resolution-based systems Eisinger, Norbert
1991
182-183 2 p. 141-181
41 p.
artikel
529 Redundancy in logic I: CNF propositional formulae Liberatore, Paolo
2005
182-183 2 p. 203-232
30 p.
artikel
530 Refinements to depth-first iterative-deepening search in automatic theorem proving Nie, Xumin
1989
182-183 2 p. 223-235
13 p.
artikel
531 Relation algebras of intervals Hirsch, Robin
1996
182-183 2 p. 267-295
29 p.
artikel
532 Removing redundancy from a clause Gottlob, Georg
1993
182-183 2 p. 263-289
27 p.
artikel
533 Π-representation: A clause representation for parallel search Fishman, Daniel H.
1975
182-183 2 p. 103-127
25 p.
artikel
534 Representing action: indeterminacy and ramifications Giunchiglia, Enrico
1997
182-183 2 p. 409-438
30 p.
artikel
535 ReTAX: a step in the automation of taxonomic revision Alberdi, Eugenio
1997
182-183 2 p. 257-279
23 p.
artikel
536 Revenue monotonicity in deterministic, dominant-strategy combinatorial auctions Rastegari, Baharak
2011
182-183 2 p. 441-456
16 p.
artikel
537 Review of Natural Language Processing in R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences ☆ ☆ MIT Press, Cambridge, MA, 1999. CD-ROM. Price US$ 149.95. ISBN 0-262-73124-X. 1312 pages. Price US$ 149.95 (Cloth). ISBN 0-262-23200-6. Dorr, Bonnie Jean
2001
182-183 2 p. 185-189
5 p.
artikel
538 Review of R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences ☆ ☆ MIT Press, Cambridge, MA, 1999. 1312 pages. Price US$ 149.95 (Cloth). ISBN 0-262-23200-6. CD-ROM. Price US$ 149.95. ISBN 0-262-73124-X. Okamoto, Yoshi
2001
182-183 2 p. 211-212
2 p.
artikel
539 Rippling: A heuristic for guiding inductive proofs Bundy, Alan
1993
182-183 2 p. 185-253
69 p.
artikel
540 RoboCup: Today and tomorrow—What we have learned Asada, Minoru
1999
182-183 2 p. 193-214
22 p.
artikel
541 Robotics Lozano-Perez, Tomas
1982
182-183 2 p. 137-143
7 p.
artikel
542 Robot introspection through learned hidden Markov models Fox, Maria
2006
182-183 2 p. 59-113
55 p.
artikel
543 Robot shaping: developing autonomous agents through learning Dorigo, Marco
1994
182-183 2 p. 321-370
50 p.
artikel
544 Robust combinatorial auction protocol against false-name bids Yokoo, Makoto
2001
182-183 2 p. 167-181
15 p.
artikel
545 Robust logics Valiant, Leslie G.
2000
182-183 2 p. 231-253
23 p.
artikel
546 Robust reasoning: integrating rule-based and similarity-based reasoning Sun, Ron
1995
182-183 2 p. 241-295
55 p.
artikel
547 Rough approximation quality revisited Gediga, Günther
2001
182-183 2 p. 219-234
16 p.
artikel
548 SampleSearch: Importance sampling in presence of determinism Gogate, Vibhav
2011
182-183 2 p. 694-729
36 p.
artikel
549 Scientific discovery and simplicity of method Simon, Herbert A.
1997
182-183 2 p. 177-181
5 p.
artikel
550 Self-stabilizing defeat status computation: dealing with conflict management in multi-agent systems Baroni, Pietro
2005
182-183 2 p. 187-259
73 p.
artikel
551 Semantic interpretation and ambiguity Hirst, Graeme
1988
182-183 2 p. 131-177
47 p.
artikel
552 Semantics and cognition Kleiman, Ruben J.
1986
182-183 2 p. 225-235
11 p.
artikel
553 Shading into texture Pentland, Alex P.
1986
182-183 2 p. 147-170
24 p.
artikel
554 Shape from fractal geometry Chen, Susan S.
1990
182-183 2 p. 199-218
artikel
555 Shape from texture and contour by weak isotropy Gårding, Jonas
1993
182-183 2 p. 243-297
55 p.
artikel
556 Similarities and distinctions in sampling strategies for Genetic Algorithms Reynolds, David
1996
182-183 2 p. 375-390
16 p.
artikel
557 Similarity of personal preferences: Theoretical foundations and empirical analysis Ha, Vu
2003
182-183 2 p. 149-173
25 p.
artikel
558 Simple environments fail as illustrations of intelligence: A review of R. Pfeifer and C. Scheier, Understanding Intelligence ☆ ☆ MIT Press, Cambridge, MA, 1999. 700 pages. Price US$ 63.00 (cloth). ISBN 0-262-16181-8. Lane, Peter C.R.
2001
182-183 2 p. 261-267
7 p.
artikel
559 Sixth conference on automated deduction courant institute of mathematical sciences 1982
182-183 2 p. 265-
1 p.
artikel
560 Sloman's view of Gödel's sentence Bojadžiev, Damjan
1995
182-183 2 p. 389-393
5 p.
artikel
561 Some fundamental properties of local constraint propagation Güsgen, Hans-Werner
1988
182-183 2 p. 237-247
11 p.
artikel
562 Some improvements to the Shenoy-Shafer and Hugin architectures for computing marginals Schmidt, Tuija
1998
182-183 2 p. 323-333
11 p.
artikel
563 Some quantifiers require two-predicate scopes Cushing, Steven
1987
182-183 2 p. 259-267
9 p.
artikel
564 Sound and complete qualitative simulation is impossible Say, A.C.Cem
2003
182-183 2 p. 251-266
16 p.
artikel
565 Spatial reasoning in a fuzzy region connection calculus Schockaert, Steven
2009
182-183 2 p. 258-298
41 p.
artikel
566 Special issue of Artificial Intelligence on applications of AI 1997
182-183 2 p. 439-440
2 p.
artikel
567 Special Issue of the journal Artificial Intelligence on “AI & Law” Rissland, Edwina L.
2001
182-183 2 p. 271-272
2 p.
artikel
568 Special Issue of the journal Artificial Intelligence on “Fuzzy Set and Possibility Theory-Based Methods in Artificial Intelligence” Dubois, Didier
2001
182-183 2 p. 269-270
2 p.
artikel
569 Special Issue of the journal Artificial Intelligence on Reformulation Ellman, Thomas
2001
182-183 2 p. 231-232
2 p.
artikel
570 Special issue on computational tradeoffs under bounded resources 1998
182-183 2 p. 337-338
2 p.
artikel
571 Special issue on intelligent internet systems 1998
182-183 2 p. 335-
1 p.
artikel
572 Speech understanding systems: Final report of a study group Kassler, Michael
1975
182-183 2 p. 209-
1 p.
artikel
573 Speech-understanding systems: Final report of a study group Kassler, Michael
1975
182-183 2 p. 209-
1 p.
artikel
574 Subject Index—Volumes 121–130 2001
182-183 2 p. 247-250
4 p.
artikel
575 Surplus equivalence of leveled commitment contracts Sandholm, Tuomas
2002
182-183 2 p. 239-264
26 p.
artikel
576 Tail uncertainty analysis in complex systems Castillo, Enrique
1997
182-183 2 p. 395-419
25 p.
artikel
577 Task decomposition, dynamic role assignment, and low-bandwidth communication for real-time strategic teamwork Stone, Peter
1999
182-183 2 p. 241-273
33 p.
artikel
578 Task modeling with reusable problem-solving methods Eriksson, Henrik
1995
182-183 2 p. 293-326
34 p.
artikel
579 TEAM: An experiment in the design of transportable natural-language interfaces Grosz, Barbara J.
1987
182-183 2 p. 173-243
71 p.
artikel
580 Terminological reasoning is inherently intractable Nebel, Bernhard
1990
182-183 2 p. 235-249
artikel
581 The architecture of cognition VanLehn, Kurt
1986
182-183 2 p. 235-240
6 p.
artikel
582 The art of the metaobject protocol Gabriel, Richard P.
1993
182-183 2 p. 331-342
12 p.
artikel
583 The automated understanding of simple bar charts Elzer, Stephanie
2011
182-183 2 p. 526-555
30 p.
artikel
584 The B∗ tree search algorithm—New results Palay, Andrew J.
1982
182-183 2 p. 145-163
19 p.
artikel
585 The catalogue of artificial intelligence techniques 1987
182-183 2 p. 275-277
3 p.
artikel
586 The Cognitive Sciences: A comment on 6 reviews of The MIT Encyclopedia of the Cognitive Sciences Wilson, R.A
2001
182-183 2 p. 223-229
7 p.
artikel
587 The common order-theoretic structure of version spaces and ATMSs Gunter, Carl A.
1997
182-183 2 p. 357-407
51 p.
artikel
588 The complexity of achievement and maintenance problems in agent-based systems Stewart, Iain A.
2003
182-183 2 p. 175-191
17 p.
artikel
589 The complexity of approximating MAPs for belief networks with bounded probabilities Abdelbar, Ashraf M.
2000
182-183 2 p. 283-288
6 p.
artikel
590 The complexity of constraint satisfaction problems for small relation algebras Cristani, M.
2004
182-183 2 p. 177-196
20 p.
artikel
591 The complexity of path-based defeasible inheritance Selman, Bart
1993
182-183 2 p. 303-339
37 p.
artikel
592 The complexity of some polynomial network consistency algorithms for constraint satisfaction problems 1985
182-183 2 p. 247-
1 p.
artikel
593 The complexity of theory revision Greiner, Russell
1999
182-183 2 p. 175-217
43 p.
artikel
594 The computer revolution in science: steps towards the realization of computer-supported discovery environments de Jong, Hidde
1997
182-183 2 p. 225-256
32 p.
artikel
595 The description identification problem Mellish, Chris
1991
182-183 2 p. 151-167
17 p.
artikel
596 The ecology of computation Wellman, Michael P.
1991
182-183 2 p. 205-218
14 p.
artikel
597 The effect of bounding the number of primitive propositions and the depth of nesting on the complexity of modal logic Halpern, Joseph Y.
1995
182-183 2 p. 361-372
12 p.
artikel
598 The efficiency of the alpha-beta search on trees with branch-dependent terminal node scores Newborn, M.M.
1977
182-183 2 p. 137-153
17 p.
artikel
599 The expanding breadth of artificial intelligence research Goebel, Randy
2010
182-183 2 p. 133-
1 p.
artikel
600 The extended global cardinality constraint: An empirical survey Nightingale, Peter
2011
182-183 2 p. 586-614
29 p.
artikel
601 The fifth generation: Artificial intelligence and Japan's computer challenge to the world de Kleer, Johan
1984
182-183 2 p. 222-226
5 p.
artikel
602 The fifth generation: Artificial intelligence and Japan's computer challenge to the world Stefik, Mark
1984
182-183 2 p. 219-222
4 p.
artikel
603 The importance of open and recursive circumscription Besnard, Philippe
1989
182-183 2 p. 251-262
12 p.
artikel
604 The influence of social norms and social consciousness on intention reconciliation Grosz, Barbara J.
2002
182-183 2 p. 147-177
31 p.
artikel
605 The invention of memory: A new view of the brain Clancey, William J.
1991
182-183 2 p. 241-284
44 p.
artikel
606 The logical foundations of goal-regression planning in autonomous agents Pollock, John L.
1998
182-183 2 p. 267-334
68 p.
artikel
607 The mind's new labels?: Review of R.A. Wilson and F.C. Keil (Eds.), The MIT Encyclopedia of the Cognitive Sciences ☆ ☆ MIT Press, Cambridge, MA, 1999. 1312 pages. Price US$ 149.95 (Cloth). ISBN 0-262-23200-6. CD-ROM. Price US$ 149.95. ISBN 0-262-73124-X. Peterson, Donald M.
2001
182-183 2 p. 213-216
4 p.
artikel
608 The MIT Encyclopedia of the Cognitive Sciences, edited by Robert Wilson and Frank Keil ☆ ☆ MIT Press, Cambridge, MA, 1999. 1312 pages. Price US$ 149.95. ISBN 0-262-23200-6. CD-ROM. Price US$ 149.95. ISBN 0-262-73124-X. Carr, Catherine
2001
182-183 2 p. 183-184
2 p.
artikel
609 The multi-player version of minimax displays game-tree pathology Mutchler, David
1993
182-183 2 p. 323-336
14 p.
artikel
610 The music collection Smoliar, Stephen W.
1995
182-183 2 p. 341-342
2 p.
artikel
611 The nature of heuristics Lenat, Douglas B.
1982
182-183 2 p. 189-249
61 p.
artikel
612 The organization of expert systems, a tutorial Stefik, Mark
1982
182-183 2 p. 135-173
39 p.
artikel
613 Theory refinement combining analytical and empirical methods Ourston, Dirk
1994
182-183 2 p. 273-309
37 p.
artikel
614 Theory revision with queries: Horn, read-once, and parity formulas Goldsmith, Judy
2004
182-183 2 p. 139-176
38 p.
artikel
615 The prize of symbiosis 1987
182-183 2 p. 266-268
3 p.
artikel
616 The scope of the cognitive sciences: Reply to 6 reviews of The MIT Encyclopedia of the Cognitive Sciences Keil, F.C.
2001
182-183 2 p. 217-221
5 p.
artikel
617 The strange, familiar, and forgotten: An anatomy of consciousness Clancey, William J.
1993
182-183 2 p. 313-356
44 p.
artikel
618 The transferable belief model Smets, Philippe
1994
182-183 2 p. 191-234
44 p.
artikel
619 Third Advanced Course on Foundations of Computer Science 1978
182-183 2 p. 224-
1 p.
artikel
620 Time-efficient state space search Reinefeld, Alexander
1994
182-183 2 p. 397-408
12 p.
artikel
621 Towards a general theory of action and time Allen, James F.
1984
182-183 2 p. 123-154
32 p.
artikel
622 Tractable constraints on ordered domains Jeavons, Peter G.
1995
182-183 2 p. 327-339
13 p.
artikel
623 Tractable reasoning via approximation Schaerf, Marco
1995
182-183 2 p. 249-310
62 p.
artikel
624 Truth and meaning Perlis, Donald
1989
182-183 2 p. 245-250
6 p.
artikel
625 Two party immediate response disputes: Properties and efficiency Dunne, Paul E.
2003
182-183 2 p. 221-250
30 p.
artikel
626 Uncovering trees in constraint networks Meiri, Itay
1996
182-183 2 p. 245-267
23 p.
artikel
627 Undecidability of subsumption in NIKL Patel-Schneider, Peter F.
1989
182-183 2 p. 263-272
10 p.
artikel
628 Understanding computers and cognition: A new foundation for design Stefik, Mark J.
1987
182-183 2 p. 220-226
7 p.
artikel
629 Understanding computers and cognition: A new foundation for design Clancey, William J.
1987
182-183 2 p. 232-250
19 p.
artikel
630 Understanding computers and cognition: A new foundation for design Suchman, Lucy A.
1987
182-183 2 p. 227-232
6 p.
artikel
631 Understanding computers and cognition: A new foundation for design Vellino, André
1987
182-183 2 p. 213-220
8 p.
artikel
632 Understanding computers and cognition: A new foundation for design Stefik, Mark J.
1987
182-183 2 p. 213-
1 p.
artikel
633 Understanding image intensities Horn, Berthold K.P.
1977
182-183 2 p. 201-231
31 p.
artikel
634 Understanding music with AI—Perspectives on cognitive musicology Wiggins, Geraint A.
1995
182-183 2 p. 373-385
13 p.
artikel
635 Understanding objects with curved surfaces from a single perspective view of boundaries Lee, Shih Jong
1985
182-183 2 p. 145-169
25 p.
artikel
636 Universal subgoaling and chunking: The automatic generation and learning of goal hierarchies Shrager, Jeff
1987
182-183 2 p. 269-273
5 p.
artikel
637 Using Grice's maxim of Quantity to select the content of plan descriptions Young, R.Michael
1999
182-183 2 p. 215-256
42 p.
artikel
638 Using meta-level inference for selective application of multiple rewrite rule sets in algebraic manipulation Bundy, Alan
1981
182-183 2 p. 189-211
23 p.
artikel
639 Using patterns and plans in chess Wilkins, David
1980
182-183 2 p. 165-203
39 p.
artikel
640 Using rewriting rules for connection graphs to prove theorems Chang, C.L.
1979
182-183 2 p. 159-178
20 p.
artikel
641 Using similarity criteria to make issue trade-offs in automated negotiations Faratin, P.
2002
182-183 2 p. 205-237
33 p.
artikel
642 Value minimization in circumscription Baral, China
1998
182-183 2 p. 163-186
24 p.
artikel
643 Variable precision logic Michalski, Ryszard S.
1986
182-183 2 p. 121-146
26 p.
artikel
644 Vehicles: Experiments in synthetic psychology Stefik, Mark J.
1985
182-183 2 p. 246-248
3 p.
artikel
645 Version spaces and the consistency problem Hirsh, Haym
2004
182-183 2 p. 115-138
24 p.
artikel
646 What does a conditional knowledge base entail? Lehmann, D
1994
182-183 2 p. 411-
1 p.
artikel
647 What's in a linkage? Review of: Glenn Kramer, solving geometric constraint systems Sacks, Elisha P.
1993
182-183 2 p. 343-349
7 p.
artikel
648 Why is AI so scary? Anderson, Michael L.
2005
182-183 2 p. 201-208
8 p.
artikel
649 Will it reach the top? Prediction in the mechanics world Bundy, Alan
1978
182-183 2 p. 129-146
18 p.
artikel
650 Wolfram's New Science: A New Start? Hennacy, Ken
2005
182-183 2 p. 150-164
15 p.
artikel
651 Worst-case analysis of the perception and exponentiated update algorithms Bylander, Tom
1998
182-183 2 p. 335-352
18 p.
artikel
                             651 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland