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
 
                             994 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 A Bayesian approach to relevance in game playing Baum, Eric B.
1997
177-179 1-2 p. 195-242
48 p.
artikel
2 Abduction in logic programming: A new definition and an abductive procedure based on rewriting Lin, Fangzhen
2002
177-179 1-2 p. 175-205
31 p.
artikel
3 Abductive consequence relations Lobo, Jorge
1997
177-179 1-2 p. 149-171
23 p.
artikel
4 A belief network approach to optimization and parameter estimation: application to resource and environmental management Vans, Olli
1998
177-179 1-2 p. 135-163
29 p.
artikel
5 Abstract argumentation systems Vreeswijk, Gerard A.W.
1997
177-179 1-2 p. 225-279
55 p.
artikel
6 Abstraction and approximate decision-theoretic planning Dearden, Richard
1997
177-179 1-2 p. 219-283
65 p.
artikel
7 A causal approach to nonmonotonic reasoning Bochman, Alexander
2004
177-179 1-2 p. 105-143
39 p.
artikel
8 A cognitive architecture for artificial vision Chella, A.
1997
177-179 1-2 p. 73-111
39 p.
artikel
9 A commonsense language for reasoning about causation and rational action Ortiz Jr., Charles L.
1999
177-179 1-2 p. 73-130
58 p.
artikel
10 A comparison of point-based approaches to qualitative temporal reasoning Delgrande, James
2001
177-179 1-2 p. 135-170
36 p.
artikel
11 A comprehensive methodology for building hybrid models of physical systems Mosterman, Pieter J.
2000
177-179 1-2 p. 171-209
39 p.
artikel
12 A consistency-based approach for belief change Delgrande, James P
2003
177-179 1-2 p. 1-41
41 p.
artikel
13 A correction to “Nonmonotonic inconsistency” [Artificial Intelligence 149 (2003) 161–178] Cross, Charles B.
2004
177-179 1-2 p. 191-192
2 p.
artikel
14 'Addendum: Circumscription and other non-monotonic formalisms' 1980
177-179 1-2 p. 141-
1 p.
artikel
15 Addendum: Circumscription and other non-monotonic formalisms McCarthy, John
1980
177-179 1-2 p. 171-172
2 p.
artikel
16 Addendum to “Sloman's view of Gödel's sentence” Bojadžiev, D.
1998
177-179 1-2 p. 363-365
3 p.
artikel
17 A directly cautious theory of defeasible consequence for default logic via the notion of general extension Antonelli, G.Aldo
1999
177-179 1-2 p. 71-109
39 p.
artikel
18 Adopt: asynchronous distributed constraint optimization with quality guarantees Modi, Pragnesh Jay
2005
177-179 1-2 p. 149-180
32 p.
artikel
19 A dynamical systems perspective on agent-environment interaction Beer, Randall D.
1995
177-179 1-2 p. 173-215
43 p.
artikel
20 A formal analysis of why heuristic functions work Oommen, B. John
2005
177-179 1-2 p. 1-22
22 p.
artikel
21 A formal framework for the decentralised diagnosis of large scale discrete event systems and its application to telecommunication networks Pencolé, Yannick
2005
177-179 1-2 p. 121-170
50 p.
artikel
22 A formal theory for reasoning about parthood, connection, and location Donnelly, Maureen
2004
177-179 1-2 p. 145-172
28 p.
artikel
23 A foundationalist view of the AGM theory of belief change Bochman, Alexander
2000
177-179 1-2 p. 237-263
27 p.
artikel
24 A foundational theory of belief and belief change Bochman, Alexander
1999
177-179 1-2 p. 309-352
44 p.
artikel
25 A framework for knowledge-based temporal abstraction Shahar, Yuval
1997
177-179 1-2 p. 79-133
55 p.
artikel
26 A framework for linguistic modelling Lawry, Jonathan
2004
177-179 1-2 p. 1-39
39 p.
artikel
27 A fuzzy constraint based model for bilateral, multi-issue negotiations in semi-competitive environments Luo, Xudong
2003
177-179 1-2 p. 53-102
50 p.
artikel
28 A general branch and bound formulation for understanding and synthesizing and/or tree search procedures Kumar, Vipin
1983
177-179 1-2 p. 179-198
20 p.
artikel
29 A general formulation of conceptual spaces as a meso level representation Aisbett, Janet
2001
177-179 1-2 p. 189-232
44 p.
artikel
30 A general programming language for unified planning and control Levinson, Richard
1995
177-179 1-2 p. 319-375
57 p.
artikel
31 A general scheme for automatic generation of search heuristics from specification dependencies ☆ ☆ Preliminary versions of this paper were presented in [15,16,18]. This work was supported in part by NSF grant IIS-0086529 and by MURI ONR award N00014-00-1-0617. Kask, Kalev
2001
177-179 1-2 p. 91-131
41 p.
artikel
32 A gentle introduction to Numerica Van Hentenryck, Pascal
1998
177-179 1-2 p. 209-235
27 p.
artikel
33 Agent-oriented epistemic reasoning: Subjective conditions of knowledge and belief Schwartz, Daniel G.
2003
177-179 1-2 p. 177-195
19 p.
artikel
34 A glimpse at the metaphysics of Bongard problems Linhares, Alexandre
2000
177-179 1-2 p. 251-270
20 p.
artikel
35 A hierarchical approach to computer Hex Anshelevich, Vadim V.
2002
177-179 1-2 p. 101-120
20 p.
artikel
36 A high-performance explanation-based learning algorithm Segre, Alberto
1994
177-179 1-2 p. 1-50
50 p.
artikel
37 A hybrid graphical model for rhythmic parsing Raphael, Christopher
2002
177-179 1-2 p. 217-238
22 p.
artikel
38 AI—A multiple book review Furbach, Ulrich
2003
177-179 1-2 p. 245-252
8 p.
artikel
39 AI and Law: A fruitful synergy Rissland, Edwina L.
2003
177-179 1-2 p. 1-15
15 p.
artikel
40 AISB-80 1980
177-179 1-2 p. 173-
1 p.
artikel
41 A Lagrangian reconstruction of GENET Choi, Kenneth M.F.
2000
177-179 1-2 p. 1-39
39 p.
artikel
42 Algorithm for optimal winner determination in combinatorial auctions Sandholm, Tuomas
2002
177-179 1-2 p. 1-54
54 p.
artikel
43 Algorithm portfolios Gomes, Carla P.
2001
177-179 1-2 p. 43-62
20 p.
artikel
44 Algorithms for selective enumeration of prime implicants Palopoli, Luigi
1999
177-179 1-2 p. 41-72
32 p.
artikel
45 Allen Newell: the entry into complex information processing Simon, Herbert A.
1993
177-179 1-2 p. 251-259
9 p.
artikel
46 A logical approach to the dynamics of commitments Meyer, J.-J.Ch.
1999
177-179 1-2 p. 1-40
40 p.
artikel
47 A logical notion of conditional independence: properties and applications Darwiche, Adnan
1997
177-179 1-2 p. 45-82
38 p.
artikel
48 A logic-based theory of deductive arguments ☆ ☆ This is an extended version of a paper entitled “Towards a logic-based theory of argumentation” published in the Proceedings of the National Conference on Artificial Intelligence (AAAI'2000), Austin, TX, MIT Press, Cambridge, MA, 2000. Besnard, Philippe
2001
177-179 1-2 p. 203-235
33 p.
artikel
49 A logic for default reasoning Reiter, R.
1980
177-179 1-2 p. 81-132
52 p.
artikel
50 A logic of universal causation Turner, Hudson
1999
177-179 1-2 p. 87-123
37 p.
artikel
51 A logic programming approach to knowledge-state planning, II: The DLV K system Eiter, Thomas
2003
177-179 1-2 p. 157-211
55 p.
artikel
52 Alternative approaches to default logic Delgrande, James P.
1994
177-179 1-2 p. 167-237
71 p.
artikel
53 ALX, an action logic for agents with bounded rationality Huang, Zhisheng
1996
177-179 1-2 p. 75-127
53 p.
artikel
54 A method for managing evidential reasoning in a hierarchical hypothesis space: a retrospective Gordon, Jean
1993
177-179 1-2 p. 43-47
5 p.
artikel
55 A method of spatial reasoning based on qualitative trigonometry Liu, Jiming
1998
177-179 1-2 p. 137-168
32 p.
artikel
56 A minimax algorithm better than alpha-beta? Yes and No Roizen, Igor
1983
177-179 1-2 p. 199-220
22 p.
artikel
57 A modal logic for subjective default reasoning Ben-David, Shai
2000
177-179 1-2 p. 217-236
20 p.
artikel
58 A model-based method for computer-aided medical decision-making Weiss, Sholom M.
1978
177-179 1-2 p. 145-172
28 p.
artikel
59 A model of legal reasoning with cases incorporating theories and values Bench-Capon, Trevor
2003
177-179 1-2 p. 97-143
47 p.
artikel
60 A multivalued logic approach to integrating planning and control Saffiotti, Alessandro
1995
177-179 1-2 p. 481-526
46 p.
artikel
61 An abstract, argumentation-theoretic approach to default reasoning Bondarenko, A.
1997
177-179 1-2 p. 63-101
39 p.
artikel
62 An active vision architecture based on iconic representations Rao, Rajesh P.N.
1995
177-179 1-2 p. 461-505
45 p.
artikel
63 An affective mobile robot educator with a full-time job Nourbakhsh, Illah R.
1999
177-179 1-2 p. 95-124
30 p.
artikel
64 An algorithm for probabilistic planning Kushmerick, Nicholas
1995
177-179 1-2 p. 239-286
48 p.
artikel
65 An algorithm for rinding MAPs for belief networks through cost-based abduction Abdelbar, Ashraf M.
1998
177-179 1-2 p. 331-338
8 p.
artikel
66 Analysis of adaptation and environment Horswill, Ian
1995
177-179 1-2 p. 1-30
30 p.
artikel
67 Analysis of notions of diagnosis Lucas, Peter J.F.
1998
177-179 1-2 p. 295-343
49 p.
artikel
68 An architecture for adaptive intelligent systems Hayes-Roth, Barbara
1995
177-179 1-2 p. 329-365
37 p.
artikel
69 An argument-based approach to reasoning with specificity Dung, Phan Minh
2001
177-179 1-2 p. 35-85
51 p.
artikel
70 An attempt to formalise a non-trivial benchmark problem in common sense reasoning Shanahan, Murray
2004
177-179 1-2 p. 141-165
25 p.
artikel
71 A near-optimal polynomial time algorithm for learning in certain classes of stochastic games Brafman, Ronen I.
2000
177-179 1-2 p. 31-47
17 p.
artikel
72 An empirical study of automated dictionary construction for information extraction in three domains Riloff, E.
1996
177-179 1-2 p. 356-
1 p.
artikel
73 An empirical study of automated dictionary construction for information extraction in three domains Riloff, Ellen
1996
177-179 1-2 p. 101-134
34 p.
artikel
74 An empirical study of phase transitions in binary constraint satisfaction problems Prosser, Patrick
1996
177-179 1-2 p. 81-109
29 p.
artikel
75 An empirical symbolic approach to natural language processing Basili, Roberto
1996
177-179 1-2 p. 59-99
41 p.
artikel
76 An empirical symbolic approach to natural language processing Basili, R.
1996
177-179 1-2 p. 356-
1 p.
artikel
77 An epistemic operator for description logics Donini, F.M.
1998
177-179 1-2 p. 225-274
50 p.
artikel
78 A new approach to cyclic ordering of 2D orientations using ternary relation algebras Isli, Amar
2000
177-179 1-2 p. 137-187
51 p.
artikel
79 A new theorem in particle physics enabled by machine discovery Valdés-Pérez, Raúl E.
1996
177-179 1-2 p. 331-339
9 p.
artikel
80 An incremental algorithm for DLO quantifier elimination via constraint propagation Nykänen, Matti
2004
177-179 1-2 p. 173-190
18 p.
artikel
81 Annotated revision programs Marek, Victor
2002
177-179 1-2 p. 149-180
32 p.
artikel
82 Announcement 1996
177-179 1-2 p. 375-376
2 p.
artikel
83 Announcement 1978
177-179 1-2 p. 195-
1 p.
artikel
84 Announcement 1978
177-179 1-2 p. 194-
1 p.
artikel
85 Announcements 1993
177-179 1-2 p. 451-454
4 p.
artikel
86 Announcements 1994
177-179 1-2 p. 393-398
6 p.
artikel
87 Announcements 1992
177-179 1-2 p. 243-245
3 p.
artikel
88 Announcements 1990
177-179 1-2 p. 267-271
5 p.
artikel
89 A non-minimal but very weak axiomatization of common belief Lismont, Luc
1994
177-179 1-2 p. 363-374
12 p.
artikel
90 A nonmonotonic observation logic Voorbraak, Frans
2004
177-179 1-2 p. 281-302
22 p.
artikel
91 A non-rigid registration algorithm for dynamic breast MR images Hayton, Paul M.
1999
177-179 1-2 p. 125-156
32 p.
artikel
92 An optimal approximation algorithm for Bayesian inference Dagum, Paul
1997
177-179 1-2 p. 1-27
27 p.
artikel
93 Answer set programming and plan generation Lifschitz, Vladimir
2002
177-179 1-2 p. 39-54
16 p.
artikel
94 Anytime deduction for probabilistic logic Frisch, Alan M.
1994
177-179 1-2 p. 93-122
30 p.
artikel
95 A perspective on assumption-based truth maintenance de Kleer, Johan
1993
177-179 1-2 p. 63-67
5 p.
artikel
96 Applications of Artificial Intelligence 1999
177-179 1-2 p. 1-2
2 p.
artikel
97 Applications of the situation calculus to formalizing control and strategic information: the Prolog cut operator Lin, Fangzhen
1998
177-179 1-2 p. 273-294
22 p.
artikel
98 Applying MDL to learn best model granularity Gao, Qiong
2000
177-179 1-2 p. 1-29
29 p.
artikel
99 Approximate planning Ginsberg, Matthew L.
1995
177-179 1-2 p. 89-123
35 p.
artikel
100 Approximating cost-based abduction is NP-hard Abdelbar, Ashraf M.
2004
177-179 1-2 p. 231-239
9 p.
artikel
101 A probabilistic analysis of prepositional STRIPS planning Bylander, Tom
1996
177-179 1-2 p. 241-271
31 p.
artikel
102 A probabilistic approach to solving crossword puzzles Littman, Michael L.
2002
177-179 1-2 p. 23-55
33 p.
artikel
103 A probabilistic framework for cooperative multi-agent distributed interpretation and optimization of communication Xiang, Y.
1996
177-179 1-2 p. 295-342
48 p.
artikel
104 A probabilistic framework for memory-based reasoning Kasif, Simon
1998
177-179 1-2 p. 287-311
25 p.
artikel
105 Arbib's metaphorical brain 2 Pribram, Karl H.
1998
177-179 1-2 p. 315-321
7 p.
artikel
106 Arc consistency for soft constraints Cooper, Martin
2004
177-179 1-2 p. 199-227
29 p.
artikel
107 A reduction-graph model of precedent in legal analysis Branting, L.Karl
2003
177-179 1-2 p. 59-95
37 p.
artikel
108 A relevance restriction strategy for automated deduction Plaisted, David A
2003
177-179 1-2 p. 59-93
35 p.
artikel
109 A re-weighting strategy for improving margins Aiolli, Fabio
2002
177-179 1-2 p. 197-216
20 p.
artikel
110 A robust technique for matching two uncalibrated images through the recovery of the unknown epipolar geometry Zhang, Zhengyou
1995
177-179 1-2 p. 87-119
33 p.
artikel
111 Artificial argument assistants for defeasible argumentation Verheij, Bart
2003
177-179 1-2 p. 291-324
34 p.
artikel
112 Artificial intelligence: A modern approach Nilsson, Nils J.
1996
177-179 1-2 p. 369-380
12 p.
artikel
113 Artificial intelligence and pattern recognition in computer aided design Sproull, Robert
1980
177-179 1-2 p. 125-126
2 p.
artikel
114 Artificial intelligence in perspective: a retrospective on fifty volumes of the Artificial Intelligence Journal Bobrow, Daniel G.
1993
177-179 1-2 p. 5-20
16 p.
artikel
115 Artificial intelligence programming London, Philip
1980
177-179 1-2 p. 123-124
2 p.
artikel
116 Artificial Intelligence 40 years later Bobrow, Daniel G.
1998
177-179 1-2 p. 1-4
4 p.
artikel
117 Artificial life Smoliar, Stephen W.
1995
177-179 1-2 p. 371-377
7 p.
artikel
118 Artif. Intell. Freksa, Christian
1996
177-179 1-2 p. 387-
1 p.
artikel
119 A selective sampling approach to active feature selection Liu, Huan
2004
177-179 1-2 p. 49-74
26 p.
artikel
120 A situated view of representation and control Rosenschein, Stanley J.
1995
177-179 1-2 p. 149-173
25 p.
artikel
121 ASSAT: computing answer sets of a logic program by SAT solvers Lin, Fangzhen
2004
177-179 1-2 p. 115-137
23 p.
artikel
122 A statistical approach to adaptive problem solving Gratch, Jonathan
1996
177-179 1-2 p. 101-142
42 p.
artikel
123 A study of complexity transitions on the asymmetric traveling salesman problem Zhang, Weixiong
1996
177-179 1-2 p. 223-239
17 p.
artikel
124 A sufficiently fast algorithm for finding close to optimal clique trees Becker, Ann
2001
177-179 1-2 p. 3-17
15 p.
artikel
125 Asynchronous aggregation and consistency in distributed constraint satisfaction Silaghi, Marius-Călin
2005
177-179 1-2 p. 25-53
29 p.
artikel
126 Asynchronous backtracking without adding links: a new member in the ABT family Bessière, Christian
2005
177-179 1-2 p. 7-24
18 p.
artikel
127 A systematic methodology for cognitive modelling Cooper, R.
1996
177-179 1-2 p. 3-44
42 p.
artikel
128 A test battery for rational database updating Hansson, Sven O.
1996
177-179 1-2 p. 341-352
12 p.
artikel
129 A theoretical evaluation of selected backtracking algorithms Kondrak, Grzegorz
1997
177-179 1-2 p. 365-387
23 p.
artikel
130 A unified model of qualitative belief change: a dynamical systems perspective Boutilier, Craig
1998
177-179 1-2 p. 281-316
36 p.
artikel
131 A unifying semantics for time and events Bennett, Brandon
2004
177-179 1-2 p. 13-48
36 p.
artikel
132 Author index of Volume 29 2000
177-179 1-2 p. 329-330
2 p.
artikel
133 Author Index—Volume 125 (2001) 2001
177-179 1-2 p. 251-
1 p.
artikel
134 Author Index—Volume 128 (2001) 2001
177-179 1-2 p. 251-
1 p.
artikel
135 Author Index—Volume 126 (2001) 2001
177-179 1-2 p. 201-
1 p.
artikel
136 Author Index—Volume 129 (2001) 2001
177-179 1-2 p. 319-320
2 p.
artikel
137 Author Index—Volume 131 (2001) 2001
177-179 1-2 p. 229-230
2 p.
artikel
138 Author Index—Volume 133 (2001) 2001
177-179 1-2 p. 287-
1 p.
artikel
139 Author Index—Volume 144 (2003) 2003
177-179 1-2 p. 269-270
2 p.
artikel
140 Author Index—Volume 145 (2003) 2003
177-179 1-2 p. 257-
1 p.
artikel
141 Author Index—Volume 150 (2003) 2003
177-179 1-2 p. 329-
1 p.
artikel
142 Author Index—Volume 147 (2003) 2003
177-179 1-2 p. 287-
1 p.
artikel
143 Author Index—Volume 151 (2003) 2003
177-179 1-2 p. 251-
1 p.
artikel
144 Author Index—Volume 137 (2002) 2002
177-179 1-2 p. 279-
1 p.
artikel
145 Author Index—Volume 140 (2002) 2002
177-179 1-2 p. 253-254
2 p.
artikel
146 Author Index—Volume 135 (2002) 2002
177-179 1-2 p. 237-
1 p.
artikel
147 Author Index—Volume 141 (2002) 2002
177-179 1-2 p. 227-228
2 p.
artikel
148 Author index—Volume 89 (1997) 1997
177-179 1-2 p. 393-394
2 p.
artikel
149 Author index—Volume 101 (1998) 1998
177-179 1-2 p. 353-354
2 p.
artikel
150 Author index—volume 103 (1998) 1998
177-179 1-2 p. 361-362
2 p.
artikel
151 Author index—Volume 84 (1996) 1996
177-179 1-2 p. 361-
1 p.
artikel
152 Author index—Volume 85 (1996) 1996
177-179 1-2 p. 403-404
2 p.
artikel
153 Author index—Volume 81 (1996) 1996
177-179 1-2 p. 355-356
2 p.
artikel
154 Author index—Volume 88 (1996) 1996
177-179 1-2 p. 381-382
2 p.
artikel
155 Author index—Volume 82 (1996) 1996
177-179 1-2 p. 395-396
2 p.
artikel
156 Author index—Volume 87 (1996) 1996
177-179 1-2 p. 395-
1 p.
artikel
157 Author Index—Volume 134 (2002) 2002
177-179 1-2 p. 317-318
2 p.
artikel
158 Author Index—Volume 138 (2002) 2002
177-179 1-2 p. 239-
1 p.
artikel
159 Author index—Volume 92 (1997) 1997
177-179 1-2 p. 335-336
2 p.
artikel
160 Author index—Volume 90 (1997) 1997
177-179 1-2 p. 353-
1 p.
artikel
161 Author index—Volume 93 (1997) 1997
177-179 1-2 p. 343-
1 p.
artikel
162 Author index—Volume 104 (1998) 1998
177-179 1-2 p. 363-364
2 p.
artikel
163 Author index—Volume 100 (1998) 1998
177-179 1-2 p. 347-
1 p.
artikel
164 Author index—Volume 105 (1998) 1998
177-179 1-2 p. 357-358
2 p.
artikel
165 Author index—Volume 98 (1998) 1998
177-179 1-2 p. 369-
1 p.
artikel
166 Author index—Volume 78 (1995) 1995
177-179 1-2 p. 549-550
2 p.
artikel
167 Author index—Volume 76 (1995) 1995
177-179 1-2 p. 529-530
2 p.
artikel
168 Author index—Volume 69 (1994) 1994
177-179 1-2 p. 415-416
2 p.
artikel
169 Author index—Volume 59 (1993) 1993
177-179 1-2 p. 459-462
4 p.
artikel
170 Author index—Volume 70 (1994) 1994
177-179 1-2 p. 403-
1 p.
artikel
171 Author index—Volume 63 (1993) 1993
177-179 1-2 p. 531-532
2 p.
artikel
172 Author Index—Volume 148 (2003) 2003
177-179 1-2 p. 423-424
2 p.
artikel
173 Author Index—Volume 162 (2005) 2005
177-179 1-2 p. 209-
1 p.
artikel
174 Author Index—Volume 168 (2005) 2005
177-179 1-2 p. 214-
1 p.
artikel
175 Author Index—Volume 164 (2005) 2005
177-179 1-2 p. 283-
1 p.
artikel
176 Author Index—Volume 166 (2005) 2005
177-179 1-2 p. 256-
1 p.
artikel
177 Author Index—Volume 167 (2005) 2005
177-179 1-2 p. 246-247
2 p.
artikel
178 Author Index—Volume 161 (2005) 2005
177-179 1-2 p. 249-250
2 p.
artikel
179 Author Index—Volume 154 (2004) 2004
177-179 1-2 p. 231-
1 p.
artikel
180 Author Index—Volume 155 (2004) 2004
177-179 1-2 p. 209-
1 p.
artikel
181 Author Index—Volume 157 (2004) 2004
177-179 1-2 p. 305-
1 p.
artikel
182 Author Index—Volume 160 (2004) 2004
177-179 1-2 p. 197-
1 p.
artikel
183 Author Index—Volume 153 (2004) 2004
177-179 1-2 p. 377-378
2 p.
artikel
184 Author Index—Volume 159 (2004) 2004
177-179 1-2 p. 265-
1 p.
artikel
185 Author index—Volume 97 (1997)for object and pattern detection 1997
177-179 1-2 p. 401-402
2 p.
artikel
186 Author index—Volumes 72–73 (1995) 1995
177-179 1-2 p. 407-408
2 p.
artikel
187 Author's response to reviews of Machine Learning Mitchell, Tom
2001
177-179 1-2 p. 223-225
3 p.
artikel
188 Autoepistemic logic revisited Moore, Robert C.
1993
177-179 1-2 p. 27-30
4 p.
artikel
189 Automated design of specialized representations Van Baalen, Jeffrey
1992
177-179 1-2 p. 121-198
78 p.
artikel
190 Automated discourse generation using discourse structure relations Hovy, Eduard H.
1993
177-179 1-2 p. 341-385
45 p.
artikel
191 Automated modeling of complex systems to answer prediction questions Rickel, Jeff
1997
177-179 1-2 p. 201-260
60 p.
artikel
192 Automated program recognition Wills, Linda Mary
1990
177-179 1-2 p. 113-171
59 p.
artikel
193 Automatically selecting and using primary effects in planning: theory and experiments Fink, Eugene
1997
177-179 1-2 p. 285-315
31 p.
artikel
194 Automatic correlation and calibration of noisy sensor readings using elite genetic algorithms Brooks, R.R.
1996
177-179 1-2 p. 339-354
16 p.
artikel
195 Automating planning and scheduling of shuttle payload operations Chien, S.
1999
177-179 1-2 p. 239-255
17 p.
artikel
196 Average-case analysis of best-first search in two representative directed acyclic graphs Sen, Anup K.
2004
177-179 1-2 p. 183-206
24 p.
artikel
197 A view on qualitative physics de Kleer, Johan
1993
177-179 1-2 p. 105-114
10 p.
artikel
198 Axioms of causal relevance Galles, David
1997
177-179 1-2 p. 9-43
35 p.
artikel
199 Backjumping for Quantified Boolean Logic satisfiability Giunchiglia, Enrico
2003
177-179 1-2 p. 99-120
22 p.
artikel
200 Backtracking techniques for the job shop scheduling constraint satisfaction problem Sadeh, Norman
1995
177-179 1-2 p. 455-480
26 p.
artikel
201 Bayesian diagnosis in expert systems Kleiter, Gernot D.
1992
177-179 1-2 p. 1-32
32 p.
artikel
202 Belief functions and default reasoning Benferhat, S.
2000
177-179 1-2 p. 1-69
69 p.
artikel
203 Belief networks revisited Pearl, Judea
1993
177-179 1-2 p. 49-56
8 p.
artikel
204 Best-first fixed-depth minimax algorithms Plaat, Aske
1996
177-179 1-2 p. 255-293
39 p.
artikel
205 Best-first minimax search Korf, Richard E.
1996
177-179 1-2 p. 299-337
39 p.
artikel
206 Between MDPs and semi-MDPs: A framework for temporal abstraction in reinforcement learning Sutton, Richard S.
1999
177-179 1-2 p. 181-211
artikel
207 Bidirectional context-free grammar parsing for natural language processing Satta, Giorgio
1994
177-179 1-2 p. 123-164
42 p.
artikel
208 BIG: An agent for resource-bounded information gathering and decision making Lesser, Victor
2000
177-179 1-2 p. 197-244
48 p.
artikel
209 Binary vs. non-binary constraints ☆ ☆ This paper includes results that first appeared in [1,4,23]. This research has been supported in part by the Canadian Government through their NSERC and IRIS programs, and by the EPSRC Advanced Research Fellowship program. Bacchus, Fahiem
2002
177-179 1-2 p. 1-37
37 p.
artikel
210 BLAH, a system which explains its reasoning Weiner, J.L.
1980
177-179 1-2 p. 19-48
30 p.
artikel
211 Blocks World revisited Slaney, John
2001
177-179 1-2 p. 119-153
35 p.
artikel
212 BOB: Improved winner determination in combinatorial auctions and generalizations Sandholm, Tuomas
2003
177-179 1-2 p. 33-58
26 p.
artikel
213 BoltzCONS: Dynamic symbol structures in a connectionist network Touretzky, David S.
1990
177-179 1-2 p. 5-46
42 p.
artikel
214 Books received 1992
177-179 1-2 p. 241-242
2 p.
artikel
215 Boolean connection algebras: A new approach to the Region-Connection Calculus Stell, J.G.
2000
177-179 1-2 p. 111-136
26 p.
artikel
216 Bounded-parameter Markov decision processes Givan, Robert
2000
177-179 1-2 p. 71-109
39 p.
artikel
217 Brain-actuated interaction Millán, José del R.
2004
177-179 1-2 p. 241-259
19 p.
artikel
218 Brain or mind? a review of Allen Newell's Unified Theories of Cognition Purves, Dale
1993
177-179 1-2 p. 371-373
3 p.
artikel
219 Bucket elimination: A unifying framework for reasoning Dechter, Rina
1999
177-179 1-2 p. 41-85
45 p.
artikel
220 CABINS: a framework of knowledge acquisition and iterative revision for schedule improvement and reactive repair Miyashita, Kazuo
1995
177-179 1-2 p. 377-426
50 p.
artikel
221 Calculating criticalities Bundy, A.
1996
177-179 1-2 p. 39-67
29 p.
artikel
222 Call for papers: AISB meeting on “Production systems in psychology” 1980
177-179 1-2 p. 137-
1 p.
artikel
223 Call for papers Artificial intelligence review journal special issue on integration of natural language and vision processing 1993
177-179 1-2 p. 521-524
4 p.
artikel
224 Call for papers: IEEE computer society conference on pattern recognition and image processing 1980
177-179 1-2 p. 139-140
2 p.
artikel
225 Call for papers: Seventh international joint conference on artificial intelligence 1980
177-179 1-2 p. 133-135
3 p.
artikel
226 Call of papers International Conference on Artificial Neural Networks (ICANN'94) May 26–29, 1994, Sorrento Congress Center, Sorrento, Italy 1993
177-179 1-2 p. 522-527
6 p.
artikel
227 Cardinality restrictions on concepts Baader, Franz
1996
177-179 1-2 p. 195-213
19 p.
artikel
228 Categorical and probabilistic reasoning in medical diagnosis Szolovits, Peter
1978
177-179 1-2 p. 115-144
30 p.
artikel
229 Categorical and probabilistic reasoning in medicine revisited Szolovits, Peter
1993
177-179 1-2 p. 167-180
14 p.
artikel
230 Causal approximations Nayak, P.Pandurang
1994
177-179 1-2 p. 277-334
58 p.
artikel
231 Characterizing the principle of minimum cross-entropy within a conditional-logical framework Kern-Isberner, Gabriele
1998
177-179 1-2 p. 169-208
40 p.
artikel
232 Choosing social laws for multi-agent systems: Minimality and simplicity Fitoussi, David
2000
177-179 1-2 p. 61-101
41 p.
artikel
233 Choosing words in computer-generated weather forecasts Reiter, Ehud
2005
177-179 1-2 p. 137-169
33 p.
artikel
234 Circumscription—A form of non-monotonic reasoning McCarthy, John
1980
177-179 1-2 p. 27-39
13 p.
artikel
235 Clause trees: a tool for understanding and implementing resolution in automated reasoning Horton, J.D.
1997
177-179 1-2 p. 25-89
65 p.
artikel
236 Coalitions among computationally bounded agents Sandhlom, Tuomas W.
1997
177-179 1-2 p. 99-137
39 p.
artikel
237 Coalition structure generation with worst case guarantees Sandholm, Tuomas
1999
177-179 1-2 p. 209-238
30 p.
artikel
238 Coherence in finite argument systems Dunne, Paul E.
2002
177-179 1-2 p. 187-203
17 p.
artikel
239 Combining Horn rules and description logics in CARIN Levy, Alon Y.
1998
177-179 1-2 p. 165-209
45 p.
artikel
240 Combining probabilistic logic programming with the power of maximum entropy Kern-Isberner, Gabriele
2004
177-179 1-2 p. 139-202
64 p.
artikel
241 Combining qualitative and quantitative constraints in temporal reasoning Meiri, Itay
1996
177-179 1-2 p. 343-385
43 p.
artikel
242 Combining topological and size information for spatial reasoning Gerevini, Alfonso
2002
177-179 1-2 p. 1-42
42 p.
artikel
243 Comment on “Numerical shape from shading and occluding boundaries” Ikeuchi, K.
1993
177-179 1-2 p. 89-94
6 p.
artikel
244 Comparing formal theories of context in AI Serafini, Luciano
2004
177-179 1-2 p. 41-67
27 p.
artikel
245 Compiling defeasible inheritance networks to general logic programs You, Jia-Huai
1999
177-179 1-2 p. 247-268
22 p.
artikel
246 Compiling problem specifications into SAT Cadoli, Marco
2005
177-179 1-2 p. 89-120
32 p.
artikel
247 Compiling propositional weighted bases Darwiche, Adnan
2004
177-179 1-2 p. 81-113
33 p.
artikel
248 Compiling specificity into approaches to nonmonotonic reasoning Delgrande, James P.
1997
177-179 1-2 p. 301-348
48 p.
artikel
249 Complexity classification in qualitative temporal constraint reasoning Jonsson, Peter
2004
177-179 1-2 p. 35-51
17 p.
artikel
250 Complexity, decidability and undecidability results for domain-independent planning Erol, Kutluhan
1995
177-179 1-2 p. 75-88
14 p.
artikel
251 Complexity of probabilistic reasoning in directed-path singly-connected Bayes networks Shimony, Solomon E
2003
177-179 1-2 p. 213-225
13 p.
artikel
252 Complexity results for explanations in the structural-model approach Eiter, Thomas
2004
177-179 1-2 p. 145-198
54 p.
artikel
253 Compromise in negotiation: exploiting worth functions over states Zlotkin, Gilad
1996
177-179 1-2 p. 151-176
26 p.
artikel
254 Computational complexity of planning and approximate planning in the presence of incompleteness Baral, Chitta
2000
177-179 1-2 p. 241-267
27 p.
artikel
255 Computational complexity of relating time points with intervals Jonsson, Peter
1999
177-179 1-2 p. 273-295
23 p.
artikel
256 Computational research on interaction and agency Agre, Philip E.
1995
177-179 1-2 p. 1-52
52 p.
artikel
257 Computational tradeoffs under bounded resources Horvitz, Eric
2001
177-179 1-2 p. 1-4
4 p.
artikel
258 Computation of the semantics of autoepistemic belief theories Brass, Stefan
1999
177-179 1-2 p. 233-250
artikel
259 Computer Go Müller, Martin
2002
177-179 1-2 p. 145-179
35 p.
artikel
260 Computer shogi Iida, Hiroyuki
2002
177-179 1-2 p. 121-144
24 p.
artikel
261 Computing answers with model elimination Baumgartner, Peter
1997
177-179 1-2 p. 135-176
42 p.
artikel
262 Computing with default logic Cholewiński, Paweł
1999
177-179 1-2 p. 105-146
artikel
263 Concept learning and heuristic classification in weak-theory domains Porter, Bruce W.
1990
177-179 1-2 p. 229-263
35 p.
artikel
264 Concurrency and knowledge-level communication in agent languages Gaspari, Mauro
1998
177-179 1-2 p. 1-45
45 p.
artikel
265 Conditional independence in propositional logic Lang, Jérôme
2002
177-179 1-2 p. 79-121
43 p.
artikel
266 Conditional logic of actions and causation Giordano, Laura
2004
177-179 1-2 p. 239-279
41 p.
artikel
267 Conformality in the self-organization network Liou, Cheng-Yuan
2000
177-179 1-2 p. 265-286
22 p.
artikel
268 Conformant planning via symbolic model checking and heuristic search Cimatti, A.
2004
177-179 1-2 p. 127-206
80 p.
artikel
269 ConGolog, a concurrent programming language based on the situation calculus De Giacomo, Giuseppe
2000
177-179 1-2 p. 109-169
61 p.
artikel
270 Connecting language to the world Roy, Deb
2005
177-179 1-2 p. 1-12
12 p.
artikel
271 Consistency-based search in feature selection Dash, Manoranjan
2003
177-179 1-2 p. 155-176
22 p.
artikel
272 Consistency restoration and explanations in dynamic CSPs—Application to configuration Amilhastre, Jérôme
2002
177-179 1-2 p. 199-234
36 p.
artikel
273 Consistent-labeling problems and their algorithms: Expected-complexities and theory-based heuristics Nudel, Bernard
1983
177-179 1-2 p. 135-178
44 p.
artikel
274 Constraint-based reasoning and privacy/efficiency tradeoffs in multi-agent problem solving Wallace, Richard J.
2005
177-179 1-2 p. 209-227
19 p.
artikel
275 Constraint-directed techniques for scheduling alternative activities Beck, J.Christopher
2000
177-179 1-2 p. 211-250
40 p.
artikel
276 Constraint propagation techniques for the disjunctive scheduling problem Dorndorf, Ulrich
2000
177-179 1-2 p. 189-240
52 p.
artikel
277 Constraint satisfaction over connected row-convex constraints Deville, Yves
1999
177-179 1-2 p. 243-271
29 p.
artikel
278 Constraint satisfaction problem with bilevel constraint: application to interpretation of over-segmented images Deruyver, A.
1997
177-179 1-2 p. 321-335
15 p.
artikel
279 Constraints, consistency and closure Jeavons, Peter
1998
177-179 1-2 p. 251-265
15 p.
artikel
280 Context-specific sign-propagation in qualitative probabilistic networks Renooij, Silja
2002
177-179 1-2 p. 207-230
24 p.
artikel
281 Contingent planning under uncertainty via stochastic satisfiability Majercik, Stephen M.
2003
177-179 1-2 p. 119-162
44 p.
artikel
282 Continuous case-based reasoning Ram, A.
1997
177-179 1-2 p. 25-77
53 p.
artikel
283 Control of perceptual attention in robot driving Reece, Douglas A.
1995
177-179 1-2 p. 397-430
34 p.
artikel
284 Creativity and artificial intelligence Boden, Margaret A.
1998
177-179 1-2 p. 347-356
10 p.
artikel
285 Critical behavior in the computational cost of satisfiability testing Selman, Bart
1996
177-179 1-2 p. 273-295
23 p.
artikel
286 Cumulative default logic: Finite characterization, algorithms, and complexity Gottlob, Georg
1994
177-179 1-2 p. 329-345
17 p.
artikel
287 CyclePad: An articulate virtual laboratory for engineering thermodynamics Forbus, Kenneth D.
1999
177-179 1-2 p. 297-347
51 p.
artikel
288 Cyclic consistency: A local reduction operation for binary valued constraints Cooper, Martin C.
2004
177-179 1-2 p. 69-92
24 p.
artikel
289 DA2 merging operators Konieczny, S
2004
177-179 1-2 p. 49-79
31 p.
artikel
290 Decidability of SHIQ with complex role inclusion axioms Horrocks, Ian
2004
177-179 1-2 p. 79-104
26 p.
artikel
291 Decomposable constraints ☆ ☆ Supported by EPSRC award GR/L/24014. The authors wish to thank other members of the APES research group. Gent, Ian
2000
177-179 1-2 p. 133-156
24 p.
artikel
292 Dedication Bobrow, Daniel G.
1993
177-179 1-2 p. 1-3
3 p.
artikel
293 Deep Blue Campbell, Murray
2002
177-179 1-2 p. 57-83
27 p.
artikel
294 Default extensions: dealing with computer information Freund, M.
1997
177-179 1-2 p. 277-288
12 p.
artikel
295 Default reasoning using classical logic Ben-Eliyahu, Rachel
1996
177-179 1-2 p. 113-150
38 p.
artikel
296 Defaults and relevance in model-based reasoning Khardon, Roni
1997
177-179 1-2 p. 169-193
25 p.
artikel
297 Default theories that always have extensions Papadimitriou, Christos H.
1994
177-179 1-2 p. 347-357
11 p.
artikel
298 Defeasible inheritance on cyclic networks Antonelli, Gian Aldo
1997
177-179 1-2 p. 1-23
23 p.
artikel
299 Defeasible reasoning with variable degrees of justification Pollock, John L.
2001
177-179 1-2 p. 233-282
50 p.
artikel
300 Definability and commonsense reasoning Amati, Gianni
1997
177-179 1-2 p. 169-199
31 p.
artikel
301 Dempster's rule of combination is #P-complete Orponen, Pekka
1990
177-179 1-2 p. 245-253
9 p.
artikel
302 DENDRAL and Meta-DENDRAL: roots of knowledge systems and expert system applications Feigenbaum, Edward A.
1993
177-179 1-2 p. 233-240
8 p.
artikel
303 Dendral and meta-dendral: Their applications dimension Buchanan, Bruce G.
1978
177-179 1-2 p. 5-24
20 p.
artikel
304 Deriving consensus in multiagent systems Ephrati, Eithan
1996
177-179 1-2 p. 21-74
54 p.
artikel
305 Detecting geometric infeasibility Schweikard, Achim
1998
177-179 1-2 p. 139-159
21 p.
artikel
306 “Determining optical flow”: a retrospective Horn, Berthold K.P.
1993
177-179 1-2 p. 81-87
7 p.
artikel
307 Developing reproducible and comprehensible computational models Lane, Peter C.R.
2003
177-179 1-2 p. 251-263
13 p.
artikel
308 Diagnosis of discrete-event systems from uncertain temporal observations Lamperti, Gianfranco
2002
177-179 1-2 p. 91-163
73 p.
artikel
309 Diagram processing: Computing with diagrams Anderson, Michael
2003
177-179 1-2 p. 181-226
46 p.
artikel
310 Disjoint pattern database heuristics Korf, Richard E.
2002
177-179 1-2 p. 9-22
14 p.
artikel
311 Disjunctions, independence, refinements Broxvall, Mathias
2002
177-179 1-2 p. 153-173
21 p.
artikel
312 Distributed stochastic search and distributed breakout: properties, comparison and applications to constraint optimization problems in sensor networks Zhang, Weixiong
2005
177-179 1-2 p. 55-87
33 p.
artikel
313 Diverse confidence levels in a probabilistic semantics for conditional logics Snow, Paul
1999
177-179 1-2 p. 269-279
11 p.
artikel
314 3-D motion estimation from motion field Gupta, Naresh C.
1995
177-179 1-2 p. 45-86
42 p.
artikel
315 3D object recognition using invariance Zisserman, Andrew
1995
177-179 1-2 p. 239-288
50 p.
artikel
316 Dynamically structuring, updating and interrelating representations of visual and linguistic discourse context Kelleher, J.
2005
177-179 1-2 p. 62-102
41 p.
artikel
317 Dynamic reasoning with qualified syllogisms Schwartz, Daniel G.
1997
177-179 1-2 p. 103-167
65 p.
artikel
318 Dynamic relevance: vision-based focus of attention using artificial neural networks Baluja, Shumeet
1997
177-179 1-2 p. 381-395
15 p.
artikel
319 Dynamic tunneling based regularization in feedforward neural networks Singh, Y.P.
2001
177-179 1-2 p. 55-71
17 p.
artikel
320 Easy problems are sometimes hard Gent, Ian P.
1994
177-179 1-2 p. 335-345
11 p.
artikel
321 Economic principles of multi-agent systems Boutilier, Craig
1997
177-179 1-2 p. 1-6
6 p.
artikel
322 Editorial Cohn, A.G.
2001
177-179 1-2 p. 1-
1 p.
artikel
323 Editorial Cohen, Paul
1996
177-179 1-2 p. 1-2
2 p.
artikel
324 Editorial Cohn, Tony
1998
177-179 1-2 p. 299-
1 p.
artikel
325 Editorial Bobrow, Daniel G.
1998
177-179 1-2 p. 1-3
3 p.
artikel
326 Editorial Cohn, Tony
1998
177-179 1-2 p. 323-
1 p.
artikel
327 Editorial Board 2003
177-179 1-2 p. IFC-
1 p.
artikel
328 Editorial Board 2003
177-179 1-2 p. IFC-
1 p.
artikel
329 Editorial Board 2003
177-179 1-2 p. IFC-
1 p.
artikel
330 Editorial Board 2003
177-179 1-2 p. IFC-
1 p.
artikel
331 Editorial Board 2003
177-179 1-2 p. IFC-
1 p.
artikel
332 Editorial Board 2002
177-179 1-2 p. IFC-
1 p.
artikel
333 Editorial Board 1998
177-179 1-2 p. CO2-
1 p.
artikel
334 Editorial Board 1995
177-179 1-2 p. IFC-
1 p.
artikel
335 Editorial Board 1996
177-179 1-2 p. IFC-
1 p.
artikel
336 Editorial Board 1996
177-179 1-2 p. IFC-
1 p.
artikel
337 Editorial Board 1996
177-179 1-2 p. IFC-
1 p.
artikel
338 Editorial Board 1996
177-179 1-2 p. IFC-
1 p.
artikel
339 Editorial Board 1996
177-179 1-2 p. IFC-
1 p.
artikel
340 Editorial Board 1996
177-179 1-2 p. IFC-
1 p.
artikel
341 Editorial Board 2002
177-179 1-2 p. IFC-
1 p.
artikel
342 Editorial Board 1997
177-179 1-2 p. IFC-
1 p.
artikel
343 Editorial Board 1997
177-179 1-2 p. IFC-
1 p.
artikel
344 Editorial Board 1997
177-179 1-2 p. IFC-
1 p.
artikel
345 Editorial Board 1997
177-179 1-2 p. IFC-
1 p.
artikel
346 Editorial Board 1997
177-179 1-2 p. IFC-
1 p.
artikel
347 Editorial Board 1998
177-179 1-2 p. IFC-
1 p.
artikel
348 Editorial Board 1998
177-179 1-2 p. IFC-
1 p.
artikel
349 Editorial Board 1998
177-179 1-2 p. IFC-
1 p.
artikel
350 Editorial Board 1997
177-179 1-2 p. IFC-
1 p.
artikel
351 Editorial Board 1998
177-179 1-2 p. IFC-
1 p.
artikel
352 Editorial Board 1998
177-179 1-2 p. IFC-
1 p.
artikel
353 Editorial Board 1995
177-179 1-2 p. IFC-
1 p.
artikel
354 Editorial Board 1995
177-179 1-2 p. CO2-
1 p.
artikel
355 Editorial Board 1995
177-179 1-2 p. IFC-
1 p.
artikel
356 Editorial Board 1994
177-179 1-2 p. IFC-
1 p.
artikel
357 Editorial Board 1993
177-179 1-2 p. IFC-
1 p.
artikel
358 Editorial Board 1990
177-179 1-2 p. IFC-
1 p.
artikel
359 Editorial Board 1983
177-179 1-2 p. CO2-
1 p.
artikel
360 Editorial Board 1990
177-179 1-2 p. IFC-
1 p.
artikel
361 Editorial Board 1990
177-179 1-2 p. IFC-
1 p.
artikel
362 Editorial Board 1992
177-179 1-2 p. IFC-
1 p.
artikel
363 Editorial Board 1994
177-179 1-2 p. IFC-
1 p.
artikel
364 Editorial Board 1993
177-179 1-2 p. IFC-
1 p.
artikel
365 Editorial Board 1980
177-179 1-2 p. IFC-
1 p.
artikel
366 Editorial Board 1978
177-179 1-2 p. IFC-
1 p.
artikel
367 Editorial Board 1980
177-179 1-2 p. IFC-
1 p.
artikel
368 Editorial Board 1970
177-179 1-2 p. i-
1 p.
artikel
369 Editorial Board 2003
177-179 1-2 p. IFC-
1 p.
artikel
370 Editorial Board 2005
177-179 1-2 p. CO2-
1 p.
artikel
371 Editorial Board 2005
177-179 1-2 p. IFC-
1 p.
artikel
372 Editorial Board 2005
177-179 1-2 p. IFC-
1 p.
artikel
373 Editorial Board 2005
177-179 1-2 p. CO2-
1 p.
artikel
374 Editorial Board 2005
177-179 1-2 p. CO2-
1 p.
artikel
375 Editorial Board 2005
177-179 1-2 p. CO2-
1 p.
artikel
376 Editorial Board 2004
177-179 1-2 p. IFC-
1 p.
artikel
377 Editorial Board 2004
177-179 1-2 p. IFC-
1 p.
artikel
378 Editorial Board 2004
177-179 1-2 p. IFC-
1 p.
artikel
379 Editorial Board 2004
177-179 1-2 p. IFC-
1 p.
artikel
380 Editorial Board 2004
177-179 1-2 p. IFC-
1 p.
artikel
381 Editorial Board 2004
177-179 1-2 p. IFC-
1 p.
artikel
382 Editor's preface Bobrow, Daniel G.
1980
177-179 1-2 p. 1-4
4 p.
artikel
383 Efficient graph automorphism by vertex partitioning Fowler, Glenn
1983
177-179 1-2 p. 245-269
25 p.
artikel
384 Efficient learning equilibrium Brafman, Ronen I.
2004
177-179 1-2 p. 27-47
21 p.
artikel
385 Efficient solution techniques for disjunctive temporal reasoning problems Tsamardinos, Ioannis
2003
177-179 1-2 p. 43-89
47 p.
artikel
386 Eight reviews of Unified Theories of Cognition and a response Stefik, Mark J.
1993
177-179 1-2 p. 261-263
3 p.
artikel
387 Elaboration tolerance through object-orientation Gustafsson, Joakim
2004
177-179 1-2 p. 239-285
47 p.
artikel
388 Emergence of social conventions in complex networks Delgado, Jordi
2002
177-179 1-2 p. 171-185
15 p.
artikel
389 Empirically-derived estimates of the complexity of labeling line drawings of polyhedral scenes Parodi, P.
1998
177-179 1-2 p. 47-75
29 p.
artikel
390 Empirically designing and evaluating a new revision-based model for summary generation Robin, J.
1996
177-179 1-2 p. 356-
1 p.
artikel
391 Empirically designing and evaluating a new revision-based model for summary generation Robin, Jacques
1996
177-179 1-2 p. 135-179
45 p.
artikel
392 Enhancing disjunctive logic programming systems by SAT checkers Koch, Christoph
2003
177-179 1-2 p. 177-212
36 p.
artikel
393 Enhancing model checking in verification by AI techniques Buccafurri, Francesco
1999
177-179 1-2 p. 57-104
artikel
394 Ensembling neural networks: Many could be better than all Zhou, Zhi-Hua
2002
177-179 1-2 p. 239-263
25 p.
artikel
395 Epsilon-transformation: exploiting phase transitions to solve combinatorial optimization problems Pemberton, Joseph C.
1996
177-179 1-2 p. 297-325
29 p.
artikel
396 Equivalence notions and model minimization in Markov decision processes Givan, Robert
2003
177-179 1-2 p. 163-223
61 p.
artikel
397 Erratum to: Drift analysis and average time complexity of evolutionary algorithms He, Jun
2002
177-179 1-2 p. 245-248
4 p.
artikel
398 Establishing motion correspondence using extended temporal scope Veenman, C.J.
2003
177-179 1-2 p. 227-243
17 p.
artikel
399 Estimation of optical flow based on higher-order spatiotemporal derivatives in interlaced and non-interlaced image sequences Otte, Michael
1995
177-179 1-2 p. 5-43
39 p.
artikel
400 Eurisko: A program that learns new heuristics and domain concepts Lenat, Douglas B.
1983
177-179 1-2 p. 61-98
38 p.
artikel
401 Evaluating evolutionary algorithms Whitley, Darrell
1996
177-179 1-2 p. 245-276
32 p.
artikel
402 Evaluating evolutionary algorithms Whitney, W.
1996
177-179 1-2 p. 357-358
2 p.
artikel
403 Evaluating general purpose automated theorem proving systems Sutcliffe, Geoff
2001
177-179 1-2 p. 39-54
16 p.
artikel
404 Evaluating the effect of semi-normality on the expressiveness of defaults Janhunen, Tomi
2003
177-179 1-2 p. 233-250
18 p.
artikel
405 EVEXED and MEET for mechanical design: testing structural decomposition and constraint propagation Steinberg, L.
1996
177-179 1-2 p. 37-56
20 p.
artikel
406 Experiences with an interactive museum tour-guide robot Burgard, Wolfram
1999
177-179 1-2 p. 3-55
53 p.
artikel
407 Experimental results on the crossover point in random 3-SAT Crawford, James M.
1996
177-179 1-2 p. 31-57
27 p.
artikel
408 Explaining and repairing plans that fail Hammond, Kristian J.
1990
177-179 1-2 p. 173-228
56 p.
artikel
409 Explanations, belief revision and defeasible reasoning Falappa, Marcelo A.
2002
177-179 1-2 p. 1-28
28 p.
artikel
410 Explanatory update theory: Applications of counterfactual reasoning to causation Ortiz Jr., Charles L.
1999
177-179 1-2 p. 125-178
54 p.
artikel
411 Exploiting multiple goals and intentions in decision support for the management of multiple trauma: a review of the TraumAID project Webber, Bonnie
1998
177-179 1-2 p. 263-293
31 p.
artikel
412 Exploiting patterns of interaction to achieve reactive behavior Lyons, D.M.
1995
177-179 1-2 p. 117-148
32 p.
artikel
413 Exploiting symmetries within constraint satisfaction search ☆ ☆ This paper is an extended and updated version of [16], presented at the IJCAI-99 conference. Meseguer, Pedro
2001
177-179 1-2 p. 133-163
31 p.
artikel
414 Exploiting the deep structure of constraint problems Williams, Colin P.
1994
177-179 1-2 p. 73-117
45 p.
artikel
415 Explorations in engagement for humans and robots Sidner, Candace L.
2005
177-179 1-2 p. 140-164
25 p.
artikel
416 Exploratory analysis of speedup learning data using expectation maximization Segre, Alberto Maria
1996
177-179 1-2 p. 301-319
19 p.
artikel
417 Exploratory analysis of speedup learning data using expectation maximization Segre, A.M.
1996
177-179 1-2 p. 358-
1 p.
artikel
418 Expressing preferences in default logic Delgrande, James P.
2000
177-179 1-2 p. 41-87
47 p.
artikel
419 Expressive equivalence of planning formalisms Bäckström, Christer
1995
177-179 1-2 p. 17-34
18 p.
artikel
420 Extended inference modes in reasoning by computer systems Winograd, Terry
1980
177-179 1-2 p. 5-26
22 p.
artikel
421 Extending and implementing the stable model semantics Simons, Patrik
2002
177-179 1-2 p. 181-234
54 p.
artikel
422 Extensionally defining principles and cases in ethics: An AI model McLaren, Bruce M.
2003
177-179 1-2 p. 145-181
37 p.
artikel
423 Extracting and representing qualitative behaviors of complex systems in phase space Zhao, Feng
1994
177-179 1-2 p. 51-92
42 p.
artikel
424 Failure driven dynamic search control for partial order planners: an explanation based approach Kambhampati, Subbarao
1996
177-179 1-2 p. 253-315
63 p.
artikel
425 Fast and optimal decoding for machine translation Germann, Ulrich
2004
177-179 1-2 p. 127-143
17 p.
artikel
426 Fast planning through planning graph analysis Blum, Avrim L.
1997
177-179 1-2 p. 281-300
20 p.
artikel
427 Feature Subset Selection by Bayesian network-based optimization Inza, I.
2000
177-179 1-2 p. 157-184
28 p.
artikel
428 “Field Reviews”: A new style of review article for Artificial Intelligence Cohn, A.G.
2001
177-179 1-2 p. 189-
1 p.
artikel
429 First-order jk-clausal theories are PAC-learnable De Raedt, Luc
1994
177-179 1-2 p. 375-392
18 p.
artikel
430 First order LUB approximations: characterization and algorithms del Val, Alvaro
2005
177-179 1-2 p. 7-48
42 p.
artikel
431 Fixed-parameter complexity in AI and nonmonotonic reasoning Gottlob, Georg
2002
177-179 1-2 p. 55-86
32 p.
artikel
432 Flexible and scalable cost-based query planning in mediators: A transformational approach Ambite, José Luis
2000
177-179 1-2 p. 115-161
47 p.
artikel
433 Formalizing narratives using nested circumscription Baral, Chitta
1998
177-179 1-2 p. 107-164
58 p.
artikel
434 Formalizing sensing actions— A transition function based approach Son, Tran Cao
2001
177-179 1-2 p. 19-91
73 p.
artikel
435 Forthcoming paper 1997
177-179 1-2 p. 339-341
3 p.
artikel
436 Forthcoming paper 1998
177-179 1-2 p. 355-356
2 p.
artikel
437 Forthcoming Papers 2001
177-179 1-2 p. 249-250
2 p.
artikel
438 Forthcoming Papers 2001
177-179 1-2 p. 247-249
3 p.
artikel
439 Forthcoming Papers 2001
177-179 1-2 p. 227-228
2 p.
artikel
440 Forthcoming Papers 2001
177-179 1-2 p. 197-199
3 p.
artikel
441 Forthcoming Papers 2001
177-179 1-2 p. 315-317
3 p.
artikel
442 Forthcoming Papers 2001
177-179 1-2 p. 283-286
4 p.
artikel
443 Forthcoming Papers 2003
177-179 1-2 p. 325-328
4 p.
artikel
444 Forthcoming Papers 2003
177-179 1-2 p. 265-268
4 p.
artikel
445 Forthcoming Papers 2003
177-179 1-2 p. 253-256
4 p.
artikel
446 Forthcoming Papers 2003
177-179 1-2 p. 281-285
5 p.
artikel
447 Forthcoming Papers 2003
177-179 1-2 p. 247-249
3 p.
artikel
448 Forthcoming Papers 2002
177-179 1-2 p. 275-278
4 p.
artikel
449 Forthcoming Papers 2002
177-179 1-2 p. 225-226
2 p.
artikel
450 Forthcoming Papers 2002
177-179 1-2 p. 313-315
3 p.
artikel
451 Forthcoming Papers 2002
177-179 1-2 p. 235-237
3 p.
artikel
452 Forthcoming Papers 2002
177-179 1-2 p. 235-236
2 p.
artikel
453 Forthcoming papers 1996
177-179 1-2 p. 389-393
5 p.
artikel
454 Forthcoming papers 1996
177-179 1-2 p. 349-353
5 p.
artikel
455 Forthcoming papers 1996
177-179 1-2 p. 377-380
4 p.
artikel
456 Forthcoming papers 1996
177-179 1-2 p. 399-401
3 p.
artikel
457 Forthcoming Papers 2002
177-179 1-2 p. 249-252
4 p.
artikel
458 Forthcoming papers 1997
177-179 1-2 p. 389-392
4 p.
artikel
459 Forthcoming papers 1997
177-179 1-2 p. 397-400
4 p.
artikel
460 Forthcoming papers 1997
177-179 1-2 p. 349-352
4 p.
artikel
461 Forthcoming papers 1997
177-179 1-2 p. 331-333
3 p.
artikel
462 Forthcoming papers 1997
177-179 1-2 p. 269-270
2 p.
artikel
463 Forthcoming papers 1998
177-179 1-2 p. 349-351
3 p.
artikel
464 Forthcoming papers 1998
177-179 1-2 p. 357-361
5 p.
artikel
465 Forthcoming papers 1995
177-179 1-2 p. 403-405
3 p.
artikel
466 Forthcoming papers 1998
177-179 1-2 p. 343-346
4 p.
artikel
467 Forthcoming papers 1998
177-179 1-2 p. 357-360
4 p.
artikel
468 Forthcoming papers 1998
177-179 1-2 p. 367-368
2 p.
artikel
469 Forthcoming papers 1995
177-179 1-2 p. 547-548
2 p.
artikel
470 Forthcoming papers 1995
177-179 1-2 p. 527-528
2 p.
artikel
471 Forthcoming papers 1992
177-179 1-2 p. 247-248
2 p.
artikel
472 Forthcoming papers 1993
177-179 1-2 p. 455-457
3 p.
artikel
473 Forthcoming papers 1994
177-179 1-2 p. 411-413
3 p.
artikel
474 Forthcoming papers 1994
177-179 1-2 p. 399-401
3 p.
artikel
475 Forthcoming papers 1990
177-179 1-2 p. 255-256
2 p.
artikel
476 Forthcoming papers 1993
177-179 1-2 p. 527-529
3 p.
artikel
477 Forthcoming Papers 2003
177-179 1-2 p. 419-421
3 p.
artikel
478 Forthcoming Papers 2005
177-179 1-2 p. 281-282
2 p.
artikel
479 Forthcoming Papers 2005
177-179 1-2 p. 254-255
2 p.
artikel
480 Forthcoming Papers 2005
177-179 1-2 p. 211-213
3 p.
artikel
481 Forthcoming Papers 2005
177-179 1-2 p. 247-248
2 p.
artikel
482 Forthcoming Papers 2005
177-179 1-2 p. 205-208
4 p.
artikel
483 Forthcoming Papers 2005
177-179 1-2 p. 243-245
3 p.
artikel
484 Forthcoming Papers 2004
177-179 1-2 p. 207-208
2 p.
artikel
485 Forthcoming Papers 2004
177-179 1-2 p. 303-304
2 p.
artikel
486 Forthcoming Papers 2004
177-179 1-2 p. 261-263
3 p.
artikel
487 Forthcoming Papers 2004
177-179 1-2 p. 193-196
4 p.
artikel
488 Forthcoming Papers 2004
177-179 1-2 p. 373-375
3 p.
artikel
489 Forthcoming Papers 2004
177-179 1-2 p. 229-230
2 p.
artikel
490 Forthcoming papersicial Intelligence 36 (1988) 177–221] 1990
177-179 1-2 p. 273-274
2 p.
artikel
491 From animals to animats: Proceedings of the First International Conference on Simulation of Adaptive Behavior Brand, Matthew
1995
177-179 1-2 p. 307-322
16 p.
artikel
492 From a real chair to a negative chair Kanade, Takeo
1993
177-179 1-2 p. 95-101
7 p.
artikel
493 From binary temporal relations to non-binary ones and back ☆ ☆ Parts of this paper have been published in [36] and in [39]. Staab, Steffen
2001
177-179 1-2 p. 1-29
29 p.
artikel
494 From Dart to Designworld: a chronicle of research on automated engineering in the Stanford Logic Group Genesereth, Michael R.
1993
177-179 1-2 p. 159-165
7 p.
artikel
495 From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem Thielscher, Michael
1999
177-179 1-2 p. 277-299
23 p.
artikel
496 From statistical knowledge bases to degrees of belief Bacchus, Fahiem
1996
177-179 1-2 p. 75-143
69 p.
artikel
497 Functional dependencies in Horn theories Ibaraki, Toshihide
1999
177-179 1-2 p. 1-30
30 p.
artikel
498 Fundamental properties of neighbourhood substitution in constraint satisfaction problems Cooper, Martin C.
1997
177-179 1-2 p. 1-24
24 p.
artikel
499 Fuzzy constraint networks for signal pattern recognition Félix, P.
2003
177-179 1-2 p. 103-140
38 p.
artikel
500 Fuzzy rrDFCSP and planning Miguel, Ian
2003
177-179 1-2 p. 11-52
42 p.
artikel
501 Fuzzy set and possibility theory-based methods in artificial intelligence Dubois, Didier
2003
177-179 1-2 p. 1-9
9 p.
artikel
502 Games, computers, and artificial intelligence Schaeffer, Jonathan
2002
177-179 1-2 p. 1-7
7 p.
artikel
503 Games solved: Now and in the future van den Herik, H.Jaap
2002
177-179 1-2 p. 277-311
35 p.
artikel
504 Generalization learning techniques for automating the learning of heuristics Waterman, D.A.
1970
177-179 1-2 p. 121-170
50 p.
artikel
505 Generalized Region Connection Calculus Li, Sanjiang
2004
177-179 1-2 p. 1-34
34 p.
artikel
506 Generating hard satisfiability problems Selman, Bart
1996
177-179 1-2 p. 17-29
13 p.
artikel
507 Generating multimedia briefings: coordinating language and illustration McKeown, Kathleen R.
1998
177-179 1-2 p. 95-116
22 p.
artikel
508 Generating multiple new designs from a sketch Stahovich, Thomas F.
1998
177-179 1-2 p. 211-264
54 p.
artikel
509 Geometric reasoning about assembly tools Wilson, Randall H.
1998
177-179 1-2 p. 237-279
43 p.
artikel
510 Global surface reconstruction by purposive control of observer motion Kutulakos, Kiriakos N.
1995
177-179 1-2 p. 147-177
31 p.
artikel
511 Goal-directed diagnosis—a diagnostic reasoning framework for exploratory-corrective domains Rymon, Ron
1996
177-179 1-2 p. 257-297
41 p.
artikel
512 Gossiping Nets Würtz, Rolf P.
2000
177-179 1-2 p. 295-299
5 p.
artikel
513 Great expectations. Part II: generalized expected utility as a universal decision rule Chu, Francis C.
2004
177-179 1-2 p. 207-229
23 p.
artikel
514 Guest editorial Sridharan, N.S.
1978
177-179 1-2 p. 1-4
4 p.
artikel
515 G.W. Flake, The Computational Beauty of Nature Flake, Gary William
2001
177-179 1-2 p. 243-244
2 p.
artikel
516 Hard random 3-SAT problems and the Davis-Putnam procedure Freeman, Jon W.
1996
177-179 1-2 p. 183-198
16 p.
artikel
517 Heterogeneous active agents, II: Algorithms and complexity Eiter, Thomas
1999
177-179 1-2 p. 257-307
51 p.
artikel
518 Heterogeneous active agents, I: Semantics Eiter, Thomas
1999
177-179 1-2 p. 179-255
77 p.
artikel
519 Heuristic planning: A declarative approach based on strategies for action selection Sierra-Santibáñez, Josefina
2004
177-179 1-2 p. 307-337
31 p.
artikel
520 Heuristic search in artificial intelligence Zhang, Weixiong
2001
177-179 1-2 p. 1-4
4 p.
artikel
521 Hierarchical model-based diagnosis based on structural abstraction Chittaro, Luca
2004
177-179 1-2 p. 147-182
36 p.
artikel
522 Higher-order Petri net models based on artificial neural networks Chow, Tommy W.S.
1997
177-179 1-2 p. 289-300
12 p.
artikel
523 History of circumscription McCarthy, John
1993
177-179 1-2 p. 23-26
4 p.
artikel
524 How to progress a database Lin, Fangzhen
1997
177-179 1-2 p. 131-167
37 p.
artikel
525 iCTRL: Intensional conformal text representation language Rédey, Gábor
1999
177-179 1-2 p. 33-70
38 p.
artikel
526 Implicates and prime implicates in Random 3-SAT Schrag, Robert
1996
177-179 1-2 p. 199-222
24 p.
artikel
527 Improving accuracy by combining rule-based and case-based reasoning Golding, Andrew R.
1996
177-179 1-2 p. 215-254
40 p.
artikel
528 Improving heuristic mini-max search by supervised learning Buro, Michael
2002
177-179 1-2 p. 85-99
15 p.
artikel
529 Incremental learning with partial instance memory Maloof, Marcus A.
2004
177-179 1-2 p. 95-126
32 p.
artikel
530 Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class Gerevini, Alfonso
2005
177-179 1-2 p. 37-80
44 p.
artikel
531 In defense of PDDL axioms Thiébaux, Sylvie
2005
177-179 1-2 p. 38-69
32 p.
artikel
532 Index 2000
177-179 1-2 p. 275-
1 p.
artikel
533 Index 2000
177-179 1-2 p. 299-
1 p.
artikel
534 Index 2000
177-179 1-2 p. 275-
1 p.
artikel
535 Index 2000
177-179 1-2 p. 303-
1 p.
artikel
536 Index 2000
177-179 1-2 p. 279-280
2 p.
artikel
537 Index 1999
177-179 1-2 p. 299-
1 p.
artikel
538 Index 1999
177-179 1-2 p. 361-
1 p.
artikel
539 Index 1999
177-179 1-2 p. 353-354
2 p.
artikel
540 Index 1999
177-179 1-2 p. 263-264
artikel
541 Indexical knowledge and robot action—a logical account Lespérance, Yves
1995
177-179 1-2 p. 69-115
47 p.
artikel
542 Inductive learning of search control rules for planning Leckie, Christopher
1998
177-179 1-2 p. 63-98
36 p.
artikel
543 Inductive Logic Programming: Issues, results and the challenge of Learning Language in Logic Muggleton, Stephen
1999
177-179 1-2 p. 283-296
14 p.
artikel
544 Inferences in probability logic Gerla, Giangiacomo
1994
177-179 1-2 p. 33-52
20 p.
artikel
545 Inferring DNA structures from segmentation data Stefik, Mark
1978
177-179 1-2 p. 85-114
30 p.
artikel
546 Information extraction from case law and retrieval of prior cases Jackson, Peter
2003
177-179 1-2 p. 239-290
52 p.
artikel
547 Information retrieval and artificial intelligence Sparck Jones, Karen
1999
177-179 1-2 p. 257-281
25 p.
artikel
548 Inheritance comes of age: applying nonmonotonic techniques to problems in industry Morgenstern, Leora
1998
177-179 1-2 p. 237-271
35 p.
artikel
549 Innovations in text interpretation Jacobs, Paul S.
1993
177-179 1-2 p. 143-191
49 p.
artikel
550 Instructions, intentions and expectations Webber, Bonnie
1995
177-179 1-2 p. 253-269
17 p.
artikel
551 Integrating actions and state constraints: A closed-form solution to the ramification problem (sometimes) McIlraith, Sheila A.
2000
177-179 1-2 p. 87-121
35 p.
artikel
552 Intelligent control Hayes-Roth, Barbara
1993
177-179 1-2 p. 213-220
8 p.
artikel
553 Intelligent Internet systems Levy, Alon Y.
2000
177-179 1-2 p. 1-14
14 p.
artikel
554 Intelligent planning: A decomposition and abstraction based approach to classical planning Giunchiglia, Fausto
1999
177-179 1-2 p. 329-338
10 p.
artikel
555 Intentions in communication Oberlander, Jon
1993
177-179 1-2 p. 511-520
10 p.
artikel
556 Interlingual machine translation A parameterized approach Dorr, Bonnie J.
1993
177-179 1-2 p. 429-492
64 p.
artikel
557 Interpretation as abduction Hobbs, Jerry R.
1993
177-179 1-2 p. 69-142
74 p.
artikel
558 Interpreting a dynamic and uncertain world: task-based control Howarth, Richard J.
1998
177-179 1-2 p. 5-85
81 p.
artikel
559 Interview with Allen Newell Agre, Philip E.
1993
177-179 1-2 p. 415-449
35 p.
artikel
560 Introduction Pereira, Fernando C.N.
1993
177-179 1-2 p. 1-15
15 p.
artikel
561 Introduction: Progress in formal commonsense reasoning Davis, Ernest
2004
177-179 1-2 p. 1-12
12 p.
artikel
562 Introduction: Special Issue on Distributed Constraint Satisfaction Faltings, Boi
2005
177-179 1-2 p. 1-5
5 p.
artikel
563 Introduction to the special volume on computer vision Ahuja, Narendra
1995
177-179 1-2 p. 1-3
3 p.
artikel
564 Introduction to the Special Volume on Reformulation Ellman, Thomas
2005
177-179 1-2 p. 3-5
3 p.
artikel
565 Introspective multistrategy learning: On the construction of learning strategies Cox, Michael T.
1999
177-179 1-2 p. 1-55
artikel
566 IRIA 5th conference on automated deduction 1980
177-179 1-2 p. 174-
1 p.
artikel
567 Irrelevance and parameter learning in Bayesian networks Zhang, Nevin Lianwen
1996
177-179 1-2 p. 359-373
15 p.
artikel
568 Is intractability of nonmonotonic reasoning a real drawback? Cadoli, Marco
1996
177-179 1-2 p. 215-251
37 p.
artikel
569 Issues for psychology, AI, and education: a review of Newell's Unified Theories of Cognition Schank, Roger C.
1993
177-179 1-2 p. 375-388
14 p.
artikel
570 Iterative state-space reduction for flexible computation Zhang, Weixiong
2001
177-179 1-2 p. 109-138
30 p.
artikel
571 Iterative versionspaces Sablon, Gunther
1994
177-179 1-2 p. 393-409
17 p.
artikel
572 J.A. Anderson and E. Rosenfeld (Eds.), Talking Nets: An Oral History of Neural Networks Sharkey, Noel E.
2000
177-179 1-2 p. 287-293
7 p.
artikel
573 Jumping to explanations versus jumping to conclusions Pino-Pérez, Ramón
1999
177-179 1-2 p. 131-169
39 p.
artikel
574 Knowing what doesn't matter: exploiting the omission of irrelevant data Greiner, Russell
1997
177-179 1-2 p. 345-380
36 p.
artikel
575 Knowledge, action, and the frame problem Scherl, Richard B.
2003
177-179 1-2 p. 1-39
39 p.
artikel
576 Knowledge and communication: A first-order theory Davis, Ernest
2005
177-179 1-2 p. 81-139
59 p.
artikel
577 Knowledge-based artificial neural networks Towell, Geoffrey G.
1994
177-179 1-2 p. 119-165
47 p.
artikel
578 Knowledge-level analysis of belief base operations Hansson, Sven Ove
1996
177-179 1-2 p. 215-235
21 p.
artikel
579 Knowledge representation and inference in similarity networks and Bayesian multinets Geiger, Dan
1996
177-179 1-2 p. 45-74
30 p.
artikel
580 Knowledge Representation and Logic Programming Gelfond, Michael
2002
177-179 1-2 p. 1-
1 p.
artikel
581 Knowledge updates: Semantics and complexity issues Baral, Chitta
2005
177-179 1-2 p. 209-243
35 p.
artikel
582 Language in action: Categories, lambdas and dynamic logic Johan van Benthem Israel, David
1993
177-179 1-2 p. 503-510
8 p.
artikel
583 LAO∗: A heuristic search algorithm that finds solutions with loops Hansen, Eric A.
2001
177-179 1-2 p. 35-62
28 p.
artikel
584 LAURA, a system to debug student programs Adam, Anne
1980
177-179 1-2 p. 75-122
48 p.
artikel
585 Law, learning and representation Ashley, Kevin D.
2003
177-179 1-2 p. 17-58
42 p.
artikel
586 Lazy propagation: A junction tree inference algorithm based on lazy evaluation Madsen, Anders L.
1999
177-179 1-2 p. 203-245
43 p.
artikel
587 L.D. Davis, handbook of genetic algorithms Mitchell, Melanie
1998
177-179 1-2 p. 325-330
6 p.
artikel
588 Learning action strategies for planning domains Khardon, Roni
1999
177-179 1-2 p. 125-148
24 p.
artikel
589 Learning a decision maker's utility function from (possibly) inconsistent behavior Nielsen, Thomas D.
2004
177-179 1-2 p. 53-78
26 p.
artikel
590 Learning and applying contextual constraints in sentence comprehension St. John, Mark F.
1990
177-179 1-2 p. 217-257
41 p.
artikel
591 Learning Bayesian networks from data: An information-theory based approach Cheng, Jie
2002
177-179 1-2 p. 43-90
48 p.
artikel
592 Learning Boolean concepts in the presence of many irrelevant features Almuallim, Hussein
1994
177-179 1-2 p. 279-305
27 p.
artikel
593 Learning by discovering concept hierarchies Zupan, Blaž
1999
177-179 1-2 p. 211-242
32 p.
artikel
594 Learning dynamics: system identification for perceptually challenged agents Basye, Kenneth
1995
177-179 1-2 p. 139-171
33 p.
artikel
595 Learning in mathematically-based domains: Understanding and generalizing obstacle cancellations Shavlik, Jude W.
1990
177-179 1-2 p. 1-45
45 p.
artikel
596 Learning logic programs with structured background knowledge ☆ ☆ An extended abstract of this paper appeared in: L. De Raedt (Ed.), Proceedings of the Fifth International Workshop on Inductive Logic Programming, Tokyo, Japan, 1995, pp. 53–76, Scientific Report of the Department of Computer Science, Katholieke Universiteit Leuven, and also in the post-conference volume: L. De Raedt (Ed.), Advances in Inductive Logic Programming, IOS Press, Amsterdam/Ohmsha, Tokyo, 1996, pp. 172–191. Horváth, Tamás
2001
177-179 1-2 p. 31-97
67 p.
artikel
597 Learning problem solving strategies using refinement and macro generation Güvenir, H.Altay
1990
177-179 1-2 p. 209-243
35 p.
artikel
598 Learning to act using real-time dynamic programming Barto, Andrew G.
1995
177-179 1-2 p. 81-138
58 p.
artikel
599 Learning to ask relevant questions Straach, Janell
1999
177-179 1-2 p. 301-327
27 p.
artikel
600 Learning to construct knowledge bases from the World Wide Web Craven, Mark
2000
177-179 1-2 p. 69-113
45 p.
artikel
601 Learning to talk about events from narrated video in a construction grammar framework Dominey, Peter Ford
2005
177-179 1-2 p. 31-61
31 p.
artikel
602 Learning to track the visual motion of contours Blake, Andrew
1995
177-179 1-2 p. 179-212
34 p.
artikel
603 Lessons from a failure: Generating tailored smoking cessation letters Reiter, Ehud
2003
177-179 1-2 p. 41-58
18 p.
artikel
604 Let's plan it deductively! Bibel, W.
1998
177-179 1-2 p. 183-208
26 p.
artikel
605 Lexical knowledge representation and natural language processing Pustejovsky, James
1993
177-179 1-2 p. 193-223
31 p.
artikel
606 Lifelong Planning A∗ Koenig, Sven
2004
177-179 1-2 p. 93-146
54 p.
artikel
607 Limited reasoning in first-order knowledge bases with full introspection Lakemeyer, Gerhard
1996
177-179 1-2 p. 209-255
47 p.
artikel
608 Linear constraints for the interpretation of line drawings of curved objects Cooper, Martin C.
2000
177-179 1-2 p. 235-258
24 p.
artikel
609 Linear-time algorithms for testing the realisability of line drawings of curved objects Cooper, Martin C.
1999
177-179 1-2 p. 31-67
37 p.
artikel
610 Local conditioning in Bayesian networks Díez, F.J.
1996
177-179 1-2 p. 1-20
20 p.
artikel
611 Local consistency in parallel constraint satisfaction networks Kasif, Simon
1994
177-179 1-2 p. 307-327
21 p.
artikel
612 Localization and homing using combinations of model views Basri, Ronen
1995
177-179 1-2 p. 327-354
28 p.
artikel
613 Localized planning with action-based constraints Lansky, Amy L.
1998
177-179 1-2 p. 49-136
88 p.
artikel
614 Locating the phase transition in binary constraint satisfaction problems Smith, Barbara M.
1996
177-179 1-2 p. 155-181
27 p.
artikel
615 Logical representation and fusion of prioritized information based on guaranteed possibility measures: Application to the distance-based merging of classical bases Benferhat, Salem
2003
177-179 1-2 p. 291-333
43 p.
artikel
616 Logic-based subsumption architecture Amir, Eyal
2004
177-179 1-2 p. 167-237
71 p.
artikel
617 Logic programming and knowledge representation—The A-Prolog perspective Gelfond, Michael
2002
177-179 1-2 p. 3-38
36 p.
artikel
618 LUPS—A language for updating logic programs Alferes, José Júlio
2002
177-179 1-2 p. 87-116
30 p.
artikel
619 Machine learning techniques to make computers easier to use Motoda, Hiroshi
1998
177-179 1-2 p. 295-321
27 p.
artikel
620 Map learning with uninterpreted sensors and effectors Pierce, David
1997
177-179 1-2 p. 169-227
59 p.
artikel
621 Mapping part-whole hierarchies into connectionist networks Hinton, Geoffrey E.
1990
177-179 1-2 p. 47-75
29 p.
artikel
622 Master Index—Volumes 141–150 2003
177-179 1-2 p. 331-339
9 p.
artikel
623 Master Index—Volumes 131–140 2002
177-179 1-2 p. 255-262
8 p.
artikel
624 Master index—Volumes 81–90 1997
177-179 1-2 p. 355-364
10 p.
artikel
625 Master index—Volumes 91–100 1998
177-179 1-2 p. 349-357
9 p.
artikel
626 Master index—Volumes 61–70 1994
177-179 1-2 p. 405-415
11 p.
artikel
627 Master Index—Volumes 151–160 2004
177-179 1-2 p. 199-205
7 p.
artikel
628 Maximizing the predictive value of production rules Weiss, Sholom M.
1990
177-179 1-2 p. 47-71
25 p.
artikel
629 MaxSolver: An efficient exact algorithm for (weighted) maximum satisfiability Xing, Zhao
2005
177-179 1-2 p. 47-80
34 p.
artikel
630 Meaning and grammar: An introduction to semantics Perrault, C.Raymond
1993
177-179 1-2 p. 493-502
10 p.
artikel
631 Measures of uncertainty in expert systems 1996
177-179 1-2 p. 393-
1 p.
artikel
632 Methods for task allocation via agent coalition formation Shehory, Onn
1998
177-179 1-2 p. 165-200
36 p.
artikel
633 Michael A. Arbib, The metaphorical brain 2: Neural networks and beyond Barnden, John A.
1998
177-179 1-2 p. 301-309
9 p.
artikel
634 Michael Arbib's The metaphorical brain 2: The sequel? Hanson, Stephen José
1998
177-179 1-2 p. 311-314
4 p.
artikel
635 Mind and Mechanism, by Drew V. McDermott Carruthers, Peter
2003
177-179 1-2 p. 237-240
4 p.
artikel
636 Minimal belief and negation as failure Lifschitz, Vladimir
1994
177-179 1-2 p. 53-72
20 p.
artikel
637 Minimax real-time heuristic search Koenig, Sven
2001
177-179 1-2 p. 165-197
33 p.
artikel
638 Modal logics, description logics and arithmetic reasoning Ohlbach, Hans Jürgen
1999
177-179 1-2 p. 1-31
31 p.
artikel
639 Model-based average reward reinforcement learning Tadepalli, Prasad
1998
177-179 1-2 p. 177-224
48 p.
artikel
640 Model-based computing: Developing flexible machine control software Fromherz, Markus P.J.
1999
177-179 1-2 p. 157-202
46 p.
artikel
641 Model-based diagnosis of hardware designs Friedrich, Gerhard
1999
177-179 1-2 p. 3-39
37 p.
artikel
642 Model-based diagnostics and probabilistic assumption-based reasoning Kohlas, J.
1998
177-179 1-2 p. 71-106
36 p.
artikel
643 Modeling agents as qualitative decision makers Brafman, Ronen I.
1997
177-179 1-2 p. 217-268
52 p.
artikel
644 Modeling visual attention via selective tuning Tsotsos, John K.
1995
177-179 1-2 p. 507-545
39 p.
artikel
645 Modelling social action for AI agents Castelfranchi, Cristiano
1998
177-179 1-2 p. 157-182
26 p.
artikel
646 Monitoring and control of anytime algorithms: A dynamic programming approach Hansen, Eric A.
2001
177-179 1-2 p. 139-157
19 p.
artikel
647 Motion planning with uncertainty: a landmark approach Lazanas, Anthony
1995
177-179 1-2 p. 287-317
31 p.
artikel
648 M. Shanahan, Solving the Frame Problem Shanahan, Murray
2000
177-179 1-2 p. 275-
1 p.
artikel
649 M. Shanahan, Solving the Frame Problem ☆ ☆ MIT Press, Cambridge, MA, 1997. 410 pp. $55.00 (cloth). ISBN 0-262-19384-1. http://mitpress.mit.edu/book-home.tcl?isbn = 0262193841. McCarthy, John
2000
177-179 1-2 p. 269-270
2 p.
artikel
650 M. Shanahan, Solving the Frame Problem ☆ ☆ MIT Press, Cambridge, MA, 1997. 410 pp. $55.00 (cloth). ISBN 0-262-19384-1. http://mitpress.mit.edu/book-home.tcl?isbn = 0262193841. Lifschitz, Vladimir
2000
177-179 1-2 p. 265-268
4 p.
artikel
651 M. Shanahan, Solving the Frame Problem ☆ ☆ MIT Press, Cambridge, MA, 1997. 410 pp. $55.00 (cloth). ISBN 0-262-19384-1. http://mitpress.mit.edu/book-home.tcl?isbn = 0262193841. Sandewall, Erik
2000
177-179 1-2 p. 271-273
3 p.
artikel
652 Multi-contributor causal structures for planning: a formalization and evaluation Kambhampati, Subbarao
1994
177-179 1-2 p. 235-278
44 p.
artikel
653 Multilevel enhancement and detection of stereo disparity surfaces Yang, Yibing
1995
177-179 1-2 p. 121-145
25 p.
artikel
654 Multiobjective heuristic state-space planning Refanidis, Ioannis
2003
177-179 1-2 p. 1-32
32 p.
artikel
655 Multiple agent-based autonomy for satellite constellations Schetter, Thomas
2003
177-179 1-2 p. 147-180
34 p.
artikel
656 Multiple perspective dynamic decision making Leong, Tze Yun
1998
177-179 1-2 p. 209-261
53 p.
artikel
657 Mundane reasoning by settling on a plausible model Derthick, Mark
1990
177-179 1-2 p. 107-157
51 p.
artikel
658 Nagging: A scalable fault-tolerant paradigm for distributed search Segre, Alberto Maria
2002
177-179 1-2 p. 71-106
36 p.
artikel
659 Nature's way of optimizing Boettcher, Stefan
2000
177-179 1-2 p. 275-286
12 p.
artikel
660 Negotiation and cooperation in multi-agent environments Kraus, Sarit
1997
177-179 1-2 p. 79-97
19 p.
artikel
661 N.J. Nilsson, Artificial Intelligence: A New Synthesis T. Dean, J. Allen and Y. Aloimonos, Artificial Intelligence: Theory and Practice D. Poole, A. Mackworth and R. Goebel, Computational Intelligence: A Logical Approach S. Russell and P. Norvig, Artificial Intelligence: A Modern Approach du Boulay, Benedict
2001
177-179 1-2 p. 227-232
6 p.
artikel
662 Noise modelling and evaluating learning from examples Hickey, Ray J.
1996
177-179 1-2 p. 157-179
23 p.
artikel
663 No more “Partial” and “Full Looking Ahead” Tsang, Edward
1998
177-179 1-2 p. 351-361
11 p.
artikel
664 Non-Horn clause logic programming Nie, Xumin
1997
177-179 1-2 p. 243-258
16 p.
artikel
665 Nonmonotonic causal theories Giunchiglia, Enrico
2004
177-179 1-2 p. 49-104
56 p.
artikel
666 Non-monotonic logic I McDermott, Drew
1980
177-179 1-2 p. 41-72
32 p.
artikel
667 Nonmonotonic reasoning by inhibition nets ☆ ☆ This paper has been supported by the Austrian Research Fund FWF (SFB F012). Leitgeb, Hannes
2001
177-179 1-2 p. 161-201
41 p.
artikel
668 Nonmonotonic reasoning, conditional objects and possibility theory Benferhat, Salem
1997
177-179 1-2 p. 259-276
18 p.
artikel
669 Nonmonotonic reasoning, preferential models and cumulative logics Kraus, Sarit
1990
177-179 1-2 p. 167-207
41 p.
artikel
670 Non-uniform time sharing in the concurrent execution of constraint solving Krajčoviech, Richard
1999
177-179 1-2 p. 161-185
25 p.
artikel
671 Note about cardinality-based circumscription Moinard, Yves
2000
177-179 1-2 p. 259-273
15 p.
artikel
672 Notes on “Epistemology of a rule-based expert system” Clancey, William J.
1993
177-179 1-2 p. 197-204
8 p.
artikel
673 Notes on “Heuristic classification” Clancey, William J.
1993
177-179 1-2 p. 191-196
6 p.
artikel
674 [No title] Boutilier, Craig
2003
177-179 1-2 p. 1-4
4 p.
artikel
675 [No title] Benferhat, Salem
2004
177-179 1-2 p. 1-3
3 p.
artikel
676 Object identification: a Bayesian analysis with application to traffic surveillance Huang, Timothy
1998
177-179 1-2 p. 77-93
17 p.
artikel
677 Off-line reasoning for on-line efficiency: knowledge bases 1996
177-179 1-2 p. 393-394
2 p.
artikel
678 On building integrated cognitive agents: a review of Allen Newell's Unified Theories of Cognition Hayes-Roth, Barbara
1993
177-179 1-2 p. 329-341
13 p.
artikel
679 On decision-theoretic foundations for defaults Brafman, Ronen I.
2001
177-179 1-2 p. 1-33
33 p.
artikel
680 On first-order conditional logics Delgrande, James P.
1998
177-179 1-2 p. 105-137
33 p.
artikel
681 On forward checking for non-binary constraint satisfaction Bessière, Christian
2002
177-179 1-2 p. 205-224
20 p.
artikel
682 On functional dependencies in q-Horn theories Ibaraki, Toshihide
2001
177-179 1-2 p. 171-187
17 p.
artikel
683 On information invariants in robotics Donald, Bruce Randall
1995
177-179 1-2 p. 217-304
88 p.
artikel
684 On market-inspired approaches to propositional satisfiability Walsh, William E
2003
177-179 1-2 p. 125-156
32 p.
artikel
685 On point-based temporal disjointness Gerevini, Alfonso
1994
177-179 1-2 p. 347-361
15 p.
artikel
686 On point-duration networks for temporal reasoning Navarrete, I.
2002
177-179 1-2 p. 39-70
32 p.
artikel
687 On social laws for artificial agent societies: off-line design Shoham, Yoav
1995
177-179 1-2 p. 231-252
22 p.
artikel
688 On some tractable classes in deduction and abduction del Val, Alvaro
2000
177-179 1-2 p. 297-313
17 p.
artikel
689 On strongest necessary and weakest sufficient conditions ☆ ☆ An earlier version of this paper was the co-winner of the Best Paper Award at KR2000. Lin, Fangzhen
2001
177-179 1-2 p. 143-159
17 p.
artikel
690 On the complexity of choosing the branching literal in DPLL Liberatore, Paolo
2000
177-179 1-2 p. 315-326
12 p.
artikel
691 On the complexity of labeling perspective projections of polyhedral scenes Parodi, Pietro
1994
177-179 1-2 p. 239-276
38 p.
artikel
692 On the complexity of qualitative spatial reasoning: A maximal tractable fragment of the Region Connection Calculus Renz, Jochen
1999
177-179 1-2 p. 69-123
55 p.
artikel
693 On the computational complexity of assumption-based argumentation for default reasoning Dimopoulos, Yannis
2002
177-179 1-2 p. 57-78
22 p.
artikel
694 On the decidability and complexity of reasoning about only knowing Rosati, Riccardo
2000
177-179 1-2 p. 193-215
23 p.
artikel
695 On the emergence of social conventions: modeling, analysis, and simulations Shoham, Yoav
1997
177-179 1-2 p. 139-166
28 p.
artikel
696 On the hardness of approximate reasoning Roth, Dan
1996
177-179 1-2 p. 273-302
30 p.
artikel
697 On the knowledge required to label a picture graph Freuder, Eugene C.
1980
177-179 1-2 p. 1-17
17 p.
artikel
698 On the knowledge requirements of tasks Brafman, Ronen I.
1998
177-179 1-2 p. 317-349
33 p.
artikel
699 On the logic of cooperation and propositional control van der Hoek, Wiebe
2005
177-179 1-2 p. 81-119
39 p.
artikel
700 On the logic of iterated belief revision Darwiche, Adnan
1997
177-179 1-2 p. 1-29
29 p.
artikel
701 On the nature and role of modal truth criteria in planning Kambhampati, Subbarao
1996
177-179 1-2 p. 129-155
27 p.
artikel
702 On the relation between default and modal nonmonotonic reasoning Bochman, Alexander
1998
177-179 1-2 p. 1-34
34 p.
artikel
703 On the relations between intelligent backtracking and failure-driven explanation-based learning in constraint satisfaction and planning Kambhampati, Subbarao
1998
177-179 1-2 p. 161-208
48 p.
artikel
704 On the relationship between model-based debugging and program slicing Wotawa, Franz
2002
177-179 1-2 p. 125-143
19 p.
artikel
705 On the relative expressiveness of description logics and predicate logics Borgida, Alex
1996
177-179 1-2 p. 353-367
15 p.
artikel
706 On the state of the art in machine learning: A personal review Flach, Peter A.
2001
177-179 1-2 p. 199-222
24 p.
artikel
707 On the undecidability of probabilistic planning and related stochastic optimization problems Madani, Omid
2003
177-179 1-2 p. 5-34
30 p.
artikel
708 On Unified Theories of Cognition: a response to the reviews Rosenbloom, Paul S.
1993
177-179 1-2 p. 389-413
25 p.
artikel
709 On wings of knowledge: a review of Allen Newell's Unified Theories of Cognition Pollack, Jordan B.
1993
177-179 1-2 p. 355-369
15 p.
artikel
710 Open constraint programming Faltings, Boi
2005
177-179 1-2 p. 181-208
28 p.
artikel
711 Operations and evaluation measures for learning possibilistic graphical models Borgelt, Christian
2003
177-179 1-2 p. 385-418
34 p.
artikel
712 Optimal composition of real-time systems Zilberstein, Shlomo
1996
177-179 1-2 p. 181-213
33 p.
artikel
713 Optimal schedules for monitoring anytime algorithms Finkelstein, Lev
2001
177-179 1-2 p. 63-108
46 p.
artikel
714 Optimization of Pearl‘s method of conditioning and greedy-like approximation algorithms for the vertex feedback set problem 1996
177-179 1-2 p. 393-
1 p.
artikel
715 Optimizing the mutual intelligibility of linguistic agents in a shared world Komarova, Natalia
2004
177-179 1-2 p. 1-42
42 p.
artikel
716 PALO: a probabilistic hill-climbing algorithm Greiner, Russell
1996
177-179 1-2 p. 177-208
32 p.
artikel
717 Parallel Randomized Best-First Minimax Search Shoham, Yaron
2002
177-179 1-2 p. 165-196
32 p.
artikel
718 Parsing as non-Horn deduction Stabler Jr, Edward P.
1993
177-179 1-2 p. 225-264
40 p.
artikel
719 Partial order bounding: A new approach to evaluation in game tree search Müller, Martin
2001
177-179 1-2 p. 279-311
33 p.
artikel
720 Partition-based logical reasoning for first-order and propositional theories Amir, Eyal
2005
177-179 1-2 p. 49-88
40 p.
artikel
721 Pathology on game trees revisited, and an alternative to minimaxing Nau, Dana S.
1983
177-179 1-2 p. 221-244
24 p.
artikel
722 Paul R. Cohen's Empirical Methods for Artificial Intelligence Kibler, Dennis
1999
177-179 1-2 p. 281-284
4 p.
artikel
723 Paul R. Cohen's Empirical Methods for Artificial Intelligence Gent, Ian P.
1999
177-179 1-2 p. 285-290
6 p.
artikel
724 Performance bounds for planning in unknown terrain Koenig, Sven
2003
177-179 1-2 p. 253-279
27 p.
artikel
725 Permissive planning: extending classical planning to uncertain task domains DeJong, Gerald F.
1997
177-179 1-2 p. 173-217
45 p.
artikel
726 Phase transitions and the search problem Hogg, Tad
1996
177-179 1-2 p. 1-15
15 p.
artikel
727 Pitch accent in context predicting intonational prominence from text Hirschberg, Julia
1993
177-179 1-2 p. 305-340
36 p.
artikel
728 Plan-based integration of natural language and graphics generation Wahlster, Wolfgang
1993
177-179 1-2 p. 387-427
41 p.
artikel
729 Planning and acting in partially observable stochastic domains Kaelbling, Leslie Pack
1998
177-179 1-2 p. 99-134
36 p.
artikel
730 Planning and control Hendler, James
1995
177-179 1-2 p. 379-386
8 p.
artikel
731 Planning as heuristic search Bonet, Blai
2001
177-179 1-2 p. 5-33
29 p.
artikel
732 Planning as refinement search: a unified framework for evaluating design tradeoffs in partial-order planning Kambhampati, Subbarao
1995
177-179 1-2 p. 167-238
72 p.
artikel
733 Planning from second principles Koehler, Jana
1996
177-179 1-2 p. 145-186
42 p.
artikel
734 Planning graph as the basis for deriving heuristics for plan synthesis by state space and CSP search Nguyen, XuanLong
2002
177-179 1-2 p. 73-123
51 p.
artikel
735 Planning the project management way: Efficient planning by effective integration of causal and resource reasoning in RealPlan Srivastava, Biplav
2001
177-179 1-2 p. 73-134
62 p.
artikel
736 Planning under time constraints in stochastic domains Dean, Thomas
1995
177-179 1-2 p. 35-74
40 p.
artikel
737 Planning: What it is, what it could be, an introduction to the special issue on planning and scheduling McDermott, Drew
1995
177-179 1-2 p. 1-16
16 p.
artikel
738 Plan reuse versus plan generation: a theoretical and empirical analysis Nebel, Bernhard
1995
177-179 1-2 p. 427-454
28 p.
artikel
739 Possibilistic instance-based learning Hüllermeier, Eyke
2003
177-179 1-2 p. 335-383
49 p.
artikel
740 Possibilistic reasoning—a mini-survey and uniform semantics Liau, Churn-Jung
1996
177-179 1-2 p. 163-193
31 p.
artikel
741 Pragmatic navigation: reactivity, heuristics, and search Epstein, Susan L.
1998
177-179 1-2 p. 275-322
48 p.
artikel
742 Preface Pearl, Judea
1983
177-179 1-2 p. 1-6
6 p.
artikel
743 Preface to the special issue on connectionist symbol processing Hinton, Geoffrey E.
1990
177-179 1-2 p. 1-4
4 p.
artikel
744 Preference Logic Grammars: Fixed point semantics and application to data standardization Cui, Baoqiu
2002
177-179 1-2 p. 117-147
31 p.
artikel
745 Preferential reasoning in the perspective of Poole default logic Freund, Michael
1998
177-179 1-2 p. 209-235
27 p.
artikel
746 Preferred answer sets for extended logic programs Brewka, Gerhard
1999
177-179 1-2 p. 297-356
60 p.
artikel
747 Principles and applications of continual computation Horvitz, Eric
2001
177-179 1-2 p. 159-196
38 p.
artikel
748 Principles of artificial intelligence McDermott, John
1980
177-179 1-2 p. 127-131
5 p.
artikel
749 Prioritized logic programming and its application to commonsense reasoning Sakama, Chiaki
2000
177-179 1-2 p. 185-222
38 p.
artikel
750 Probabilistic conflicts in a search algorithm for estimating posterior probabilities in Bayesian networks Poole, David
1996
177-179 1-2 p. 69-100
32 p.
artikel
751 Probabilistic logic revisited Nilsson, Nils J.
1993
177-179 1-2 p. 39-42
4 p.
artikel
752 Probably approximately optimal satisficing strategies Greiner, Russell
1996
177-179 1-2 p. 21-44
24 p.
artikel
753 Problem solving by searching for models with a theorem prover Lee, Shie-Jue
1994
177-179 1-2 p. 205-233
29 p.
artikel
754 Problem structure heuristics and scaling behavior for genetic algorithms Clearwater, Scott H.
1996
177-179 1-2 p. 327-347
21 p.
artikel
755 Processes and continuous change in a SAT-based planner Shin, Ji-Ae
2005
177-179 1-2 p. 194-253
60 p.
artikel
756 Processing disjunctions in temporal constraint networks Schwalb, Eddie
1997
177-179 1-2 p. 29-61
33 p.
artikel
757 Programming backgammon using self-teaching neural nets Tesauro, Gerald
2002
177-179 1-2 p. 181-199
19 p.
artikel
758 Prolegomena to a theory of mechanized formal reasoning Weyhrauch, Richard W.
1980
177-179 1-2 p. 133-170
38 p.
artikel
759 Propagating imprecise probabilities in Bayesian networks Kleiter, Gernot D.
1996
177-179 1-2 p. 143-161
19 p.
artikel
760 Protocols from perceptual observations Needham, Chris J.
2005
177-179 1-2 p. 103-136
34 p.
artikel
761 Prototypical knowledge for expert systems: a retrospective analysis Aikins, Jan S.
1993
177-179 1-2 p. 207-211
5 p.
artikel
762 Proving properties of continuous systems: qualitative simulation and temporal logic Shults, Benjamin
1997
177-179 1-2 p. 91-129
39 p.
artikel
763 Proving theorems by reuse Walther, Christoph
2000
177-179 1-2 p. 17-66
50 p.
artikel
764 Putting knowledge into a visual shape representation Saund, Eric
1992
177-179 1-2 p. 71-119
49 p.
artikel
765 Qualitative choice logic Brewka, Gerhard
2004
177-179 1-2 p. 203-237
35 p.
artikel
766 Qualitative circuit models in failure analysis reasoning Lee, M.H.
1999
177-179 1-2 p. 239-276
38 p.
artikel
767 Qualitative decision theory with preference relations and comparative uncertainty: An axiomatic approach Dubois, Didier
2003
177-179 1-2 p. 219-260
42 p.
artikel
768 Qualitative decision under uncertainty: back to expected utility Fargier, Hélène
2005
177-179 1-2 p. 245-280
36 p.
artikel
769 Qualitative kinematics in mechanisms Faltings, Boi
1990
177-179 1-2 p. 89-119
31 p.
artikel
770 Qualitative physics using dimensional analysis Bhaskar, R.
1990
177-179 1-2 p. 73-111
39 p.
artikel
771 Qualitative probabilities for default reasoning, belief revision, and causal modeling Goldszmidt, Moisés
1996
177-179 1-2 p. 57-112
56 p.
artikel
772 Qualitative process theory: twelve years after Forbus, Kenneth D.
1993
177-179 1-2 p. 115-123
9 p.
artikel
773 Qualitative rigid-body mechanics Stahovich, Thomas F.
2000
177-179 1-2 p. 19-60
42 p.
artikel
774 Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets Bulitko, Vadim
2003
177-179 1-2 p. 95-124
30 p.
artikel
775 Qualitative simulation: then and now Kuipers, Benjamin J.
1993
177-179 1-2 p. 133-140
8 p.
artikel
776 Qualitative system identification: deriving structure from 1996
177-179 1-2 p. 394-
1 p.
artikel
777 Quantifying inductive bias: AI learning algorithms and valiant's learning framework 1990
177-179 1-2 p. 265-
1 p.
artikel
778 Querying temporal and spatial constraint networks in PTIME ☆ ☆ A preliminary version of this paper appeared in the proceedings of AAAI-99. A different version of this paper (aimed at a database audience) appeared in the proceedings of the workshop STDBM99. Koubarakis, Manolis
2000
177-179 1-2 p. 223-263
41 p.
artikel
779 Question answering from natural language medical data bases Grishman, Ralph
1978
177-179 1-2 p. 25-43
19 p.
artikel
780 Ramification and causality Thielscher, Michael
1997
177-179 1-2 p. 317-364
48 p.
artikel
781 Rationality and intelligence Russell, Stuart J.
1997
177-179 1-2 p. 57-77
21 p.
artikel
782 Reaching agreements through argumentation: a logical model and implementation Kraus, Sarit
1998
177-179 1-2 p. 1-69
69 p.
artikel
783 Reading McDermott Akman, Varol
2003
177-179 1-2 p. 227-235
9 p.
artikel
784 Reasoning about actions: steady versus stabilizing state constraints Thielscher, Michael
1998
177-179 1-2 p. 339-355
17 p.
artikel
785 Reasoning about causality between distributed nonatomic events Kshemkalyani, Ajay D.
1997
177-179 1-2 p. 301-315
15 p.
artikel
786 Reasoning about noisy sensors and effectors in the situation calculus Bacchus, Fahiem
1999
177-179 1-2 p. 171-208
38 p.
artikel
787 Reasoning about nonlinear system identification Bradley, Elizabeth
2001
177-179 1-2 p. 139-188
50 p.
artikel
788 Reasoning agents in a dynamic world: The frame problem Toth, Jozsef A.
1995
177-179 1-2 p. 323-369
47 p.
artikel
789 Reasoning on UML class diagrams Berardi, Daniela
2005
177-179 1-2 p. 70-118
49 p.
artikel
790 Reasoning with models Khardon, Roni
1996
177-179 1-2 p. 187-213
27 p.
artikel
791 Reasoning with qualitative models Kuipers, Benjamin J.
1993
177-179 1-2 p. 125-132
8 p.
artikel
792 Recently-Published-Book Precis 2001
177-179 1-2 p. 233-245
13 p.
artikel
793 Recently-Published-Book Precis 2002
177-179 1-2 p. 265-274
10 p.
artikel
794 Recognition of gestures in Arabic sign language using neuro-fuzzy systems Al-Jarrah, Omar
2001
177-179 1-2 p. 117-138
22 p.
artikel
795 Recognition of object classes from range data Reid, I.D.
1995
177-179 1-2 p. 289-326
38 p.
artikel
796 Reconstructing force-dynamic models from video sequences Siskind, Jeffrey Mark
2003
177-179 1-2 p. 91-154
64 p.
artikel
797 Reconstructive expert system explanation Wick, Michael R.
1992
177-179 1-2 p. 33-70
38 p.
artikel
798 Recursive conditioning Darwiche, Adnan
2001
177-179 1-2 p. 5-41
37 p.
artikel
799 Recursive distributed representations Pollack, Jordan B.
1990
177-179 1-2 p. 77-105
29 p.
artikel
800 Reducing belief revision to circumscription (and vice versa) Liberatore, Paolo
1997
177-179 1-2 p. 261-296
36 p.
artikel
801 “Reducing” classic to practice: Knowledge representation theory meets reality Brachman, Ronald J
1999
177-179 1-2 p. 203-237
35 p.
artikel
802 REF-ARF: A system for solving problems stated as procedures Fikes, Richard E.
1970
177-179 1-2 p. 27-120
94 p.
artikel
803 Refining the phase transition in combinatorial search Hogg, Tad
1996
177-179 1-2 p. 127-154
28 p.
artikel
804 Reflections on the knowledge level Newell, Allen
1993
177-179 1-2 p. 31-38
8 p.
artikel
805 Region Connection Calculus: Its models and composition table Li, Sanjiang
2003
177-179 1-2 p. 121-146
26 p.
artikel
806 Reinforcement learning of non-Markov decision processes Whitehead, Steven D.
1995
177-179 1-2 p. 271-306
36 p.
artikel
807 Relevance from an epistemic perspective Lakemeyer, Gerhard
1997
177-179 1-2 p. 137-167
31 p.
artikel
808 Remote Agent: to boldly go where no AI system has gone before Muscettola, Nicola
1998
177-179 1-2 p. 5-47
43 p.
artikel
809 Reply to Carruthers and Akman McDermott, Drew
2003
177-179 1-2 p. 241-245
5 p.
artikel
810 Representation and fusion of heterogeneous fuzzy information in the 3D space for model-based structural recognition—Application to 3D brain imaging Bloch, Isabelle
2003
177-179 1-2 p. 141-175
35 p.
artikel
811 Representation of propositional expert systems as partial functions Colomb, Robert M.
1999
177-179 1-2 p. 187-209
23 p.
artikel
812 Representations and solutions for game-theoretic problems Koller, Daphne
1997
177-179 1-2 p. 167-215
49 p.
artikel
813 Representing stereo data with the Delaunay triangulation Faugeras, O.D.
1990
177-179 1-2 p. 41-87
47 p.
artikel
814 Representing the Zoo World and the Traffic World in the language of the Causal Calculator Akman, Varol
2004
177-179 1-2 p. 105-140
36 p.
artikel
815 Retrospective on “Causality in device behavior” Iwasaki, Yumi
1993
177-179 1-2 p. 141-146
6 p.
artikel
816 Retrospective on “Diagnostic reasoning based on structure and behavior” Davis, Randall
1993
177-179 1-2 p. 149-157
9 p.
artikel
817 Retrospective on “Interpreting line drawings as three-dimensional surfaces” Barrow, Harry G.
1993
177-179 1-2 p. 71-80
10 p.
artikel
818 Retrospective on “Production rules as a representation for a knowledge-based consultation program” Davis, Randall
1993
177-179 1-2 p. 181-189
9 p.
artikel
819 Retrospective on “The organization of expert systems, a tutorial” Stefik, Mark
1993
177-179 1-2 p. 221-224
4 p.
artikel
820 Review of The Computational Beauty of Nature by Gary William Flake ☆ ☆ MIT Press, Cambridge, MA, 1998. $52.00. ISBN 0-262-06200-3 (hard cover). $29.95. ISBN 0-262-56127-1 (paperback). Berzins, Martin
2001
177-179 1-2 p. 237-238
2 p.
artikel
821 Review of The Computational Beauty of Nature by Gary William Flake ☆ ☆ MIT Press, Cambridge, MA, 1998. $52.00. ISBN 0-262-06200-3 (hard cover). $29.95. ISBN 0-262-56127-1 (paperback). Moses, Melanie
2001
177-179 1-2 p. 239-242
4 p.
artikel
822 Revision by comparison Fermé, Eduardo
2004
177-179 1-2 p. 5-47
43 p.
artikel
823 Robust Bayes classifiers Ramoni, Marco
2001
177-179 1-2 p. 209-226
18 p.
artikel
824 Robust Monte Carlo localization for mobile robots Thrun, Sebastian
2001
177-179 1-2 p. 99-141
43 p.
artikel
825 Robustness of regional matching scheme over global matching scheme Chen, Liang
2003
177-179 1-2 p. 213-232
20 p.
artikel
826 Role of constrained computational systems in natural language processing Joshi, Aravind K.
1998
177-179 1-2 p. 117-132
16 p.
artikel
827 Rough computational methods for information systems Guan, J.W.
1998
177-179 1-2 p. 77-103
27 p.
artikel
828 R1 (“XCON”) at age 12: lessons from an elementary school achiever McDermott, John
1993
177-179 1-2 p. 241-247
7 p.
artikel
829 SAT-based planning in complex domains: Concurrency, constraints and nondeterminism Castellini, Claudio
2003
177-179 1-2 p. 85-117
33 p.
artikel
830 SCC-recursiveness: a general schema for argumentation semantics Baroni, Pietro
2005
177-179 1-2 p. 162-210
49 p.
artikel
831 Schema-based learning Corbacho, Fernando J.
1998
177-179 1-2 p. 337-339
3 p.
artikel
832 Schema induction for logic program synthesis Tinkham, Nancy Lynn
1998
177-179 1-2 p. 1-47
47 p.
artikel
833 Search and Reasoning in problem solving Simon, Herbert A.
1983
177-179 1-2 p. 7-29
23 p.
artikel
834 Search in games with incomplete information: a case study using Bridge card play Frank, Ian
1998
177-179 1-2 p. 87-123
37 p.
artikel
835 Searching for an optimal path in a tree with random costs Karp, Richard M.
1983
177-179 1-2 p. 99-116
18 p.
artikel
836 Searching game trees under a partial order Dasgupta, Pallab
1996
177-179 1-2 p. 237-257
21 p.
artikel
837 Searching stochastically generated multi-abstraction-level design spaces Steinberg, Louis
2001
177-179 1-2 p. 63-90
28 p.
artikel
838 Search rearrangement backtracking and polynomial average time Purdom Jr., Paul Walton
1983
177-179 1-2 p. 117-133
17 p.
artikel
839 Secure distributed constraint satisfaction: reaching agreement without revealing private information Yokoo, Makoto
2005
177-179 1-2 p. 229-245
17 p.
artikel
840 Selection of relevant features and examples in machine learning Blum, Avrim L.
1997
177-179 1-2 p. 245-271
27 p.
artikel
841 Semantical and computational aspects of Horn approximations Cadoli, Marco
2000
177-179 1-2 p. 1-17
17 p.
artikel
842 Semantics and complexity of abduction from default theories Eiter, Thomas
1997
177-179 1-2 p. 177-223
47 p.
artikel
843 Semiotic schemas: A framework for grounding language in action and perception Roy, Deb
2005
177-179 1-2 p. 170-205
36 p.
artikel
844 Semi-quantitative system identification Kay, Herbert
2000
177-179 1-2 p. 103-140
38 p.
artikel
845 Sensorimotor transformations in the worlds of frogs and robots Arbib, Michael A.
1995
177-179 1-2 p. 53-79
27 p.
artikel
846 Sensor networks and distributed CSP: communication, computation and complexity Béjar, Ramón
2005
177-179 1-2 p. 117-147
31 p.
artikel
847 Showing the way: a review of the second edition of Holland's adaptation in natural and artificial systems Levenick, Jim
1998
177-179 1-2 p. 331-338
8 p.
artikel
848 Simulation and evaluation of chemical synthesis—SECS: An application of artificial intelligence techniques Wipke, W.Todd
1978
177-179 1-2 p. 173-193
21 p.
artikel
849 Skepticism and floating conclusions Horty, John F.
2002
177-179 1-2 p. 55-72
18 p.
artikel
850 Smart office robot collaboration based on multi-agent programming Mizoguchi, F.
1999
177-179 1-2 p. 57-94
38 p.
artikel
851 Sokoban: Enhancing general single-agent search methods using domain knowledge Junghanns, Andreas
2001
177-179 1-2 p. 219-251
33 p.
artikel
852 Solving factored MDPs using non-homogeneous partitions Kim, Kee-Eung
2003
177-179 1-2 p. 225-251
27 p.
artikel
853 Solving multi-granularity temporal constraint networks Bettini, Claudio
2002
177-179 1-2 p. 107-152
46 p.
artikel
854 Solving the multiple instance problem with axis-parallel rectangles Dietterich, Thomas G.
1997
177-179 1-2 p. 31-71
41 p.
artikel
855 Solving weighted CSP by maintaining arc consistency Larrosa, Javier
2004
177-179 1-2 p. 1-26
26 p.
artikel
856 Some pitfalls for experimenters with random SAT Mitchell, David G.
1996
177-179 1-2 p. 111-125
15 p.
artikel
857 Sound and efficient closed-world reasoning for planning Etzioni, Oren
1997
177-179 1-2 p. 113-148
36 p.
artikel
858 Special issue of the journal Artificial intelligence on AI in medicine 1997
177-179 1-2 p. 337-338
2 p.
artikel
859 Special Issue of the journal Artificial Intelligence on “AI & Law” Rissland, Edwina L.
2001
177-179 1-2 p. 313-314
2 p.
artikel
860 Special Issue of the journal Artificial Intelligence on “AI & Law” Rissland, Edwina L.
2001
177-179 1-2 p. 247-248
2 p.
artikel
861 Special Issue of the journal Artificial Intelligence on “Fuzzy Set and Possibility Theory-Based Methods in Artificial Intelligence” Dubois, Didier
2001
177-179 1-2 p. 245-246
2 p.
artikel
862 Special issue on computational tradeoffs under bounded resources 1998
177-179 1-2 p. 347-348
2 p.
artikel
863 Special issue on computational tradeoffs under bounded resources Horvitz, Eric
1998
177-179 1-2 p. 341-342
2 p.
artikel
864 Special issue on intelligent internet systems 1998
177-179 1-2 p. 345-
1 p.
artikel
865 Special issue on intelligent internet systems 1998
177-179 1-2 p. 339-
1 p.
artikel
866 Special Volume on Reformulation, dedicated to the memory of Saul Amarel, 1928–2002 Ellman, T.
2005
177-179 1-2 p. 1-
1 p.
artikel
867 Speeding up inferences using relevance reasoning: a formalism and algorithms Levy, Alon Y.
1997
177-179 1-2 p. 83-136
54 p.
artikel
868 Speeding up problem solving by abstraction: a graph oriented approach Holte, R.C.
1996
177-179 1-2 p. 321-361
41 p.
artikel
869 Speeding up problem solving by abstraction: a graph oriented approach Holte, R.
1996
177-179 1-2 p. 358-359
2 p.
artikel
870 Stable repeated strategies for information exchange between two autonomous agents Azoulay-Schwartz, Rina
2004
177-179 1-2 p. 43-93
51 p.
artikel
871 State-variable planning under structural restrictions: algorithms and complexity Jonsson, Peter
1998
177-179 1-2 p. 125-176
52 p.
artikel
872 Stochastic dynamic programming with factored representations Boutilier, Craig
2000
177-179 1-2 p. 49-107
59 p.
artikel
873 Stochastic modelling of Genetic Algorithms Reynolds, David
1996
177-179 1-2 p. 303-330
28 p.
artikel
874 STRIPS, a retrospective Fikes, Richard E.
1993
177-179 1-2 p. 227-232
6 p.
artikel
875 Structure-based modeling of schemas Érdi, P.
1998
177-179 1-2 p. 341-343
3 p.
artikel
876 Structure-driven algorithms for truth maintenance Dechter, Rina
1996
177-179 1-2 p. 1-20
20 p.
artikel
877 Subject Index—Volumes 141–150 2003
177-179 1-2 p. 341-345
5 p.
artikel
878 Subject Index—Volumes 131–140 2002
177-179 1-2 p. 263-266
4 p.
artikel
879 Subject Index—Volumes 151–160 2004
177-179 1-2 p. 207-210
4 p.
artikel
880 Support set selection for a bductive and default reasoning Selman, Bart
1996
177-179 1-2 p. 259-272
14 p.
artikel
881 Symbolic knowledge extraction from trained neural networks: A sound approach d'Avila Garcez, A.S
2001
177-179 1-2 p. 155-207
53 p.
artikel
882 Taggers for parsers Charniak, Eugene
1996
177-179 1-2 p. 45-57
13 p.
artikel
883 Taggers for parsers Charniak, E.
1996
177-179 1-2 p. 357-
1 p.
artikel
884 Task-dependent qualitative domain abstraction Sachenbacher, M.
2005
177-179 1-2 p. 121-143
23 p.
artikel
885 Taxonomic plan reasoning Devanbu, Premkumar T.
1996
177-179 1-2 p. 1-35
35 p.
artikel
886 Temporal prepositions and their logic Pratt-Hartmann, Ian
2005
177-179 1-2 p. 1-36
36 p.
artikel
887 Temporal reasoning based on semi-intervals Freksa, Christian
1992
177-179 1-2 p. 199-227
29 p.
artikel
888 Temporal scenario modelling and recognition based on possibilistic logic Grabisch, Michel
2003
177-179 1-2 p. 261-289
29 p.
artikel
889 Tensor product variable binding and the representation of symbolic structures in connectionist systems Smolensky, Paul
1990
177-179 1-2 p. 159-216
58 p.
artikel
890 Testing the descriptive validity of possibility theory in human judgments of uncertainty Raufaste, Eric
2003
177-179 1-2 p. 197-218
22 p.
artikel
891 The challenge of poker Billings, Darse
2002
177-179 1-2 p. 201-240
40 p.
artikel
892 The cognitive structure of emotions Arbib, Michael A.
1992
177-179 1-2 p. 229-240
12 p.
artikel
893 The combinatorics of object recognition in cluttered environments using constrained search Grimson, W.Eric L.
1990
177-179 1-2 p. 121-165
45 p.
artikel
894 The complexity of belief update Liberatore, Paolo
2000
177-179 1-2 p. 141-190
50 p.
artikel
895 The complexity of constraint satisfaction revisited Mackworth, Alan K.
1993
177-179 1-2 p. 57-62
6 p.
artikel
896 The complexity of contract negotiation Dunne, Paul E.
2005
177-179 1-2 p. 23-46
24 p.
artikel
897 The computational brain Reeke Jr, George N.
1996
177-179 1-2 p. 381-391
11 p.
artikel
898 The computational complexity of propositional STRIPS planning Bylander, Tom
1994
177-179 1-2 p. 165-204
40 p.
artikel
899 The consensus operator for combining beliefs Jøsang, Audun
2002
177-179 1-2 p. 157-170
14 p.
artikel
900 The correctness of nondeterministic programs Manna, Zohar
1970
177-179 1-2 p. 1-26
26 p.
artikel
901 The distributed breakout algorithms Hirayama, Katsutoshi
2005
177-179 1-2 p. 89-115
27 p.
artikel
902 The effect of resource limits and task complexity on collaborative planning in dialogue Walker, Marilyn A.
1996
177-179 1-2 p. 181-243
63 p.
artikel
903 The effect of resource limits and task complexity on collaborative planning in dialogue Walker, M.A.
1996
177-179 1-2 p. 355-
1 p.
artikel
904 The emergence of compositional structures in perceptually grounded language games Vogt, Paul
2005
177-179 1-2 p. 206-242
37 p.
artikel
905 The expressive power of circumscription Costello, Tom
1998
177-179 1-2 p. 313-329
17 p.
artikel
906 The geometry of view space of opaque objects bounded by smooth surfaces Rieger, J.H.
1990
177-179 1-2 p. 1-40
40 p.
artikel
907 The hardest constraint problems: A double phase transition Hogg, Tad
1994
177-179 1-2 p. 359-377
19 p.
artikel
908 The independent choice logic for modelling multiple agents under uncertainty Poole, David
1997
177-179 1-2 p. 7-56
50 p.
artikel
909 The intelligent use of space Kirsh, David
1995
177-179 1-2 p. 31-68
38 p.
artikel
910 The KERNEL text understanding system Palmer, Martha S.
1993
177-179 1-2 p. 17-68
52 p.
artikel
911 The mathematics of non-monotonic reasoning Davis, Martin
1980
177-179 1-2 p. 73-80
8 p.
artikel
912 The maximum length of prime implicates for instances of 3-SAT Dunne, Paul E.
1997
177-179 1-2 p. 317-329
13 p.
artikel
913 The metaphorical brains Arbib, Michael
1998
177-179 1-2 p. 323-335
13 p.
artikel
914 The normative representation of quantified beliefs by belief functions Smets, Philippe
1997
177-179 1-2 p. 229-242
14 p.
artikel
915 Theories for mutagenicity: a study in first-order and feature-based induction Srinivasan, Ashwin
1996
177-179 1-2 p. 277-299
23 p.
artikel
916 Theories for mutagenicity: a study in first-order and feature-based induction Srinivasan, A.
1996
177-179 1-2 p. 357-
1 p.
artikel
917 The origins of syntax in visually grounded robotic agents Steels, Luc
1998
177-179 1-2 p. 133-156
24 p.
artikel
918 Theory formation by heuristic search Lenat, Douglas B.
1983
177-179 1-2 p. 31-59
29 p.
artikel
919 The perceptron algorithm versus winnow: linear versus logarithmic mistake bounds when few input variables are relevant Kivinen, J.
1997
177-179 1-2 p. 325-343
19 p.
artikel
920 The plan recognition problem: An intersection of psychology and artificial intelligence Schmidt, C.F.
1978
177-179 1-2 p. 45-83
39 p.
artikel
921 The PN ∗ -search algorithm: Application to tsume-shogi Seo, Masahiro
2001
177-179 1-2 p. 253-277
25 p.
artikel
922 The problem of survival from an algorithmic point of view Fouks, J.-D.
2001
177-179 1-2 p. 87-116
30 p.
artikel
923 The Qualification Problem: A solution to the problem of anomalous models Thielscher, Michael
2001
177-179 1-2 p. 1-37
37 p.
artikel
924 The refinement of probabilistic rule sets: Sociopathic interactions Wilkins, David C.
1994
177-179 1-2 p. 1-32
32 p.
artikel
925 The relevance of relevance Subramanian, Devika
1997
177-179 1-2 p. 1-5
5 p.
artikel
926 The representation of planning strategies Gordon, Andrew S.
2004
177-179 1-2 p. 287-305
19 p.
artikel
927 The satisfiability constraint gap Gent, Ian P.
1996
177-179 1-2 p. 59-80
22 p.
artikel
928 The sensitivity of belief networks to imprecise probabilities: an experimental investigation Pradhan, Malcolm
1996
177-179 1-2 p. 363-397
35 p.
artikel
929 The sensitivity of belief networks to imprecise probabilities: an experimental investigation Pradhan, A.
1996
177-179 1-2 p. 357-
1 p.
artikel
930 The size distribution for Markov equivalence classes of acyclic digraph models Gillispie, Steven B.
2002
177-179 1-2 p. 137-155
19 p.
artikel
931 The Spatial Semantic Hierarchy Kuipers, Benjamin
2000
177-179 1-2 p. 191-233
43 p.
artikel
932 The stabilization of environments Hammond, Kristian J.
1995
177-179 1-2 p. 305-327
23 p.
artikel
933 The TSP phase transition Gent, Ian P.
1996
177-179 1-2 p. 349-358
10 p.
artikel
934 The use of dynamics in an intelligent controller for a space faring rescue robot Schoppers, Marcel
1995
177-179 1-2 p. 175-230
56 p.
artikel
935 The vulnerability of the transferable belief model to Dutch books Snow, Paul
1998
177-179 1-2 p. 345-354
10 p.
artikel
936 Think!: A unified numerical–symbolic knowledge representation scheme and reasoning system Vilhelm, Christian
2000
177-179 1-2 p. 67-85
19 p.
artikel
937 Three new publication categories for the Artificial Intelligence Journal Cohn, A.G.
1999
177-179 1-2 p. 1-2
2 p.
artikel
938 Three new publication categories for the Artificial Intelligence Journal Cohn, A.G.
1999
177-179 1-2 p. 251-252
artikel
939 Time and modality in a natural language interface to a planning system Crouch, R.S.
1993
177-179 1-2 p. 265-304
40 p.
artikel
940 Time complexity of iterative-deepening-A ∗ Korf, Richard E.
2001
177-179 1-2 p. 199-218
20 p.
artikel
941 Top-down induction of first-order logical decision trees Blockeel, Hendrik
1998
177-179 1-2 p. 285-297
13 p.
artikel
942 Topological direction-giving and visual navigation in large environments Park, Il-Pyung
1995
177-179 1-2 p. 355-395
41 p.
artikel
943 Topological inference of teleology: Deriving function from structure via evidential reasoning Everett, John Otis
1999
177-179 1-2 p. 149-202
54 p.
artikel
944 Topological parameters for time-space tradeoff Dechter, Rina
2001
177-179 1-2 p. 93-118
26 p.
artikel
945 Towards a characterisation of the behaviour of stochastic local search algorithms for SAT Hoos, Holger H.
1999
177-179 1-2 p. 213-232
artikel
946 Towards adaptive Web sites: Conceptual framework and case study Perkowitz, Mike
2000
177-179 1-2 p. 245-275
31 p.
artikel
947 Towards an analytic framework for analysing the computation time of evolutionary algorithms He, Jun
2003
177-179 1-2 p. 59-97
39 p.
artikel
948 Towards a practical theory of reformulation for reasoning about physical systems Choueiry, Berthe Y.
2005
177-179 1-2 p. 145-204
60 p.
artikel
949 Towards a process model of human personality traits Carbonell, Jaime G.
1980
177-179 1-2 p. 49-74
26 p.
artikel
950 Towards a systematic methodology for cognitive modelling Cooper, R.
1996
177-179 1-2 p. 355-
1 p.
artikel
951 Tractable approximations for temporal constraint handling Hirsch, Robin
2000
177-179 1-2 p. 287-295
9 p.
artikel
952 Tractable combinatorial auctions and b-matching Tennenholtz, Moshe
2002
177-179 1-2 p. 231-243
13 p.
artikel
953 Translingual information retrieval: learning from bilingual corpora Yang, Yiming
1998
177-179 1-2 p. 323-345
23 p.
artikel
954 Twenty-one large tractable subclasses of Allen's algebra Drakengren, Thomas
1997
177-179 1-2 p. 297-319
23 p.
artikel
955 Two counterexamples related to Baker's approach to the frame problem Kartha, G.Neelakantan
1994
177-179 1-2 p. 379-391
13 p.
artikel
956 Two machine learning textbooks: An instructor's perspective Davis, Ernest
2001
177-179 1-2 p. 191-198
8 p.
artikel
957 Understanding dynamic scenes Chella, A.
2000
177-179 1-2 p. 89-132
44 p.
artikel
958 Understanding mechanical motion: From images to behaviors Dar, Tzachi
1999
177-179 1-2 p. 147-179
artikel
959 Understanding metonymies in discourse Markert, Katja
2002
177-179 1-2 p. 145-198
54 p.
artikel
960 Understanding planner behavior Howe, Adele E.
1995
177-179 1-2 p. 125-166
42 p.
artikel
961 Understanding planning with incomplete information and sensing Oglietti, Marcelo
2005
177-179 1-2 p. 171-208
38 p.
artikel
962 Understanding positioning from multiple images Mohr, Roger
1995
177-179 1-2 p. 213-238
26 p.
artikel
963 Unified Theories of Cognition Arbib, Michael A.
1993
177-179 1-2 p. 265-283
19 p.
artikel
964 Unified Theories of Cognition Dennett, Daniel C.
1993
177-179 1-2 p. 285-294
10 p.
artikel
965 Unified theories of cognition Minsky, Marvin
1993
177-179 1-2 p. 343-354
12 p.
artikel
966 Unified Theories of Cognition: modeling cognitive competence Fehling, Michael R.
1993
177-179 1-2 p. 295-328
34 p.
artikel
967 Unifying metric approach to the triple parity Chan, Tony Y.T.
2002
177-179 1-2 p. 123-135
13 p.
artikel
968 Unifying tree decompositions for reasoning in graphical models Kask, Kalev
2005
177-179 1-2 p. 165-193
29 p.
artikel
969 Unsupervised stratification of cross-validation for accuracy estimation Diamantidis, N.A.
2000
177-179 1-2 p. 1-16
16 p.
artikel
970 Updating beliefs with incomplete observations de Cooman, Gert
2004
177-179 1-2 p. 75-125
51 p.
artikel
971 Using action-based hierarchies for real-time diagnosis Ash, David
1996
177-179 1-2 p. 317-347
31 p.
artikel
972 Using background knowledge in case-based legal reasoning: A computational model and an intelligent learning environment Aleven, Vincent
2003
177-179 1-2 p. 183-237
55 p.
artikel
973 Using genetic programming to learn and improve control knowledge Aler, Ricardo
2002
177-179 1-2 p. 29-56
28 p.
artikel
974 Using hidden nodes in Bayesian networks Kwoh, Chee-Keong
1996
177-179 1-2 p. 1-38
38 p.
artikel
975 Using modeling knowledge to guide design space search Gelsey, Andrew
1998
177-179 1-2 p. 35-62
28 p.
artikel
976 Using regression-match graphs to control search in planning McDermott, Drew
1999
177-179 1-2 p. 111-159
49 p.
artikel
977 Using temporal logics to express search control knowledge for planning Bacchus, Fahiem
2000
177-179 1-2 p. 123-191
69 p.
artikel
978 Utility-based on-line exploration for repeated navigation in an embedded graph Argamon-Engelson, Shlomo
1998
177-179 1-2 p. 267-284
18 p.
artikel
979 Vehicles capable of dynamic vision: a new breed of technical beings? Dickmanns, Ernst D.
1998
177-179 1-2 p. 49-76
28 p.
artikel
980 Verification of knowledge bases based on containment checking Levy, Alon Y.
1998
177-179 1-2 p. 227-250
24 p.
artikel
981 Viewing morphology as an inference process Krovetz, Robert
2000
177-179 1-2 p. 277-294
18 p.
artikel
982 Vision, instruction, and action Lyons, Damian M.
1995
177-179 1-2 p. 387-401
15 p.
artikel
983 Visual surveillance in a dynamic and uncertain world Buxton, Hilary
1995
177-179 1-2 p. 431-459
29 p.
artikel
984 Weak AGM postulates and strong Ramsey Test: A logical formalization Giordano, Laura
2005
177-179 1-2 p. 1-37
37 p.
artikel
985 Weakening conflicting information for iterated revision and knowledge integration Benferhat, Salem
2004
177-179 1-2 p. 339-371
33 p.
artikel
986 Weak nonmonotonic probabilistic logics Lukasiewicz, Thomas
2005
177-179 1-2 p. 119-161
43 p.
artikel
987 Weak, strong, and strong cyclic planning via symbolic model checking Cimatti, A.
2003
177-179 1-2 p. 35-84
50 p.
artikel
988 What robots can do: robot programs and effective achievability Lin, Fangzhen
1998
177-179 1-2 p. 201-226
26 p.
artikel
989 WHIRL: A word-based information representation language Cohen, William W.
2000
177-179 1-2 p. 163-196
34 p.
artikel
990 Why Gödel's theorem cannot refute computationalism LaForte, Geoffrey
1998
177-179 1-2 p. 265-286
22 p.
artikel
991 Word sense disambiguation with pictures Barnard, Kobus
2005
177-179 1-2 p. 13-30
18 p.
artikel
992 World-championship-caliber Scrabble ☆ ☆ SCRABBLE® is a registered trademark. All intellectual property rights in and to the game are owned in the USA by Hasbro Inc., in Canada by Hasbro Canada Corporation, and throughout the rest of the world by J.W. Spear & Sons Limited of Maidenhead, Berkshire, England, a subsidiary of Mattel Inc. Sheppard, Brian
2002
177-179 1-2 p. 241-275
35 p.
artikel
993 Wrapper induction: Efficiency and expressiveness Kushmerick, Nicholas
2000
177-179 1-2 p. 15-68
54 p.
artikel
994 Wrappers for feature subset selection Kohavi, Ron
1997
177-179 1-2 p. 273-324
52 p.
artikel
                             994 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland