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