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