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