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