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
 
                             699 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Bayesian model of plan recognition Charniak, Eugene
1993
199-200 1 p. 53-79
27 p.
artikel
2 Abduction as belief revision Boutilier, Craig
1995
199-200 1 p. 43-94
52 p.
artikel
3 Abduction to plausible causes: an event-based model of belief update Boutilier, Craig
1996
199-200 1 p. 143-166
24 p.
artikel
4 Abductive reasoning through filtering Baral, Chitta
2000
199-200 1 p. 1-28
28 p.
artikel
5 Accelerating filtering techniques for numeric CSPs Lebbah, Yahia
2002
199-200 1 p. 109-132
24 p.
artikel
6 A comparison of two evidential reasoning schemes Lee, Chia-Hoang
1988
199-200 1 p. 127-134
8 p.
artikel
7 A computational model of belief Kaplan, Aaron N.
2000
199-200 1 p. 119-160
42 p.
artikel
8 A correction to “Agent searching in a tree and the optimality of iterative deepening” Dasgupta, Pallab
1995
199-200 1 p. 173-176
4 p.
artikel
9 A correction to the algorithm in reiter's theory of diagnosis Greiner, Russell
1989
199-200 1 p. 79-88
10 p.
artikel
10 Admissibility of AO∗ when heuristics overestimate Chakrabarti, P.P.
1987
199-200 1 p. 97-113
17 p.
artikel
11 Advances in connectionist and neural computation theory, volume 1: High-level connectionist models Rose, Daniel E.
1993
199-200 1 p. 129-139
11 p.
artikel
12 A first-order conditional logic for prototypical properties Delgrande, James P.
1987
199-200 1 p. 105-130
26 p.
artikel
13 A generalised quiescence search algorithm Beal, Don F.
1990
199-200 1 p. 85-98
14 p.
artikel
14 A generalization of collapsible cases of circumscription Rabinov, Arkady
1989
199-200 1 p. 111-117
7 p.
artikel
15 A general stability analysis on regional and national voting schemes against noise—why is an electoral college more stable than a direct popular election? Chen, Liang
2005
199-200 1 p. 47-66
20 p.
artikel
16 Agent-oriented programming Shoham, Yoav
1993
199-200 1 p. 51-92
42 p.
artikel
17 Agent searching in a tree and the optimality of iterative deepening Dasgupta, Pallab
1994
199-200 1 p. 195-208
14 p.
artikel
18 A heuristic search algorithm with modifiable estimate Mérõ, László
1984
199-200 1 p. 13-27
15 p.
artikel
19 A language and a program for stating and solving combinatorial problems Lauriere, Jena-Lonis
1978
199-200 1 p. 29-127
99 p.
artikel
20 A linear constraint satisfaction approach to cost-based abduction Santos Jr, Eugene
1994
199-200 1 p. 1-27
27 p.
artikel
21 A logical framework for default reasoning Poole, David
1988
199-200 1 p. 27-47
21 p.
artikel
22 A logic for reasoning with inconsistent knowledge Roos, Nico
1992
199-200 1 p. 69-103
35 p.
artikel
23 A logic of delegation Norman, Timothy J.
2010
199-200 1 p. 51-71
21 p.
artikel
24 Alternative foundations for Reiter's default logic Linke, Thomas
2000
199-200 1 p. 31-86
56 p.
artikel
25 A man-machine theorem-proving system Bledsoe, W.W.
1974
199-200 1 p. 51-72
22 p.
artikel
26 A model for belief revision Martins, João P.
1988
199-200 1 p. 25-79
55 p.
artikel
27 An agenda-based framework for multi-issue negotiation Fatima, Shaheen S.
2004
199-200 1 p. 1-45
45 p.
artikel
28 An AGM-style belief revision mechanism for probabilistic spatio-temporal logics Grant, John
2010
199-200 1 p. 72-104
33 p.
artikel
29 An algebraic approach to shape-from-image problems Sugihara, Kokichi
1984
199-200 1 p. 59-95
37 p.
artikel
30 An algorithm to compute circumscription Przymusinski, Teodor C.
1989
199-200 1 p. 49-73
25 p.
artikel
31 An apprentice-based approach to knowledge acquisition Mahadevan, Sridhar
1993
199-200 1 p. 1-52
52 p.
artikel
32 An approach to default reasoning based on a first-order conditional logic: Revised report Delgrande, James P.
1988
199-200 1 p. 63-90
28 p.
artikel
33 An associative-categorical model of word meaning Haralick, Robert M.
1975
199-200 1 p. 75-99
25 p.
artikel
34 An automatic proof of Gödel's incompleteness theorem Ammon, Kurt
1997
199-200 1 p. 203-207
5 p.
artikel
35 An efficient algorithm for searching implicit AND/OR graphs with cycles Jiménez, P.
2000
199-200 1 p. 1-30
30 p.
artikel
36 An event driven integration reasoning scheme for handling dynamic threats in an unstructured environment Xia, Yan
1997
199-200 1 p. 169-186
18 p.
artikel
37 A new approach to quantitative and credible diagnosis for multiple faults of components and sensors Washio, T.
1997
199-200 1 p. 103-130
28 p.
artikel
38 A new result on the complexity of heuristic estimates for the A★ algorithm Hansson, Othar
1992
199-200 1 p. 129-143
15 p.
artikel
39 An experimental evaluation of simplicity in rule learning Rückert, Ulrich
2008
199-200 1 p. 19-28
10 p.
artikel
40 An experimental program transformation and synthesis system Darlington, John
1981
199-200 1 p. 1-46
46 p.
artikel
41 Animate vision Ballard, Dana H.
1991
199-200 1 p. 57-86
30 p.
artikel
42 An incremental algorithm for generating all minimal models Ben-Eliyahu – Zohary, Rachel
2005
199-200 1 p. 1-22
22 p.
artikel
43 An incremental negamax algorithm Althöfer, Ingo
1990
199-200 1 p. 57-65
9 p.
artikel
44 An information-based neural approach to generic constraint satisfaction Jönsson, Henrik
2002
199-200 1 p. 1-17
17 p.
artikel
45 An interpreter for a language for describing assemblies Popplestone, R.J.
1980
199-200 1 p. 79-107
29 p.
artikel
46 Announcement 1996
199-200 1 p. 189-190
2 p.
artikel
47 Announcement 1997
199-200 1 p. 209-
1 p.
artikel
48 Announcement 1995
199-200 1 p. 197-198
2 p.
artikel
49 Announcement 1989
199-200 1 p. 135-136
2 p.
artikel
50 Announcement 1989
199-200 1 p. 141-142
2 p.
artikel
51 Announcement 1994
199-200 1 p. 195-196
2 p.
artikel
52 Announcement 1993
199-200 1 p. 181-182
2 p.
artikel
53 Announcement 1993
199-200 1 p. 179-180
2 p.
artikel
54 Announcement 1976
199-200 1 p. 87-
1 p.
artikel
55 Announcements 1995
199-200 1 p. 195-198
4 p.
artikel
56 Announcements 1991
199-200 1 p. 115-118
4 p.
artikel
57 Announcements 1992
199-200 1 p. 131-133
3 p.
artikel
58 Announcements 1993
199-200 1 p. 189-192
4 p.
artikel
59 Announcements 1994
199-200 1 p. 201-206
6 p.
artikel
60 Announcements 1989
199-200 1 p. 117-122
6 p.
artikel
61 Announcements 1987
199-200 1 p. 143-151
9 p.
artikel
62 Announcements 1991
199-200 1 p. 133-137
5 p.
artikel
63 Announcements 1991
199-200 1 p. 135-140
6 p.
artikel
64 Announcements 1987
199-200 1 p. 125-128
4 p.
artikel
65 Announcements 1992
199-200 1 p. 117-121
5 p.
artikel
66 Announcements 1988
199-200 1 p. 139-145
7 p.
artikel
67 Announcements 1975
199-200 1 p. 101-
1 p.
artikel
68 1981 Annual conference of the British Society for the Philosophy of Science 1981
199-200 1 p. 109-
1 p.
artikel
69 A non-reified temporal logic Bacchus, Fahiem
1991
199-200 1 p. 87-108
22 p.
artikel
70 An optimal backtrack algorithm for tree-structured constraint satisfaction problems Bayardo Jr, Roberto J.
1994
199-200 1 p. 159-181
23 p.
artikel
71 An optimal k-consistency algorithm Cooper, Martin C.
1989
199-200 1 p. 89-95
7 p.
artikel
72 An unfair review of Margaret Boden's The Creative Mind from the perspective of creative systems Perkins, David
1995
199-200 1 p. 97-109
13 p.
artikel
73 A pattern classification approach to evaluation function learning Lee, Kai-Fu
1988
199-200 1 p. 1-25
25 p.
artikel
74 A planning system for robot construction tasks Elliott Fahlman, Scott
1974
199-200 1 p. 1-49
49 p.
artikel
75 Applications of artificial intelligence for organic chemistry: Analysis of C-13 spectra Gray, Neil A.B.
1984
199-200 1 p. 1-21
21 p.
artikel
76 Applications of circumscription to formalizing common-sense knowledge McCarthy, John
1986
199-200 1 p. 89-116
28 p.
artikel
77 Approximate inference in Boltzmann machines Welling, Max
2003
199-200 1 p. 19-50
32 p.
artikel
78 Approximating MAPs for belief networks is NP-hard and other theorems Abdelbar, Ashraf M.
1998
199-200 1 p. 21-38
18 p.
artikel
79 Approximating probabilistic inference in Bayesian belief networks is NP-hard Dagum, Paul
1993
199-200 1 p. 141-153
13 p.
artikel
80 A practical guide to knowledge acquisition Marcus, Sandra
1993
199-200 1 p. 167-170
4 p.
artikel
81 A preferential, pattern-seeking, Semantics for natural language inference Wilks, Yorick
1975
199-200 1 p. 53-74
22 p.
artikel
82 Arc-consistency and arc-consistency again Bessière, Christian
1994
199-200 1 p. 179-190
12 p.
artikel
83 A R eal generalization of discrete AdaBoost Nock, Richard
2007
199-200 1 p. 25-41
17 p.
artikel
84 A relaxation approach to splitting in an automatic theorem prover Nevins, Arthur J.
1975
199-200 1 p. 25-39
15 p.
artikel
85 A representation theorem for minmax regret policies Li, Sanjiang
2007
199-200 1 p. 19-24
6 p.
artikel
86 Artificial intelligence Rada, Roy
1986
199-200 1 p. 119-121
3 p.
artikel
87 Artificial intelligence Reese, Donna
1985
199-200 1 p. 127-128
2 p.
artikel
88 Artificial intelligence and learning environments: Preface Clancey, William J.
1990
199-200 1 p. 1-6
6 p.
artikel
89 Artificial intelligence and robotics Brady, Michael
1985
199-200 1 p. 79-121
43 p.
artikel
90 Artificial intelligence: an empirical science Simon, Herbert A.
1995
199-200 1 p. 95-127
33 p.
artikel
91 Artificial intelligence—A personal view Marr, D.
1977
199-200 1 p. 37-48
12 p.
artikel
92 Artificial intelligence applications in chemistry 1985
199-200 1 p. 112-113
2 p.
artikel
93 Artificial nonmonotonic neural networks Boutsinas, B.
2001
199-200 1 p. 1-38
38 p.
artikel
94 Artificial Paranoia Colby, Kenneth Mark
1971
199-200 1 p. 1-25
25 p.
artikel
95 A semantic backward chaining proof system Nie, Xumin
1992
199-200 1 p. 109-128
20 p.
artikel
96 A semantic characterization of a useful fragment of the situation calculus with knowledge Lakemeyer, Gerhard
2011
199-200 1 p. 142-164
23 p.
artikel
97 A semantics for reasoning consistently in the presence of inconsistency Lin, Jinxin
1996
199-200 1 p. 75-95
21 p.
artikel
98 A spatially-oriented information processor which simulates the motions of rigid objects Baker, Richard
1973
199-200 1 p. 29-40
12 p.
artikel
99 A spectrum of definitions for temporal model-based diagnosis Brusoni, Vittorio
1998
199-200 1 p. 39-79
41 p.
artikel
100 Assumptions, beliefs and probabilities Laskey, Kathryn Blackmond
1989
199-200 1 p. 65-77
13 p.
artikel
101 A structural theory of explanation-based learning Etzioni, Oren
1993
199-200 1 p. 93-139
47 p.
artikel
102 A theorem on the consistency of circumscription Mott, Peter L.
1987
199-200 1 p. 87-98
12 p.
artikel
103 A theoretical analysis of conjunctive-goal problems Joslin, David
1989
199-200 1 p. 97-106
10 p.
artikel
104 A theoretical framework on proactive information exchange in agent teamwork Fan, Xiaocong
2005
199-200 1 p. 23-97
75 p.
artikel
105 A theory of diagnosis from first principles Reiter, Raymond
1987
199-200 1 p. 57-95
39 p.
artikel
106 A theory of nonmonotonic inheritance based on annotated logic Thirunarayan, Krishnaprasad
1993
199-200 1 p. 23-50
28 p.
artikel
107 Attributive concept descriptions with complements Schmidt-Schauß, Manfred
1991
199-200 1 p. 1-26
26 p.
artikel
108 A tunable distance measure for coloured solid models Aisbett, Janet
1994
199-200 1 p. 143-164
22 p.
artikel
109 Audiences in argumentation frameworks Bench-Capon, Trevor J.M.
2007
199-200 1 p. 42-71
30 p.
artikel
110 A unified framework for explanation-based generalization of partially ordered and partially instantiated plans Kambhampati, Subbarao
1994
199-200 1 p. 29-70
42 p.
artikel
111 A unifying action calculus Thielscher, Michael
2011
199-200 1 p. 120-141
22 p.
artikel
112 A unifying approach to temporal constraint reasoning Jonsson, Peter
1998
199-200 1 p. 143-155
13 p.
artikel
113 Author index—Volumes 1–89 1997
199-200 1 p. 229-299
71 p.
artikel
114 Autoepistemic logic of knowledge and beliefs Przymusinski, Teodor C.
1997
199-200 1 p. 115-154
40 p.
artikel
115 Automated reasoning about machines Gelsey, Andrew
1995
199-200 1 p. 1-53
53 p.
artikel
116 Automated space planning Eastman, Charles M.
1973
199-200 1 p. 41-64
24 p.
artikel
117 Automatic analysis of one-parameter planar ordinary differential equations by intelligent numeric simulation Sacks, Elisha P.
1991
199-200 1 p. 27-56
30 p.
artikel
118 Automatic cinematography and multilingual NLG for generating video documentaries Callaway, Charles
2005
199-200 1 p. 57-89
33 p.
artikel
119 Automatic identification of music performers with learning ensembles Stamatatos, Efstathios
2005
199-200 1 p. 37-56
20 p.
artikel
120 Automatic theorem proving in set theory Pastre, D.
1978
199-200 1 p. 1-27
27 p.
artikel
121 Awards: IJCAI-87 international joint conference on artificial intelligence 1986
199-200 1 p. 111-113
3 p.
artikel
122 Backtracking algorithms for disjunctions of temporal constraints Stergiou, Kostas
2000
199-200 1 p. 81-117
37 p.
artikel
123 Belief, awareness, and limited reasoning Fagin, Ronald
1987
199-200 1 p. 39-76
38 p.
artikel
124 Belief, information acquisition, and trust in multi-agent systems—A modal logic formulation Liau, Churn-Jung
2003
199-200 1 p. 31-60
30 p.
artikel
125 Body and world: a review of What Computers Still Can't Do: A critique of artificial reason (Hubert L. Dreyfus) Haugeland, John
1996
199-200 1 p. 119-128
10 p.
artikel
126 Books received 1991
199-200 1 p. 113-115
3 p.
artikel
127 Books received 1987
199-200 1 p. 133-134
2 p.
artikel
128 Books received 1985
199-200 1 p. 111-112
2 p.
artikel
129 Books received 1986
199-200 1 p. 117-118
2 p.
artikel
130 Books received 1993
199-200 1 p. 185-188
4 p.
artikel
131 Books received 1987
199-200 1 p. 115-117
3 p.
artikel
132 Books received 1989
199-200 1 p. 107-109
3 p.
artikel
133 BORIS—An experiment in in-depth understanding of narratives Lehnert, Wendy G.
1983
199-200 1 p. 15-62
48 p.
artikel
134 Bounded treewidth as a key to tractability of knowledge representation and reasoning Gottlob, Georg
2010
199-200 1 p. 105-132
28 p.
artikel
135 Bounding the cost of learned rules Kim, Jihie
2000
199-200 1 p. 43-80
38 p.
artikel
136 B∗ probability based search Berliner, Hans J.
1996
199-200 1 p. 97-156
60 p.
artikel
137 Breadth-first search: Some surprising results Siklóssy, L.
1973
199-200 1 p. 1-27
27 p.
artikel
138 BS∗: An admissible bidirectional staged heuristic search algorithm Kwa, James B.H.
1989
199-200 1 p. 95-109
15 p.
artikel
139 Building expert systems de Kleer, Johan
1985
199-200 1 p. 105-107
3 p.
artikel
140 Building expert systems Dym, Clive L.
1985
199-200 1 p. 101-104
4 p.
artikel
141 Building large knowledge-based systems: Representation and inference in the cyc project Neches, Robert
1993
199-200 1 p. 65-79
15 p.
artikel
142 Building large knowledge-based systems: Representation and inference in the cyc project Skuce, Douglas
1993
199-200 1 p. 81-94
14 p.
artikel
143 Building large knowledge-based systems: Representation and inference in the cyc project Elkan, Charles
1993
199-200 1 p. 41-52
12 p.
artikel
144 Building large knowledge-based systems: Representation and inference in the cyc project Sowa, John F.
1993
199-200 1 p. 95-104
10 p.
artikel
145 Building large knowledge-based systems: Representation and inference in the cyc project McDermott, Drew
1993
199-200 1 p. 53-63
11 p.
artikel
146 Call for papers 1977
199-200 1 p. 109-110
2 p.
artikel
147 Call for papers 1977
199-200 1 p. 133-134
2 p.
artikel
148 Call for papers: AAAI-84 1984
199-200 1 p. 99-100
2 p.
artikel
149 Call for papers: Directions and implications of advanced computing 1987
199-200 1 p. 147-148
2 p.
artikel
150 Call for papers: ECAI-86 European conference on artificial intelligence 1985
199-200 1 p. 132-133
2 p.
artikel
151 Call for papers: FGCS '84 international conference on fifth generation computer systems 1984
199-200 1 p. 101-103
3 p.
artikel
152 Call for papers: First IFSA congress 1985
199-200 1 p. 114-
1 p.
artikel
153 Call for papers: Fourth international conference on logic programming 1987
199-200 1 p. 119-
1 p.
artikel
154 Call for papers: Fourth national conference of the canadian society for computational studies of intelligence 1982
199-200 1 p. 129-130
2 p.
artikel
155 Call for papers: Functional programming languages and computer architecture 1985
199-200 1 p. 113-
1 p.
artikel
156 Call for papers: IJCAI-87 international joint conference on artificial intelligence 1986
199-200 1 p. 109-111
3 p.
artikel
157 Call for papers: IJCAI-85 international joint conference on artificial intelligence 1985
199-200 1 p. 110-112
3 p.
artikel
158 Call for papers: Second international symposium on knowledge's engineering—Software engineering 1987
199-200 1 p. 114-117
4 p.
artikel
159 Call for papers: Special issue on computer graphics, and image processing on motion and time-varying imagery, and 1982
199-200 1 p. 131-
1 p.
artikel
160 Call for papers: 10th annual meeting of the society for philosophy and psychology 1984
199-200 1 p. 100-101
2 p.
artikel
161 Call for papers: Third annual conference on applications of artificial intelligence 1985
199-200 1 p. 131-132
2 p.
artikel
162 Call for participation: Workshop on non-monotonic reasoning 1984
199-200 1 p. 103-104
2 p.
artikel
163 Call for participation: Workshop on qualitative physics 1987
199-200 1 p. 118-119
2 p.
artikel
164 Causality and model abstraction Iwasaki, Yumi
1994
199-200 1 p. 143-194
52 p.
artikel
165 Causality as a key to the frame problem Nakashima, Hideyuki
1997
199-200 1 p. 33-50
18 p.
artikel
166 Causality in device behavior Iwasaki, Yumi
1986
199-200 1 p. 3-32
30 p.
artikel
167 Causal model progressions as a foundation for intelligent learning environments White, Barbara Y.
1990
199-200 1 p. 99-157
59 p.
artikel
168 Change in view Loui, Ronald P.
1987
199-200 1 p. 119-124
6 p.
artikel
169 Changes in the Artificial intelligence journal Bobrow, Daniel G.
1984
199-200 1 p. 91-92
2 p.
artikel
170 Christoph Adami, Introduction to Artificial Life ☆ ☆ Springer-Verlag, New York, 1998; 374 pages + CD-ROM. Price DM 118 (hardcover). ISBN 0-387-94646-2. Taylor, Tim
2001
199-200 1 p. 119-121
3 p.
artikel
171 Clausal resolution in a logic of rational agency Dixon, Clare
2002
199-200 1 p. 47-89
43 p.
artikel
172 CLIP: concept learning from inference patterns Yoshida, Ken'ichi
1995
199-200 1 p. 63-92
30 p.
artikel
173 Cognitive modeling and intelligent tutoring Anderson, John R.
1990
199-200 1 p. 7-49
43 p.
artikel
174 Cognitive psychology Anderson, John R.
1984
199-200 1 p. 1-11
11 p.
artikel
175 Cognitive psychology Prazdny, K.
1980
199-200 1 p. 110-112
3 p.
artikel
176 Coherence graphs Miranda, Enrique
2009
199-200 1 p. 104-144
41 p.
artikel
177 Comments on Mohr and Henderson's path consistency algorithm Han, Ching-Chih
1988
199-200 1 p. 125-130
6 p.
artikel
178 Completely non-clausal theorem proving Murray, Neil V.
1982
199-200 1 p. 67-85
19 p.
artikel
179 Completeness results for circumscription Perlis, Donald
1986
199-200 1 p. 29-42
14 p.
artikel
180 Complexity results for structure-based causality Eiter, Thomas
2002
199-200 1 p. 53-89
37 p.
artikel
181 Compliance in robot manipulation Lozano-Pérez, Tomás
1985
199-200 1 p. 5-12
8 p.
artikel
182 Compulsory reduction in linear derivation systems Sutcliffe, Geoff
1991
199-200 1 p. 131-132
2 p.
artikel
183 Computational approaches to analogical reasoning Hall, Rogers P.
1989
199-200 1 p. 39-120
82 p.
artikel
184 Computational theory for interpreting handwritten text in constrained domains Cohen, Edward
1994
199-200 1 p. 1-31
31 p.
artikel
185 Computer-aided thinking by mapping text-objects into metric spaces Sumi, Yasuyuki
1997
199-200 1 p. 71-84
14 p.
artikel
186 Computer construction of crossword puzzles using precedence relationships Mazlack, Lawrence J.
1976
199-200 1 p. 1-19
19 p.
artikel
187 Computer Go: An AI oriented survey Bouzy, Bruno
2001
199-200 1 p. 39-103
65 p.
artikel
188 Computer vision Brady, Michael
1982
199-200 1 p. 7-16
10 p.
artikel
189 Computing intersections of Horn theories for reasoning with models Eiter, Thomas
1999
199-200 1 p. 57-101
45 p.
artikel
190 Computing marginals for arbitrary subsets from marginal representation in Markov trees Xu, Hong
1995
199-200 1 p. 177-189
13 p.
artikel
191 Conceptual clustering of structured objects: A goal-oriented approach Stepp, Robert E.
1986
199-200 1 p. 43-69
27 p.
artikel
192 Conceptual structures — Information processing in mind and machine Clancey, W.J.
1985
199-200 1 p. 113-124
12 p.
artikel
193 Conditional independence and chain event graphs Smith, Jim Q.
2008
199-200 1 p. 42-68
27 p.
artikel
194 Conditional logic and the Principle of Entropy Rödder, Wilhelm
2000
199-200 1 p. 83-106
24 p.
artikel
195 Conditional logics of normality: A modal approach Boutilier, Craig
1994
199-200 1 p. 87-154
68 p.
artikel
196 Configuration landscape analysis and backbone guided local search. Zhang, Weixiong
2004
199-200 1 p. 1-26
26 p.
artikel
197 Connectionist hashed associative memory Greene, Ronald L.
1991
199-200 1 p. 87-98
12 p.
artikel
198 Connectionist learning of belief networks Neal, Radford M.
1992
199-200 1 p. 71-113
43 p.
artikel
199 Connectionist models: Proceedings of the 1990 summer school Ahmad, Subutai
1993
199-200 1 p. 117-127
11 p.
artikel
200 Consistency in networks of relations Mackworth, Alan K.
1977
199-200 1 p. 99-118
20 p.
artikel
201 Conspiracy numbers Schaeffer, Jonathan
1990
199-200 1 p. 67-84
18 p.
artikel
202 Constraint-based design for 3D shapes Shimizu, Shuichi
1997
199-200 1 p. 51-69
19 p.
artikel
203 Constraints—A language for expressing almost-hierarchical descriptions Sussman, Gerald Jay
1980
199-200 1 p. 1-39
39 p.
artikel
204 Constraints on deformable models:Recovering 3D shape and nonrigid motion Terzopoulos, Demetri
1988
199-200 1 p. 91-123
33 p.
artikel
205 Controlling the learning process of real-time heuristic search Shimbo, Masashi
2003
199-200 1 p. 1-41
41 p.
artikel
206 Converting numerical classification into text classification Macskassy, Sofus A.
2003
199-200 1 p. 51-77
27 p.
artikel
207 Cooperation under uncertainty in distributed expert systems Zhang, Chengqi
1992
199-200 1 p. 21-69
49 p.
artikel
208 Counterfactuals Ginsberg, Matthew L.
1986
199-200 1 p. 35-79
45 p.
artikel
209 Creative Cognition Smoliar, Stephen W.
1995
199-200 1 p. 183-196
14 p.
artikel
210 Database semantics for natural language Hausser, Roland
2001
199-200 1 p. 27-74
48 p.
artikel
211 Data compression using an intelligent generator: The storage of chess games as an example Althöfer, Ingo
1991
199-200 1 p. 109-113
5 p.
artikel
212 Decomposing constraint satisfaction problems using database techniques Gyssens, Marc
1994
199-200 1 p. 57-89
33 p.
artikel
213 Default reasoning about spatial occupancy Shanahan, Murray
1995
199-200 1 p. 147-163
17 p.
artikel
214 Depth-first iterative-deepening Korf, Richard E.
1985
199-200 1 p. 97-109
13 p.
artikel
215 Depth-first iterative-deepening: An optimal admissible tree search 1986
199-200 1 p. 123-
1 p.
artikel
216 Description and recognition of curved objects Nevatia, Ramakant
1977
199-200 1 p. 77-98
22 p.
artikel
217 Determination of social laws for multi-agent mobilization Onn, Shmuel
1997
199-200 1 p. 155-167
13 p.
artikel
218 Determining if (FC-) (conflict-directed) backjumping visits a given node is NP-hard Schröder, Bernd S.W.
2001
199-200 1 p. 105-117
13 p.
artikel
219 Diagnosing multiple faults de Kleer, Johan
1987
199-200 1 p. 97-130
34 p.
artikel
220 Diagnosing tree-structured systems ☆ ☆ Part of this work has been published in preliminary form in the Proceedings of the 15th International Joint Conference on Artificial Intelligence (IJCAI-97). Stumptner, Markus
2001
199-200 1 p. 1-29
29 p.
artikel
221 Diagnosis based on explicit means-end models Larsson, Jan Eric
1996
199-200 1 p. 29-93
65 p.
artikel
222 Diagnosis of large active systems Baroni, P.
1999
199-200 1 p. 135-183
49 p.
artikel
223 Directed recursive labelnode hypergraphs: A new representation-language Boley, Harold
1977
199-200 1 p. 49-85
37 p.
artikel
224 Discourse strategies for generating natural-language text McKeown, Kathleen R.
1985
199-200 1 p. 1-41
41 p.
artikel
225 Downward refinement and the efficiency of hierarchical problem solving Bacchus, Fahiem
1994
199-200 1 p. 43-100
58 p.
artikel
226 Drift analysis and average time complexity of evolutionary algorithms He, Jun
2001
199-200 1 p. 57-85
29 p.
artikel
227 Dynamic generation, management and resolution of interactive plots Sgouros, Nikitas M.
1999
199-200 1 p. 29-62
34 p.
artikel
228 Dynamic problem structure analysis as a basis for constraint-directed scheduling heuristics Beck, J.Christopher
2000
199-200 1 p. 31-81
51 p.
artikel
229 E -connections of abstract description systems Kutz, Oliver
2004
199-200 1 p. 1-73
73 p.
artikel
230 Editoral Board 1985
199-200 1 p. IFC-
1 p.
artikel
231 Editoral Board 1983
199-200 1 p. IFC-
1 p.
artikel
232 Editorial Board 2009
199-200 1 p. IFC-
1 p.
artikel
233 Editorial Board 2003
199-200 1 p. IFC-
1 p.
artikel
234 Editorial Board 2003
199-200 1 p. IFC-
1 p.
artikel
235 Editorial Board 2003
199-200 1 p. IFC-
1 p.
artikel
236 Editorial Board 1998
199-200 1 p. IFC-
1 p.
artikel
237 Editorial Board 1998
199-200 1 p. IFC-
1 p.
artikel
238 Editorial Board 1996
199-200 1 p. IFC-
1 p.
artikel
239 Editorial Board 1996
199-200 1 p. IFC-
1 p.
artikel
240 Editorial Board 1996
199-200 1 p. IFC-
1 p.
artikel
241 Editorial Board 2002
199-200 1 p. IFC-
1 p.
artikel
242 Editorial Board 1997
199-200 1 p. IFC-
1 p.
artikel
243 Editorial Board 1997
199-200 1 p. IFC-
1 p.
artikel
244 Editorial Board 1997
199-200 1 p. iii-
1 p.
artikel
245 Editorial Board 1999
199-200 1 p. IFC-
1 p.
artikel
246 Editorial Board 1995
199-200 1 p. IFC-
1 p.
artikel
247 Editorial Board 1998
199-200 1 p. IFC-
1 p.
artikel
248 Editorial Board 1995
199-200 1 p. IFC-
1 p.
artikel
249 Editorial Board 1995
199-200 1 p. IFC-
1 p.
artikel
250 Editorial Board 1995
199-200 1 p. IFC-
1 p.
artikel
251 Editorial Board 1994
199-200 1 p. IFC-
1 p.
artikel
252 Editorial Board 1982
199-200 1 p. IFC-
1 p.
artikel
253 Editorial Board 1994
199-200 1 p. IFC-
1 p.
artikel
254 Editorial Board 1992
199-200 1 p. IFC-
1 p.
artikel
255 Editorial Board 1992
199-200 1 p. IFC-
1 p.
artikel
256 Editorial Board 1994
199-200 1 p. IFC-
1 p.
artikel
257 Editorial Board 1993
199-200 1 p. IFC-
1 p.
artikel
258 Editorial Board 1991
199-200 1 p. IFC-
1 p.
artikel
259 Editorial Board 1993
199-200 1 p. IFC-
1 p.
artikel
260 Editorial Board 1987
199-200 1 p. IFC-
1 p.
artikel
261 Editorial Board 1989
199-200 1 p. IFC-
1 p.
artikel
262 Editorial Board 1990
199-200 1 p. IFC-
1 p.
artikel
263 Editorial Board 1985
199-200 1 p. IFC-
1 p.
artikel
264 Editorial Board 1992
199-200 1 p. IFC-
1 p.
artikel
265 Editorial Board 1982
199-200 1 p. IFC-
1 p.
artikel
266 Editorial Board 1987
199-200 1 p. IFC-
1 p.
artikel
267 Editorial Board 1988
199-200 1 p. IFC-
1 p.
artikel
268 Editorial Board 1986
199-200 1 p. IFC-
1 p.
artikel
269 Editorial Board 1987
199-200 1 p. IFC-IBC
nvt p.
artikel
270 Editorial Board 1989
199-200 1 p. IFC-
1 p.
artikel
271 Editorial Board 1993
199-200 1 p. IFC-
1 p.
artikel
272 Editorial Board 1989
199-200 1 p. IFC-
1 p.
artikel
273 Editorial Board 1986
199-200 1 p. IFC-
1 p.
artikel
274 Editorial Board 1984
199-200 1 p. IFC-
1 p.
artikel
275 Editorial Board 1993
199-200 1 p. IFC-
1 p.
artikel
276 Editorial Board 1994
199-200 1 p. IFC-
1 p.
artikel
277 Editorial Board 1988
199-200 1 p. IFC-
1 p.
artikel
278 Editorial Board 1981
199-200 1 p. IFC-
1 p.
artikel
279 Editorial Board 1985
199-200 1 p. IFC-IBC
nvt p.
artikel
280 Editorial Board 1987
199-200 1 p. IFC-
1 p.
artikel
281 Editorial Board 1994
199-200 1 p. IFC-
1 p.
artikel
282 Editorial Board 1991
199-200 1 p. IFC-
1 p.
artikel
283 Editorial Board 1991
199-200 1 p. IFC-IBC
nvt p.
artikel
284 Editorial Board 1990
199-200 1 p. IFC-
1 p.
artikel
285 Editorial Board 1984
199-200 1 p. IFC-
1 p.
artikel
286 Editorial Board 1992
199-200 1 p. IFC-
1 p.
artikel
287 Editorial Board 1974
199-200 1 p. i-
1 p.
artikel
288 Editorial Board 1977
199-200 1 p. iii-
1 p.
artikel
289 Editorial Board 1971
199-200 1 p. IFC-
1 p.
artikel
290 Editorial Board 1978
199-200 1 p. CO2-
1 p.
artikel
291 Editorial Board 1973
199-200 1 p. ii-
1 p.
artikel
292 Editorial Board 1980
199-200 1 p. IFC-
1 p.
artikel
293 Editorial Board 1979
199-200 1 p. IFC-
1 p.
artikel
294 Editorial Board 1976
199-200 1 p. IFC-
1 p.
artikel
295 Editorial Board 1977
199-200 1 p. IFC-
1 p.
artikel
296 Editorial Board 1975
199-200 1 p. IFC-
1 p.
artikel
297 Editorial Board 2010
199-200 1 p. IFC-
1 p.
artikel
298 Editorial Board 2012
199-200 1 p. IFC-
1 p.
artikel
299 Editorial Board 2006
199-200 1 p. CO2-
1 p.
artikel
300 Editorial Board 2005
199-200 1 p. CO2-
1 p.
artikel
301 Editorial Board 2005
199-200 1 p. CO2-
1 p.
artikel
302 Editorial Board 2005
199-200 1 p. CO2-
1 p.
artikel
303 Editorial Board 2004
199-200 1 p. IFC-
1 p.
artikel
304 Editorial Board 2004
199-200 1 p. IFC-
1 p.
artikel
305 Editorial Board 2004
199-200 1 p. IFC-
1 p.
artikel
306 Editorial Board 2008
199-200 1 p. IFC-
1 p.
artikel
307 Editorial Board 2007
199-200 1 p. CO2-
1 p.
artikel
308 Editor's note Bobrow, Daniel G.
1982
199-200 1 p. 1-
1 p.
artikel
309 Edtorial Board 1986
199-200 1 p. IFC-
1 p.
artikel
310 Effective solution of qualitative interval constraint problems Ladkin, Peter B.
1992
199-200 1 p. 105-124
20 p.
artikel
311 E-generalization using grammars Burghardt, Jochen
2005
199-200 1 p. 1-35
35 p.
artikel
312 Eight reviews on connectionism Smoliar, Stephen W.
1993
199-200 1 p. 89-91
3 p.
artikel
313 Embedded or embodied? a review of Hubert Dreyfus' What Computers Still Can't Do Collins, H.M.
1996
199-200 1 p. 99-117
19 p.
artikel
314 Embodied artificial intelligence Chrisley, Ron
2003
199-200 1 p. 131-150
20 p.
artikel
315 Embodied Cognition: A field guide Anderson, Michael L.
2003
199-200 1 p. 91-130
40 p.
artikel
316 Emergent computation: Self-organizing, collective, and cooperative phenomena in natural and artificial computing networks Todd, Peter M.
1993
199-200 1 p. 171-183
13 p.
artikel
317 Emergent cooperative goal-satisfaction in large-scale automated-agent systems Shehory, Onn
1999
199-200 1 p. 1-55
55 p.
artikel
318 Engineering and compiling planning domain models to promote validity and efficiency McCluskey, T.L.
1997
199-200 1 p. 1-65
65 p.
artikel
319 Epistemic entrenchment and arithmetical hierarchy Hájek, Petr
1993
199-200 1 p. 79-87
9 p.
artikel
320 Epistemic entrenchment and arithmetical hierarchy Hájek, Petr
1994
199-200 1 p. 191-
1 p.
artikel
321 Equilibrium analysis of the distribution of information in human society Goto, Shigeki
1995
199-200 1 p. 115-130
16 p.
artikel
322 Error repair and knowledge acquisition via case-based reasoning Kohno, Takeshi
1997
199-200 1 p. 85-101
17 p.
artikel
323 Evidential reasoning using stochastic simulation of causal models 1987
199-200 1 p. 131-132
2 p.
artikel
324 EXCALIBUR: a program for planning and reasoning with processes Drabble, Brian
1993
199-200 1 p. 1-40
40 p.
artikel
325 EXPtime tableaux for ALC Donini, Francesco M.
2000
199-200 1 p. 87-138
52 p.
artikel
326 Extracting information from resolution proof trees Luckham, David
1971
199-200 1 p. 27-54
28 p.
artikel
327 Fast Bayes and the dynamic junction forest Smith, J.Q.
1999
199-200 1 p. 99-124
26 p.
artikel
328 Fast parallel constraint satisfaction Kirousis, Lefteris M.
1993
199-200 1 p. 147-160
14 p.
artikel
329 Fifth annual conference on applications of artificial intelligence 1987
199-200 1 p. 113-114
2 p.
artikel
330 Fifth annual interdiciplinary meeting on structural learning 1974
199-200 1 p. 93-
1 p.
artikel
331 Finding optimal derivation strategies in redundant knowledge bases Greiner, Russell
1991
199-200 1 p. 95-115
21 p.
artikel
332 Finding optimal satisficing strategies for and-or trees Greiner, Russell
2006
199-200 1 p. 19-58
40 p.
artikel
333 First world computer chess championship, Stockholm 1974 1974
199-200 1 p. 93-
1 p.
artikel
334 Formalising the Fisherman's Folly puzzle Cabalar, Pedro
2011
199-200 1 p. 346-377
32 p.
artikel
335 Formalizing nonmonotonic reasoning systems Etherington, David W.
1987
199-200 1 p. 41-85
45 p.
artikel
336 Forthcoming Papers 2001
199-200 1 p. 167-168
2 p.
artikel
337 Forthcoming Papers 2003
199-200 1 p. 147-149
3 p.
artikel
338 Forthcoming Papers 2001
199-200 1 p. 123-124
2 p.
artikel
339 Forthcoming Papers 2001
199-200 1 p. 119-120
2 p.
artikel
340 Forthcoming Papers 2003
199-200 1 p. 125-128
4 p.
artikel
341 Forthcoming Papers 2003
199-200 1 p. 157-159
3 p.
artikel
342 Forthcoming Papers 2002
199-200 1 p. 133-135
3 p.
artikel
343 Forthcoming Papers 2002
199-200 1 p. 91-93
3 p.
artikel
344 Forthcoming papers 1998
199-200 1 p. 179-180
2 p.
artikel
345 Forthcoming papers 1996
199-200 1 p. 193-195
3 p.
artikel
346 Forthcoming papers 1996
199-200 1 p. 191-193
3 p.
artikel
347 Forthcoming Papers 2002
199-200 1 p. 145-146
2 p.
artikel
348 Forthcoming papers 1997
199-200 1 p. 211-213
3 p.
artikel
349 Forthcoming papers 1997
199-200 1 p. 173-175
3 p.
artikel
350 Forthcoming papers 1998
199-200 1 p. 161-162
2 p.
artikel
351 Forthcoming papers 1998
199-200 1 p. 185-186
2 p.
artikel
352 Forthcoming papers 1999
199-200 1 p. 171-173
3 p.
artikel
353 Forthcoming papers 1995
199-200 1 p. 199-201
3 p.
artikel
354 Forthcoming papers 1995
199-200 1 p. 203-205
3 p.
artikel
355 Forthcoming papers 1995
199-200 1 p. 131-134
4 p.
artikel
356 Forthcoming papers 1995
199-200 1 p. 199-201
3 p.
artikel
357 Forthcoming papers 1988
199-200 1 p. 143-144
2 p.
artikel
358 Forthcoming papers 1993
199-200 1 p. 183-185
3 p.
artikel
359 Forthcoming papers 1991
199-200 1 p. 119-120
2 p.
artikel
360 Forthcoming papers 1987
199-200 1 p. 149-150
2 p.
artikel
361 Forthcoming papers 1989
199-200 1 p. 123-124
2 p.
artikel
362 Forthcoming papers 1989
199-200 1 p. 143-
1 p.
artikel
363 Forthcoming papers 1985
199-200 1 p. 115-116
2 p.
artikel
364 Forthcoming papers 1986
199-200 1 p. 125-126
2 p.
artikel
365 Forthcoming papers 1985
199-200 1 p. 135-
1 p.
artikel
366 Forthcoming papers 1986
199-200 1 p. 115-
1 p.
artikel
367 Forthcoming papers 1987
199-200 1 p. 153-154
2 p.
artikel
368 Forthcoming papers 1989
199-200 1 p. 137-138
2 p.
artikel
369 Forthcoming papers 1993
199-200 1 p. 181-182
2 p.
artikel
370 Forthcoming papers0 1994
199-200 1 p. 207-209
3 p.
artikel
371 Forthcoming papers 1986
199-200 1 p. 119-120
2 p.
artikel
372 Forthcoming papers 1994
199-200 1 p. 209-212
4 p.
artikel
373 Forthcoming papers 1988
199-200 1 p. 147-148
2 p.
artikel
374 Forthcoming papers 1984
199-200 1 p. 121-
1 p.
artikel
375 Forthcoming papers 1992
199-200 1 p. 139-141
3 p.
artikel
376 Forthcoming papers 1991
199-200 1 p. 141-142
2 p.
artikel
377 Forthcoming papers 1990
199-200 1 p. 125-126
2 p.
artikel
378 Forthcoming papers 1993
199-200 1 p. 193-195
3 p.
artikel
379 Forthcoming papers 1993
199-200 1 p. 181-183
3 p.
artikel
380 Forthcoming papers 1994
199-200 1 p. 193-195
3 p.
artikel
381 Forthcoming papers 1984
199-200 1 p. 105-106
2 p.
artikel
382 Forthcoming papers 1991
199-200 1 p. 139-140
2 p.
artikel
383 Forthcoming papers 1992
199-200 1 p. 135-137
3 p.
artikel
384 Forthcoming Papers 2005
199-200 1 p. 135-136
2 p.
artikel
385 Forthcoming Papers 2005
199-200 1 p. 137-138
2 p.
artikel
386 Forthcoming Papers 2005
199-200 1 p. 99-102
4 p.
artikel
387 Forthcoming Papers 2004
199-200 1 p. 113-114
2 p.
artikel
388 Forthcoming Papers 2004
199-200 1 p. 139-141
3 p.
artikel
389 Forthcoming Papers 2004
199-200 1 p. 107-108
2 p.
artikel
390 Forthcoming papers, Boston, MA, U.S.A. 1987
199-200 1 p. 123-124
2 p.
artikel
391 Forthcoming papersgence Laboratory 1985
199-200 1 p. 123-
1 p.
artikel
392 Forthcoming papers Hillsdale, NJ, 1992); 281 pages, ISBN 0-8058-1189-3. 1994
199-200 1 p. 189-190
2 p.
artikel
393 Forthcoming papersis of MOS circuits 1994
199-200 1 p. 197-199
3 p.
artikel
394 Forthcoming papersmputational complexity of heuristic estimates for the ★ 1992
199-200 1 p. 145-147
3 p.
artikel
395 Forthcoming paperss and Plans 1987
199-200 1 p. 129-130
2 p.
artikel
396 Forthcoming papers Understanding 1992
199-200 1 p. 123-
1 p.
artikel
397 Foundation of association pour la recherche cognitive 1982
199-200 1 p. 130-
1 p.
artikel
398 Fourth international symposium on robotics and artificial intelligence in building construction 1987
199-200 1 p. 147-
1 p.
artikel
399 From answer set logic programming to circumscription via logic of GK Lin, Fangzhen
2011
199-200 1 p. 264-277
14 p.
artikel
400 From local to global consistency Dechter, Rina
1992
199-200 1 p. 87-107
21 p.
artikel
401 From systems to logic in the early development of nonmonotonic reasoning Sandewall, Erik
2011
199-200 1 p. 416-427
12 p.
artikel
402 Game tree searching by min/max approximation Rivest, Ronald L.
1987
199-200 1 p. 77-96
20 p.
artikel
403 GAS, a concept on modeling species in genetic algorithms Jelasity, Márk
1998
199-200 1 p. 1-19
19 p.
artikel
404 General Branch and Bound, and its relation to A∗ and AO∗ Nau, Dana S.
1984
199-200 1 p. 29-58
30 p.
artikel
405 Generalization of alpha-beta and SSS∗ search procedures Ibaraki, T.
1986
199-200 1 p. 73-117
45 p.
artikel
406 Geometric construction by assembling solved subfigures Dufourd, Jean-François
1998
199-200 1 p. 73-119
47 p.
artikel
407 Geometric theorem proving by integrated logical and algebraic reasoning Matsuyama, Takashi
1995
199-200 1 p. 93-113
21 p.
artikel
408 Global qualitative description of a class of nonlinear dynamical systems Bernard, Olivier
2002
199-200 1 p. 29-59
31 p.
artikel
409 Grammatical description of behaviors of ordinary differential equations in two-dimensional phase space Nishida, Toyoaki
1997
199-200 1 p. 3-32
30 p.
artikel
410 Graph search methods for non-order-preserving evaluation functions: applications to job sequencing problems Sen, Anup K.
1996
199-200 1 p. 43-73
31 p.
artikel
411 Guest editor's preface Shirai, Katsuhiko
1995
199-200 1 p. 1-2
2 p.
artikel
412 G. Zlotkin and J.S. Rosenschein, Compromise in negotiation; exploiting worth function over states 1996
199-200 1 p. 190-
1 p.
artikel
413 H. Almuallim, An efficient algorithm for optimal of decision trees 1996
199-200 1 p. 191-
1 p.
artikel
414 Heterogeneous active agents, III: Polynomially implementable agents Eiter, Thomas
2000
199-200 1 p. 107-167
61 p.
artikel
415 Horn approximations of empirical data Kautz, Henry
1995
199-200 1 p. 129-145
17 p.
artikel
416 How much is control knowledge worth? Barnett, Jeffrey A.
1984
199-200 1 p. 77-89
13 p.
artikel
417 How to reason defeasibly Pollock, John L.
1992
199-200 1 p. 1-42
42 p.
artikel
418 Hubert Dreyfus, what computers still can't do McCarthy, John
1996
199-200 1 p. 143-150
8 p.
artikel
419 Hybrid backtracking bounded by tree-decomposition of constraint networks Jégou, Philippe
2003
199-200 1 p. 43-75
33 p.
artikel
420 Hybrid hardware for a highly parallel search in the context of learning classifiers Bode, M.
2001
199-200 1 p. 75-84
10 p.
artikel
421 IJCAI-79, Sixth international joint conference on artificial intelligence 1979
199-200 1 p. 72-
1 p.
artikel
422 Incremental interpretation Pereira, Fernando C.N.
1991
199-200 1 p. 37-82
46 p.
artikel
423 Independence assumptions and Bayesian updating Glymour, Clark
1985
199-200 1 p. 95-99
5 p.
artikel
424 Index—Volumes 1–89 1997
199-200 1 p. 3-189
187 p.
artikel
425 Inductive functional programming using incremental program transformation Olsson, Roland
1995
199-200 1 p. 55-81
27 p.
artikel
426 Inference of lexical ontologies. The LeOnI methodology Farreres, Javier
2010
199-200 1 p. 1-19
19 p.
artikel
427 Initialization for the method of conditioning in Bayesian belief networks Suermondt, H.Jacques
1991
199-200 1 p. 83-94
12 p.
artikel
428 In search of a “true” logic of knowledge: the nonmonotonic perspective Schwarz, Grigori
1995
199-200 1 p. 39-63
25 p.
artikel
429 Intelligent analysis and pattern recognition in cardiotocographic signals using a tightly coupled hybrid system Guijarro-Berdiñas, Bertha
2002
199-200 1 p. 1-27
27 p.
artikel
430 Intelligent program analysis Ruth, Gregory R.
1976
199-200 1 p. 65-85
21 p.
artikel
431 Intelligent tutoring systems: Lessons learned Johnson, W.Lewis
1991
199-200 1 p. 125-134
10 p.
artikel
432 Interleaving natural language parsing and generation through uniform processing Neumann, Günter
1998
199-200 1 p. 121-163
43 p.
artikel
433 Interpreting non-3-D line drawings Shimaya, Akira
1995
199-200 1 p. 1-41
41 p.
artikel
434 Introduction Berliner, Hans J.
1990
199-200 1 p. 1-5
5 p.
artikel
435 Introduction to neural and cognitive modeling Becker, Sue
1993
199-200 1 p. 113-116
4 p.
artikel
436 Introduction to the theory of neural computation Weigend, Andreas S.
1993
199-200 1 p. 93-111
19 p.
artikel
437 Investigating production system representations for non-combinatorial match Tambe, Milind
1994
199-200 1 p. 155-199
45 p.
artikel
438 IPUS: an architecture for the integrated processing and understanding of signals Lesser, Victor R.
1995
199-200 1 p. 129-171
43 p.
artikel
439 Is artificial intelligence a degenerating program?: a review of Hubert Dreyfus' What Computers Still Can't Do Strom, John D.
1996
199-200 1 p. 151-170
20 p.
artikel
440 Isomorphisms of genetic algorithms Battle, David L.
1993
199-200 1 p. 155-165
11 p.
artikel
441 Iterated belief change in the situation calculus Shapiro, Steven
2011
199-200 1 p. 165-192
28 p.
artikel
442 Iterated belief revision, revised Jin, Yi
2007
199-200 1 p. 1-18
18 p.
artikel
443 J. Lin, Integration of weighted knowledge bases 1996
199-200 1 p. 189-
1 p.
artikel
444 John McCarthy's legacy Morgenstern, Leora
2011
199-200 1 p. 1-24
24 p.
artikel
445 k-Certainty Exploration Method: an action selector to identify the environment in reinforcement learning Miyazaki, Kazuteru
1997
199-200 1 p. 155-171
17 p.
artikel
446 Knowledge-based proof planning Melis, Erica
1999
199-200 1 p. 65-105
41 p.
artikel
447 Knowledge transformation and fusion in diagnostic systems Ying, Mingsheng
2005
199-200 1 p. 1-45
45 p.
artikel
448 Knowledge versus search Pearl, Judea
1983
199-200 1 p. 1-13
13 p.
artikel
449 K. Sparck Jones and J. Galliers, Evaluating natural language processing systems: An analysis and review Wilks, Yorick
1999
199-200 1 p. 165-170
6 p.
artikel
450 Lambda-calculus conference 1979
199-200 1 p. 71-
1 p.
artikel
451 Learning by understanding analogies Greiner, Russell
1988
199-200 1 p. 81-125
45 p.
artikel
452 Learning metric-topological maps for indoor mobile robot navigation Thrun, Sebastian
1998
199-200 1 p. 21-71
51 p.
artikel
453 Learning of modular structured networks Ishikawa, Masumi
1995
199-200 1 p. 51-62
12 p.
artikel
454 Learning one subprocedure per lesson VanLehn, Kurt
1987
199-200 1 p. 1-40
40 p.
artikel
455 Learning production systems from examples Hedrick, Charles L.
1976
199-200 1 p. 21-49
29 p.
artikel
456 Learning search control knowledge: An explanation-based approach DeJong, Gerald F.
1991
199-200 1 p. 117-127
11 p.
artikel
457 Learning structures of visual patterns from single instances Suganuma, Yoshinori
1991
199-200 1 p. 1-36
36 p.
artikel
458 Learning to plan in continuous domains DeJong, Gerald F.
1994
199-200 1 p. 71-141
71 p.
artikel
459 Least commitment in Graphplan Cayrol, Michel
2001
199-200 1 p. 85-118
34 p.
artikel
460 Letters to the editor Bobrow, Daniel G.
1991
199-200 1 p. 129-
1 p.
artikel
461 Linear-space best-first search Korf, Richard E.
1993
199-200 1 p. 41-78
38 p.
artikel
462 List of reviewers 2009 2011
199-200 1 p. I-III
nvt p.
artikel
463 Local search with constraint propagation and conflict-based heuristics Jussien, Narendra
2002
199-200 1 p. 21-45
25 p.
artikel
464 Logical foundations of artificial intelligence Sowa, John F.
1989
199-200 1 p. 125-131
7 p.
artikel
465 Logical foundations of artificial intelligence Smoliar, Stephen W.
1989
199-200 1 p. 119-124
6 p.
artikel
466 Logical settings for concept-learning De Raedt, Luc
1997
199-200 1 p. 187-201
15 p.
artikel
467 Machine discovery in chemistry: new results Valdés-Pérez, Raúl E.
1995
199-200 1 p. 191-201
11 p.
artikel
468 Macro-operators: A weak method for learning Korf, Richard E.
1985
199-200 1 p. 35-77
43 p.
artikel
469 Maintaining reversible DAC for Max-CSP Larrosa, Javier
1999
199-200 1 p. 149-163
15 p.
artikel
470 Making believers out of computers Levesque, Hector J.
1986
199-200 1 p. 81-108
28 p.
artikel
471 Managing concurrency in temporal planning using planner-scheduler interaction Coles, Andrew
2009
199-200 1 p. 1-44
44 p.
artikel
472 Man-machine theorem proving in graph theory Cvetković, Dragoš
1988
199-200 1 p. 1-23
23 p.
artikel
473 Mathematical problems arising in qualitative simulation of a differential equation Dordan, Olivier
1992
199-200 1 p. 61-86
26 p.
artikel
474 Maximum likelihood bounded tree-width Markov networks Srebro, Nathan
2003
199-200 1 p. 123-138
16 p.
artikel
475 MBT2: a method for combining fragments of examples in example-based translation Sato, Satoshi
1995
199-200 1 p. 31-49
19 p.
artikel
476 McCarthy variations in a modal key van Benthem, Johan
2011
199-200 1 p. 428-439
12 p.
artikel
477 Measures of uncertainty in expert systems Walley, Peter
1996
199-200 1 p. 1-58
58 p.
artikel
478 Measuring the performance potential of chess programs Berliner, Hans J.
1990
199-200 1 p. 7-20
14 p.
artikel
479 Mechanical inference problems in continuous speech understanding Woods, W.A.
1974
199-200 1 p. 73-91
19 p.
artikel
480 Mechanizing temporal knowledge Kahn, Kenneth
1977
199-200 1 p. 87-108
22 p.
artikel
481 Metaqueries: Semantics, complexity, and efficient algorithms Ben-Eliyahu-Zohary, Rachel
2003
199-200 1 p. 61-87
27 p.
artikel
482 Mind over machine: The power of human intuition and expertise in the era of the computer Koschmann, Timothy D.
1987
199-200 1 p. 135-140
6 p.
artikel
483 Minimal knowledge problem: A new approach Schwarz, Grigori
1994
199-200 1 p. 113-141
29 p.
artikel
484 Minimal rationality Spector, Lee
1989
199-200 1 p. 137-139
3 p.
artikel
485 Min-max Computation Tree Logic Dasgupta, Pallab
2001
199-200 1 p. 137-162
26 p.
artikel
486 Model-based multidimensional clustering of categorical data Chen, Tao
2012
199-200 1 p. 2246-2269
24 p.
artikel
487 Model construction operators Clancey, William J.
1992
199-200 1 p. 1-115
115 p.
artikel
488 Modeling a dynamic and uncertain world I Hanks, Steve
1994
199-200 1 p. 1-55
55 p.
artikel
489 Modelling creativity: reply to reviewers Boden, Margaret A.
1995
199-200 1 p. 161-182
22 p.
artikel
490 Model verification and improvement using DISPROVER Siklóssy, L.
1975
199-200 1 p. 41-52
12 p.
artikel
491 Motivated action theory: a formal theory of causal reasoning Stein, Lynn Andrea
1994
199-200 1 p. 1-42
42 p.
artikel
492 Multi-agent oriented constraint satisfaction Liu, Jiming
2002
199-200 1 p. 101-144
44 p.
artikel
493 Multi-instance multi-label learning Zhou, Zhi-Hua
2012
199-200 1 p. 2291-2320
30 p.
artikel
494 Multilanguage hierarchical logics, or: How we can do without modal logics Giunchiglia, Fausto
1994
199-200 1 p. 29-70
42 p.
artikel
495 Multi-player alpha-beta pruning Korf, Richard E.
1991
199-200 1 p. 99-111
13 p.
artikel
496 NATO Advanced Study Institute (ASI)—structural/process theories of complex human behaviour 1977
199-200 1 p. 135-
1 p.
artikel
497 Natural-language processing Grosz, Barbara J.
1985
199-200 1 p. 1-4
4 p.
artikel
498 Natural language syntax and first-order inference McAllester, David A.
1992
199-200 1 p. 1-20
20 p.
artikel
499 Negotiation as a metaphor for distributed problem solving Davis, Randall
1983
199-200 1 p. 63-109
47 p.
artikel
500 Network-based heuristics for constraint-satisfaction problems Dechter, Rina
1987
199-200 1 p. 1-38
38 p.
artikel
501 Networked bubble propagation: a polynomial-time hypothetical reasoning method for computing near-optimal solutions Ohsawa, Yukio
1997
199-200 1 p. 131-154
24 p.
artikel
502 Neural connections, mental computation Martin, Benjamin
1993
199-200 1 p. 141-151
11 p.
artikel
503 Neural darwinism: The theory of neuronal group selection Smoliar, Stephen W.
1989
199-200 1 p. 121-136
16 p.
artikel
504 Neural networks in artificial intelligence Touretzky, David S.
1993
199-200 1 p. 163-164
2 p.
artikel
505 Neuroscience and connectionist theory Belew, Richard K.
1993
199-200 1 p. 153-161
9 p.
artikel
506 Non-Markovian control in the Situation Calculus Gabaldon, Alfredo
2011
199-200 1 p. 25-48
24 p.
artikel
507 Non-resolution theorem proving Bledsoe, W.W.
1977
199-200 1 p. 1-35
35 p.
artikel
508 Norvig's paradigms of artificial intelligence programming Martin, James H.
1993
199-200 1 p. 169-180
12 p.
artikel
509 Norvig's paradigms of artificial intelligence programming JooFung, Wong
1993
199-200 1 p. 161-167
7 p.
artikel
510 Note from the book review editor 1989
199-200 1 p. 114-
1 p.
artikel
511 Note from the editors 1986
199-200 1 p. 1-
1 p.
artikel
512 [No title] Cohn, A.G.
2003
199-200 1 p. 89-
1 p.
artikel
513 Object-based visual attention for computer vision Sun, Yaoru
2003
199-200 1 p. 77-123
47 p.
artikel
514 Of Hubert Dreyfus and dead horses: some thoughts on Dreyfus' What Computers Still Can't Do Koschmann, Timothy
1996
199-200 1 p. 129-141
13 p.
artikel
515 On book reviews policy and process Stefik, Mark J.
1988
199-200 1 p. 135-136
2 p.
artikel
516 On cumulative default logics Giordano, Laura
1994
199-200 1 p. 161-179
19 p.
artikel
517 On evidential reasoning in a hierarchy of hypotheses Pearl, Judea
1986
199-200 1 p. 9-15
7 p.
artikel
518 On logical foundations of artificial intelligence Nilsson, Nils
1989
199-200 1 p. 132-133
2 p.
artikel
519 On proving the termination of algorithms by machine Walther, Christoph
1994
199-200 1 p. 101-157
57 p.
artikel
520 On seeing things Clowes, M.B.
1971
199-200 1 p. 79-116
38 p.
artikel
521 On stable social laws and qualitative equilibria Tennenholtz, Moshe
1998
199-200 1 p. 1-20
20 p.
artikel
522 On Stein's paper: resolving ambiguity in nonmonotonic inheritance hierarchies Simonet, Geneviève
1994
199-200 1 p. 183-193
11 p.
artikel
523 On the complexity of admissible search algorithms Martelli, Alberto
1977
199-200 1 p. 1-13
13 p.
artikel
524 On the computational complexity of qualitative coalitional games Wooldridge, Michael
2004
199-200 1 p. 27-73
47 p.
artikel
525 On the computational complexity of temporal projection, planning, and plan validation Nebel, Bernhard
1994
199-200 1 p. 125-160
36 p.
artikel
526 On the consistency of cardinal direction constraints Skiadopoulos, Spiros
2005
199-200 1 p. 91-135
45 p.
artikel
527 On the evaluation of agent behaviors Mali, Amol Dattatraya
2003
199-200 1 p. 1-17
17 p.
artikel
528 On the notion of concept II Freund, Michael
2009
199-200 1 p. 167-179
13 p.
artikel
529 On the optimality of A∗ Gelperin, David
1977
199-200 1 p. 69-76
8 p.
artikel
530 On the relation between default and autoepistemic logic 1989
199-200 1 p. 115-
1 p.
artikel
531 On the relationship between circumscription and negation as failure Gelfond, Michael
1989
199-200 1 p. 75-94
20 p.
artikel
532 On the revision of preferences and rational inference processes Freund, Michael
2004
199-200 1 p. 105-137
33 p.
artikel
533 On the revision of probabilistic beliefs using uncertain evidence Chan, Hei
2005
199-200 1 p. 67-90
24 p.
artikel
534 On the satisfiability of circumscription Lifschitz, Vladimir
1986
199-200 1 p. 17-27
11 p.
artikel
535 On the undecidability of logics with converse, nominals, recursion and counting Bonatti, Piero A
2004
199-200 1 p. 75-96
22 p.
artikel
536 O-Plan: The open planning architecture Currie, Ken
1991
199-200 1 p. 49-86
38 p.
artikel
537 Optimal auctions revisited Monderer, Dov
2000
199-200 1 p. 29-42
14 p.
artikel
538 Optimal compression of propositional Horn knowledge bases: complexity and approximation Hammer, Peter L.
1993
199-200 1 p. 131-145
15 p.
artikel
539 Optimization of Pearl's method of conditioning and greedy-like approximation algorithms for the vertex feedback set problem Becker, Ann
1996
199-200 1 p. 167-188
22 p.
artikel
540 Pac-learning non-recursive prolog clauses Cohen, William W.
1995
199-200 1 p. 1-38
38 p.
artikel
541 Parallel belief revision: Revising by sets of formulas Delgrande, James
2012
199-200 1 p. 2223-2245
23 p.
artikel
542 Parallelism in alpha-beta search Finkel, Raphael A.
1982
199-200 1 p. 89-106
18 p.
artikel
543 Partial-order planning Barrett, Anthony
1994
199-200 1 p. 71-112
42 p.
artikel
544 Perfect knowledge revisited Dekker, S.T.
1990
199-200 1 p. 111-123
13 p.
artikel
545 Perimeter search Dillenburg, John F.
1994
199-200 1 p. 165-178
14 p.
artikel
546 Plane geometry theorem proving using forward chaining Nevins, Arthur J.
1975
199-200 1 p. 1-23
23 p.
artikel
547 Planning as search: A quantitative approach Korf, Richard E.
1987
199-200 1 p. 65-88
24 p.
artikel
548 Planning control rules for reactive agents Kabanza, F.
1997
199-200 1 p. 67-113
47 p.
artikel
549 Planning english referring expressions Appelt, Douglas E.
1985
199-200 1 p. 1-33
33 p.
artikel
550 Plan recognition in exploratory domains Gal, Yaʼakov
2012
199-200 1 p. 2270-2290
21 p.
artikel
551 Polynomial solvability of cost-based abduction Santos Jr, Eugene
1996
199-200 1 p. 157-170
14 p.
artikel
552 Portability by automatic translation: A large-scale case study Feldman, Yishai A.
1999
199-200 1 p. 1-28
28 p.
artikel
553 P.P. Nayak and L. Joskowicz, Efficient compositional modeling for generating causal explations 1996
199-200 1 p. 189-190
2 p.
artikel
554 Preface Hazewinkel, Michiel
1997
199-200 1 p. 1-2
2 p.
artikel
555 Preface Shirai, Yoshiaki
1997
199-200 1 p. 1-2
2 p.
artikel
556 Preferences and explanations Pino-Pérez, Ramón
2003
199-200 1 p. 1-30
30 p.
artikel
557 Probabilistic Horn abduction and Bayesian networks Poole, David
1993
199-200 1 p. 81-129
49 p.
artikel
558 Probabilistic logic Nilsson, Nils J.
1986
199-200 1 p. 71-87
17 p.
artikel
559 Probabilistic reasoning in intelligent systems: Networks of plausible inference Andersen, Stig Kjær
1991
199-200 1 p. 117-124
8 p.
artikel
560 Probabilistic semantics for Delgrande's conditional logic and a counterexample to his default logic Schurz, Gerhard
1998
199-200 1 p. 81-95
15 p.
artikel
561 Problems in formal temporal reasoning Shoham, Yoav
1988
199-200 1 p. 49-61
13 p.
artikel
562 Process algebras for systems diagnosis Console, Luca
2002
199-200 1 p. 19-51
33 p.
artikel
563 Production rules as a representation for a knowledge-based consultation program Davis, Randall
1977
199-200 1 p. 15-45
31 p.
artikel
564 Programming by examples Bauer, Michael A.
1979
199-200 1 p. 1-21
21 p.
artikel
565 Prolog technology for default reasoning: proof theory and compilation techniques Schaub, Torsten
1998
199-200 1 p. 1-75
75 p.
artikel
566 Proof-number search Allis, L.Victor
1994
199-200 1 p. 91-124
34 p.
artikel
567 Propositional belief base update and minimal change Herzig, Andreas
1999
199-200 1 p. 107-138
32 p.
artikel
568 Proving unsatisfiability for problems with constant cubic sparsity Jackson Jr, Philip C.
1992
199-200 1 p. 125-137
13 p.
artikel
569 Qualitative analysis of behavior of systems of piecewise linear differential equations with two state variables Nishida, Toyoaki
1995
199-200 1 p. 3-29
27 p.
artikel
570 Qualitative system identification: deriving structure from behavior Say, A.C.Cem
1996
199-200 1 p. 75-141
67 p.
artikel
571 Quantitatively relating abstractness to the accuracy of admissible heuristics Prieditis, Armand
1995
199-200 1 p. 165-175
11 p.
artikel
572 Quantum logic, Hilbert space, revision theory Engesser, Kurt
2002
199-200 1 p. 61-100
40 p.
artikel
573 Range-data analysis guided by a junction dictionary Sugihara, Kokichi
1979
199-200 1 p. 41-69
29 p.
artikel
574 R1: A rule-based configurer of computer systems McDermott, John
1982
199-200 1 p. 39-88
50 p.
artikel
575 RCC8 binary constraint network can be consistently extended Li, Sanjiang
2006
199-200 1 p. 1-18
18 p.
artikel
576 Reasoning about action in polynomial time Drakengren, Thomas
1999
199-200 1 p. 1-24
24 p.
artikel
577 Reasoning about coalitional games Ågotnes, Thomas
2009
199-200 1 p. 45-79
35 p.
artikel
578 Reasoning about nondeterministic and concurrent actions: A process algebra approach Chen, Xiao Jun
1999
199-200 1 p. 63-98
36 p.
artikel
579 Reasoning by cases in default logic Roos, Nico
1998
199-200 1 p. 165-183
19 p.
artikel
580 Reasoning with infinite stable models Bonatti, Piero A.
2004
199-200 1 p. 75-111
37 p.
artikel
581 Reasoning with uncertainty in computer chess Horacek, Helmut
1990
199-200 1 p. 37-56
20 p.
artikel
582 Recent work in philosophy of interest to AI Dennett, Daniel
1982
199-200 1 p. 3-5
3 p.
artikel
583 Recovery of 3-D objects with multiple curved surfaces from 2-D contours Ulupinar, Fatih
1994
199-200 1 p. 1-28
28 p.
artikel
584 Recovery of (non)monotonic theories Witteveen, Cees
1998
199-200 1 p. 139-159
21 p.
artikel
585 Re: CycLing paper reviews Guha, R.V.
1993
199-200 1 p. 149-174
26 p.
artikel
586 Reference list of indexed articles 1997
199-200 1 p. 191-227
37 p.
artikel
587 Refutation graphs Shostak, Robert E.
1976
199-200 1 p. 51-64
14 p.
artikel
588 Relational production systems Vere, Steven A.
1977
199-200 1 p. 47-68
22 p.
artikel
589 Representations of commonsense knowledge Tuttle, Mark S.
1993
199-200 1 p. 121-148
28 p.
artikel
590 Representations of commonsense knowledge Croft, William
1993
199-200 1 p. 105-112
8 p.
artikel
591 Representations of commonsense knowledge Weld, Daniel S.
1993
199-200 1 p. 113-120
8 p.
artikel
592 Representations of commonsense knowledge: Response to the reviews Davis, Ernest
1993
199-200 1 p. 175-179
5 p.
artikel
593 Representations, symbols, and embodiment Anderson, Michael L.
2003
199-200 1 p. 151-156
6 p.
artikel
594 Resolving crises through automated bilateral negotiations Kraus, Sarit
2008
199-200 1 p. 1-18
18 p.
artikel
595 Response to my critics Dreyfus, Hubert L.
1996
199-200 1 p. 171-191
21 p.
artikel
596 Results on translating defaults to circumscription Imielinski, Tomasz
1987
199-200 1 p. 131-146
16 p.
artikel
597 Rete: A fast algorithm for the many pattern/many object pattern match problem Forgy, Charles L.
1982
199-200 1 p. 17-37
21 p.
artikel
598 R. Hirsch, Relation algebras of intervals 1996
199-200 1 p. 190-
1 p.
artikel
599 Robotic vocabulary building using extension inference and implicit contrast Gold, Kevin
2009
199-200 1 p. 145-166
22 p.
artikel
600 Robot motion planning with uncertainty in control and sensing Latombe, Jean-Claude
1991
199-200 1 p. 1-47
47 p.
artikel
601 Robot technology, volume 1: Modelling and control Rock, Sheila
1987
199-200 1 p. 141-142
2 p.
artikel
602 SALT: A knowledge acquisition language for propose-and-revise systems Marcus, Sandra
1989
199-200 1 p. 1-37
37 p.
artikel
603 Saturation, nonmonotonic reasoning and the closed-world assumption Bossu, Genevieve
1985
199-200 1 p. 13-63
51 p.
artikel
604 Scientific debate Bobrow, Daniel G.
1986
199-200 1 p. 1-
1 p.
artikel
605 Second annual conference on applications of artificial intelligence 1985
199-200 1 p. 109-110
2 p.
artikel
606 Second international conference on applications of artificial intelligence in engineering 1987
199-200 1 p. 120-121
2 p.
artikel
607 Semantical considerations on nonmonotonic logic Moore, Robert C.
1985
199-200 1 p. 75-94
20 p.
artikel
608 Semantics and complexity of recursive aggregates in answer set programming Faber, Wolfgang
2011
199-200 1 p. 278-298
21 p.
artikel
609 Shape from regular patterns Ikeuchi, Katsushi
1984
199-200 1 p. 49-75
27 p.
artikel
610 Shape from texture: General principle Kanatani, Ken-ichi
1989
199-200 1 p. 1-48
48 p.
artikel
611 Singular extensions Anantharaman, Thomas
1990
199-200 1 p. 99-109
11 p.
artikel
612 Skeptical reason maintenance and belief revision Witteveen, Cees
1993
199-200 1 p. 1-36
36 p.
artikel
613 Sketch-based pruning of a solution space within a formal geometric constraint solver Essert-Villard, C.
2000
199-200 1 p. 139-159
21 p.
artikel
614 S. Kraus, An overveiw of incentives contracting 1996
199-200 1 p. 190-191
2 p.
artikel
615 SOAR: An architecture for general intelligence Laird, John E.
1987
199-200 1 p. 1-64
64 p.
artikel
616 Solving coalitional resource games Dunne, Paul E.
2010
199-200 1 p. 20-50
31 p.
artikel
617 Special Issue of the journal Artificial Intelligence on “AI & Law” Rissland, Edwina L.
2001
199-200 1 p. 165-166
2 p.
artikel
618 Special Issue of the journal Artificial Intelligence on “Fuzzy Set and Possibility Theory-Based Methods in Artificial Intelligence” Dubois, Didier
2001
199-200 1 p. 163-164
2 p.
artikel
619 Special issue on computational tradeoffs under bounded resources Horvitz, Eric
1998
199-200 1 p. 159-160
2 p.
artikel
620 Special issue on intelligent internet systems 1998
199-200 1 p. 157-
1 p.
artikel
621 Special issue on intelligent tutoring systems 1985
199-200 1 p. 129-
1 p.
artikel
622 Special issues 1997
199-200 1 p. 301-302
2 p.
artikel
623 Speech understanding systems Newell, A.
1973
199-200 1 p. 67-
1 p.
artikel
624 Splitting and reduction heuristics in automatic theorem proving Bledsoe, W.W.
1971
199-200 1 p. 55-77
23 p.
artikel
625 Stable models and circumscription Ferraris, Paolo
2011
199-200 1 p. 236-263
28 p.
artikel
626 Statics and dynamics of induced systems Freund, Michael
1999
199-200 1 p. 103-134
32 p.
artikel
627 Strong mediated equilibrium Monderer, Dov
2009
199-200 1 p. 180-195
16 p.
artikel
628 Structure and interpretation of computer programs Forbus, Kenneth D.
1985
199-200 1 p. 124-127
4 p.
artikel
629 Structure from motion of rigid and jointed objects Webb, Jon A.
1982
199-200 1 p. 107-130
24 p.
artikel
630 Summarization beyond sentence extraction: A probabilistic approach to sentence compression Knight, Kevin
2002
199-200 1 p. 91-107
17 p.
artikel
631 Syntactical treatments of propositional attitudes Morreau, Michael
1998
199-200 1 p. 161-177
17 p.
artikel
632 Teaming up humans with autonomous synthetic characters Prada, Rui
2009
199-200 1 p. 80-103
24 p.
artikel
633 Techniques of artificial intelligence Brady, Mike
1980
199-200 1 p. 109-110
2 p.
artikel
634 Temporal agent programs Dix, Jürgen
2001
199-200 1 p. 87-135
49 p.
artikel
635 Temporal data base management Dean, Thomas L.
1987
199-200 1 p. 1-55
55 p.
artikel
636 Temporal logics in AI: Semantical and ontological considerations Shoham, Yoav
1987
199-200 1 p. 89-104
16 p.
artikel
637 Text-based intelligent systems Norvig, Peter
1994
199-200 1 p. 181-188
8 p.
artikel
638 The book review section of the Artificial intelligence journal Stefik, Mark
1984
199-200 1 p. 93-94
2 p.
artikel
639 The B∗ tree search algorithm: A best-first proof procedure Berliner, Hans
1979
199-200 1 p. 23-40
18 p.
artikel
640 The commonsense reviews Stefik, Mark J.
1993
199-200 1 p. 37-40
4 p.
artikel
641 The complexity of searching implicit graphs Balcázar, JoséL.
1996
199-200 1 p. 171-188
18 p.
artikel
642 The complexity of some polynomial network consistency algorithms for constraint satisfaction problems Mackworth, Alan K.
1985
199-200 1 p. 65-74
10 p.
artikel
643 The creative mind Turner, Scott R.
1995
199-200 1 p. 145-159
15 p.
artikel
644 The creative mind: Myths and mechanisms Lustig, Roger
1995
199-200 1 p. 83-96
14 p.
artikel
645 The creative mind: Myths and mechanisms: six reviews and a response Stefik, Mark
1995
199-200 1 p. 65-67
3 p.
artikel
646 The development of a world class Othello program Lee, Kai-Fu
1990
199-200 1 p. 21-36
16 p.
artikel
647 The effect of mobility on minimaxing of game trees with random leaf values Levene, Mark
2001
199-200 1 p. 1-26
26 p.
artikel
648 The engineering of creativity: a review of Boden's the creative mind Schank, Roger C.
1995
199-200 1 p. 129-143
15 p.
artikel
649 The knowledge level Newell, Allen
1982
199-200 1 p. 87-127
41 p.
artikel
650 The last player theorem Nau, Dana S.
1982
199-200 1 p. 53-65
13 p.
artikel
651 The limitation of Bayesianism Wang, Pei
2004
199-200 1 p. 97-106
10 p.
artikel
652 The mechanical discovery of certain problem symmetries Cohen, Brian
1977
199-200 1 p. 119-131
13 p.
artikel
653 Theorem proving with abstraction Plaisted, David A.
1981
199-200 1 p. 47-108
62 p.
artikel
654 Theoretical analysis of singleton arc consistency and its extensions Bessiere, Christian
2008
199-200 1 p. 29-41
13 p.
artikel
655 Theories of causal ordering de Kleer, Johan
1986
199-200 1 p. 33-61
29 p.
artikel
656 Theories of causal ordering Iwasaki, Yumi
1986
199-200 1 p. 63-72
10 p.
artikel
657 The perception of multiple objects: A connectionist approach Goddard, Nigel H.
1993
199-200 1 p. 165-177
13 p.
artikel
658 The psychology of everyday things Weld, Daniel S.
1989
199-200 1 p. 111-114
4 p.
artikel
659 The rediscovery of the mind Batali, John
1995
199-200 1 p. 177-193
17 p.
artikel
660 The Robot's dilemma: The frame problem in artificial intelligence Smoliar, Stephen W.
1988
199-200 1 p. 131-137
7 p.
artikel
661 The sciences of the artificial Stefik, Mark
1984
199-200 1 p. 95-97
3 p.
artikel
662 The size of a revised knowledge base Cadoli, Marco
1999
199-200 1 p. 25-64
40 p.
artikel
663 The structure-mapping engine: Algorithm and examples Falkenhainer, Brian
1989
199-200 1 p. 1-63
63 p.
artikel
664 The SUPREM architecture Berliner, Hans
1986
199-200 1 p. 3-8
6 p.
artikel
665 The token reification approach to temporal reasoning Vila, Lluís
1996
199-200 1 p. 59-74
16 p.
artikel
666 The topology of boundaries Fleck, Margaret M.
1996
199-200 1 p. 1-26
26 p.
artikel
667 The use of aggregation in causal simulation Weld, Daniel S.
1986
199-200 1 p. 1-34
34 p.
artikel
668 The uses of plans Pollack, Martha E.
1992
199-200 1 p. 43-68
26 p.
artikel
669 The value of the four values Arieli, Ofer
1998
199-200 1 p. 97-141
45 p.
artikel
670 Third international conference on artificial intelligence and education 1987
199-200 1 p. 117-
1 p.
artikel
671 Three perspectives of data mining Zhou, Zhi-Hua
2003
199-200 1 p. 139-146
8 p.
artikel
672 Too many ideas, just one word: a review of Margaret Boden's the Creative Mind: Myths and Mechanisms Haase, Kenneth B.
1995
199-200 1 p. 69-82
14 p.
artikel
673 Top-down synthesis of divide-and-conquer algorithms Smith, Douglas R.
1985
199-200 1 p. 43-96
54 p.
artikel
674 Topological recognition of polyhedral objects from multiple views Laurentini, Aldo
2001
199-200 1 p. 31-55
25 p.
artikel
675 Toward a model of representation changes Korf, Richard E.
1980
199-200 1 p. 41-78
38 p.
artikel
676 Towards a general theory of topological maps Remolina, Emilio
2004
199-200 1 p. 47-104
58 p.
artikel
677 Towards efficient universal planning: A randomized approach Jonsson, Peter
2000
199-200 1 p. 1-29
29 p.
artikel
678 Truth from Trash. How Learning Makes Sense by Chris Thornton Hernández-Orallo, José
2000
199-200 1 p. 161-165
5 p.
artikel
679 Turing's test and conscious thought Michie, Donald
1993
199-200 1 p. 1-22
22 p.
artikel
680 2U: an exact interval propagation algorithm for polytrees with binary variables Fagiuoli, Enrico
1998
199-200 1 p. 77-107
31 p.
artikel
681 Uncertainty measures of rough set prediction Düntsch, Ivo
1998
199-200 1 p. 109-137
29 p.
artikel
682 Understanding and debugging novice programs Johnson, W.Lewis
1990
199-200 1 p. 51-97
47 p.
artikel
683 Understanding the Creative Mind: a review of Margaret Boden's creative mind Ram, Ashwin
1995
199-200 1 p. 111-128
18 p.
artikel
684 Uniform semantic treatment of default and autoepistemic logics Denecker, Marc
2003
199-200 1 p. 79-122
44 p.
artikel
685 Unifying default reasoning and belief revision in a modal framework Boutilier, Craig
1994
199-200 1 p. 33-85
53 p.
artikel
686 Unsupervised named-entity extraction from the Web: An experimental study Etzioni, Oren
2005
199-200 1 p. 91-134
44 p.
artikel
687 Use of the Gibbs sampler in expert systems York, Jeremy
1992
199-200 1 p. 115-130
16 p.
artikel
688 Using approximate reasoning to represent default knowledge Yager, Ronald R.
1987
199-200 1 p. 99-112
14 p.
artikel
689 Using chunking to solve chess pawn endgames Berliner, Hans
1984
199-200 1 p. 97-120
24 p.
artikel
690 Using constraint metaknowledge to reduce arc consistency computation Bessiére, Christian
1999
199-200 1 p. 125-148
24 p.
artikel
691 Using empirical analysis to refine expert system knowledge bases Politakis, Peter
1984
199-200 1 p. 23-48
26 p.
artikel
692 Using knowledge to control tree searching Wilkins, David E.
1982
199-200 1 p. 1-51
51 p.
artikel
693 Variable and value ordering heuristics for the job shop scheduling constraint satisfaction problem Sadeh, Norman
1996
199-200 1 p. 1-41
41 p.
artikel
694 What Computers Still Can't Do: five reviews and a response Stefik, Mark
1996
199-200 1 p. 95-97
3 p.
artikel
695 What does a conditional knowledge base entail? Lehmann, Daniel
1992
199-200 1 p. 1-60
60 p.
artikel
696 Women, fire, and dangerous things Weld, Daniel S.
1988
199-200 1 p. 137-141
5 p.
artikel
697 World modeling for the dynamic construction of real-time control plans Musliner, David J.
1995
199-200 1 p. 83-127
45 p.
artikel
698 Yet some more complexity results for default logic Ben-Eliyahu-Zohary, Rachel
2002
199-200 1 p. 1-20
20 p.
artikel
699 Y. Moses and M.Tennenholtz, Off-line reasoning for on-line effeciency: knowledge bases 1996
199-200 1 p. 189-
1 p.
artikel
                             699 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland