|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
333 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A blackboard architecture for control |
Hayes-Roth, Barbara |
1985 |
182-183 | 3 |
p. 251-321 71 p. |
article |
|
| 2 | Abstract minimality and circumscription |
Liau, Churn Jung |
1992 |
182-183 | 3 |
p. 381-396 16 p. |
article |
|
| 3 | A chess combination program which uses plans |
Pitrat, Jacques |
1977 |
182-183 | 3 |
p. 275-321 47 p. |
article |
|
| 4 | A common representation for problem-solving and language-comprehension information |
Charniak, Eugene |
1981 |
182-183 | 3 |
p. 225-255 31 p. |
article |
|
| 5 | A comparative study of several proof procedures |
Bibel, Wolfgang |
1982 |
182-183 | 3 |
p. 269-293 25 p. |
article |
|
| 6 | A four-valued semantics for terminological logics |
Patel-Schneider, Peter F. |
1989 |
182-183 | 3 |
p. 319-351 33 p. |
article |
|
| 7 | A general framework for reason maintenance |
McDermott, Drew |
1991 |
182-183 | 3 |
p. 289-329 41 p. |
article |
|
| 8 | A guide to completeness and complexity for modal logics of knowledge and belief |
Halpern, Joseph Y. |
1992 |
182-183 | 3 |
p. 319-379 61 p. |
article |
|
| 9 | A logic to reason about likelihood |
Halpern, Joseph Y. |
1987 |
182-183 | 3 |
p. 379-405 27 p. |
article |
|
| 10 | am: A case study in AI methodology |
Ritchie, G.D. |
1984 |
182-183 | 3 |
p. 249-268 20 p. |
article |
|
| 11 | A method for managing evidential reasoning in a hierarchical hypothesis space |
Gordon, Jean |
1985 |
182-183 | 3 |
p. 323-357 35 p. |
article |
|
| 12 | Analog retrieval by constraint satisfaction |
Thagard, Paul |
1990 |
182-183 | 3 |
p. 259-310 52 p. |
article |
|
| 13 | Analyzing intention in utterances |
Allen, James F. |
1980 |
182-183 | 3 |
p. 143-178 36 p. |
article |
|
| 14 | An analysis of first-order logics of probability |
Halpern, Joseph Y. |
1990 |
182-183 | 3 |
p. 311-350 40 p. |
article |
|
| 15 | An artificial intelligence approach to language instruction |
Weischedel, Ralph M. |
1978 |
182-183 | 3 |
p. 225-240 16 p. |
article |
|
| 16 | An efficient method for eliminating varying predicates from a circumscription |
Cadoli, Marco |
1992 |
182-183 | 3 |
p. 397-410 14 p. |
article |
|
| 17 | A new approach to the symbolic factorization of multivariate polynomials |
Claybrook, Billy G. |
1976 |
182-183 | 3 |
p. 203-241 39 p. |
article |
|
| 18 | A new use of an automated reasoning assistant: Open questions in equivalential calculus and the study of infinite domains |
Wos, L. |
1984 |
182-183 | 3 |
p. 303-356 54 p. |
article |
|
| 19 | An investigation into the goals of research in automatic theorem proving as related to mathematical reasoning |
Brown, Frank Malloy |
1980 |
182-183 | 3 |
p. 221-242 22 p. |
article |
|
| 20 | An investigation of the causes of pathology in games |
Nau, Dana S. |
1982 |
182-183 | 3 |
p. 257-278 22 p. |
article |
|
| 21 | Announcement |
1990 |
182-183 | 3 |
p. 397-403 7 p. |
article |
||
| 22 | Announcement |
1990 |
182-183 | 3 |
p. 385- 1 p. |
article |
||
| 23 | Announcement |
1989 |
182-183 | 3 |
p. 403-404 2 p. |
article |
||
| 24 | Announcement |
1978 |
182-183 | 3 |
p. 272- 1 p. |
article |
||
| 25 | Announcement and call for papers |
1974 |
182-183 | 3 |
p. 324- 1 p. |
article |
||
| 26 | Announcements |
1990 |
182-183 | 3 |
p. 375-377 3 p. |
article |
||
| 27 | Announcements |
1989 |
182-183 | 3 |
p. 379-381 3 p. |
article |
||
| 28 | Announcements |
1988 |
182-183 | 3 |
p. 415-420 6 p. |
article |
||
| 29 | Announcements |
1991 |
182-183 | 3 |
p. 345-356 12 p. |
article |
||
| 30 | Announcements |
1988 |
182-183 | 3 |
p. 397-404 8 p. |
article |
||
| 31 | Announcements |
1988 |
182-183 | 3 |
p. 417-422 6 p. |
article |
||
| 32 | Announcements |
1990 |
182-183 | 3 |
p. 377-390 14 p. |
article |
||
| 33 | Announcements |
1990 |
182-183 | 3 |
p. 377-393 17 p. |
article |
||
| 34 | Announcements |
1980 |
182-183 | 3 |
p. 317-318 2 p. |
article |
||
| 35 | Announcements |
1974 |
182-183 | 3 |
p. 323- 1 p. |
article |
||
| 36 | A note on “creativity and learning in a case-based explainer” |
Gentner, Dedre |
1990 |
182-183 | 3 |
p. 373-375 3 p. |
article |
|
| 37 | A parallel network that learns to play backgammon |
Tesauro, G. |
1989 |
182-183 | 3 |
p. 357-390 34 p. |
article |
|
| 38 | A polymorphic type system for prolog |
Mycroft, Alan |
1984 |
182-183 | 3 |
p. 295-307 13 p. |
article |
|
| 39 | A powerful and efficient structural pattern recognition system |
Cohen, Brian L. |
1977 |
182-183 | 3 |
p. 223-255 33 p. |
article |
|
| 40 | Artificial intelligence abstracts |
1987 |
182-183 | 3 |
p. 414-415 2 p. |
article |
||
| 41 | Artificial intelligence and automatic programming in CAI |
Koffman, Elliot B. |
1975 |
182-183 | 3 |
p. 215-234 20 p. |
article |
|
| 42 | Artificial intelligence and natural man |
Brady, J.M. |
1978 |
182-183 | 3 |
p. 267-269 3 p. |
article |
|
| 43 | Artificial intelligence: a paper symposium |
McCarthy, John |
1974 |
182-183 | 3 |
p. 317-322 6 p. |
article |
|
| 44 | Artificial intelligence applications for business management |
Stefik, Mark |
1986 |
182-183 | 3 |
p. 345-348 4 p. |
article |
|
| 45 | Artificial intelligence applications for business (Proceedings of the NYU symposium, May, 1983) |
Stefik, Mark |
1986 |
182-183 | 3 |
p. 345-348 4 p. |
article |
|
| 46 | Artificial intelligence: The very idea |
Vellino, André |
1986 |
182-183 | 3 |
p. 349-353 5 p. |
article |
|
| 47 | Artificial intelligence — Where are we? |
Bobrow, Daniel G. |
1985 |
182-183 | 3 |
p. 375-415 41 p. |
article |
|
| 48 | A search algorithm for motion planning with six degrees of freedom |
Donald, Bruce R. |
1987 |
182-183 | 3 |
p. 295-353 59 p. |
article |
|
| 49 | A society of ideas on cognition |
Dyer, Michael G. |
1991 |
182-183 | 3 |
p. 321-334 14 p. |
article |
|
| 50 | A syntactic theory of belief and action |
Haas, Andrew R. |
1986 |
182-183 | 3 |
p. 245-292 48 p. |
article |
|
| 51 | A theory of Origami world |
Kanade, Takeo |
1980 |
182-183 | 3 |
p. 279-311 33 p. |
article |
|
| 52 | A truth maintenance system |
Doyle, Jon |
1979 |
182-183 | 3 |
p. 231-272 42 p. |
article |
|
| 53 | Austrian meeting on artificial intelligence |
1987 |
182-183 | 3 |
p. 411-412 2 p. |
article |
||
| 54 | Author index |
1979 |
182-183 | 3 |
p. 302- 1 p. |
article |
||
| 55 | Author index |
1978 |
182-183 | 3 |
p. ii- 1 p. |
article |
||
| 56 | Author index |
1977 |
182-183 | 3 |
p. 374- 1 p. |
article |
||
| 57 | Author index |
1980 |
182-183 | 3 |
p. 324- 1 p. |
article |
||
| 58 | Author index—Volume 52 (1991) |
1991 |
182-183 | 3 |
p. 359-360 2 p. |
article |
||
| 59 | Author index — Volume 19, 1982 |
1982 |
182-183 | 3 |
p. 354- 1 p. |
article |
||
| 60 | Author index — Volume 41, 1989/90 |
1990 |
182-183 | 3 |
p. 384- 1 p. |
article |
||
| 61 | Author index — Volume 32 |
1987 |
182-183 | 3 |
p. ii- 1 p. |
article |
||
| 62 | Author index—Volume 18 |
1982 |
182-183 | 3 |
p. 376- 1 p. |
article |
||
| 63 | Author index — Volume 38 |
1989 |
182-183 | 3 |
p. 386- 1 p. |
article |
||
| 64 | Author index - volume 29, 1986 |
1986 |
182-183 | 3 |
p. 362- 1 p. |
article |
||
| 65 | Author index — Volume 22, 1984 |
1984 |
182-183 | 3 |
p. 362- 1 p. |
article |
||
| 66 | Author index — Volume 35, 1988 |
1988 |
182-183 | 3 |
p. 426- 1 p. |
article |
||
| 67 | Author index — Volume 33, 1987 |
1987 |
182-183 | 3 |
p. 422- 1 p. |
article |
||
| 68 | Author index - volume 28, 1986 |
1986 |
182-183 | 3 |
p. 358- 1 p. |
article |
||
| 69 | Author index — Volume 25 |
1985 |
182-183 | 3 |
p. 420- 1 p. |
article |
||
| 70 | Author index - Volume 34, 1988 |
1988 |
182-183 | 3 |
p. 408- 1 p. |
article |
||
| 71 | Author index — Volume 45, 1990 |
1990 |
182-183 | 3 |
p. 410- 1 p. |
article |
||
| 72 | Author index — Volume 44, 1990 |
1990 |
182-183 | 3 |
p. 398- 1 p. |
article |
||
| 73 | Author index — Volume 39, 1989 |
1989 |
182-183 | 3 |
p. 410- 1 p. |
article |
||
| 74 | Author index—Volume 50 (1991) |
1991 |
182-183 | 3 |
p. 403-404 2 p. |
article |
||
| 75 | Author index—Volume 54 (1992) |
1992 |
182-183 | 3 |
p. 417- 1 p. |
article |
||
| 76 | Author index - Volume 31, 1987 |
1987 |
182-183 | 3 |
p. 410- 1 p. |
article |
||
| 77 | Author index — Volume 26 |
1985 |
182-183 | 3 |
p. 371-372 2 p. |
article |
||
| 78 | Author index — Volume 43, 1990 |
1990 |
182-183 | 3 |
p. 390- 1 p. |
article |
||
| 79 | Author index — Volume 30, 1986 |
1986 |
182-183 | 3 |
p. 402- 1 p. |
article |
||
| 80 | Author index — Volume 27, 1985 |
1985 |
182-183 | 3 |
p. 370- 1 p. |
article |
||
| 81 | Author index — volume 46, 1990 |
1990 |
182-183 | 3 |
p. 396- 1 p. |
article |
||
| 82 | Author index — Volume 23, 1984 |
1984 |
182-183 | 3 |
p. 358- 1 p. |
article |
||
| 83 | Author index—Volume 14, 1980 |
1980 |
182-183 | 3 |
p. 320- 1 p. |
article |
||
| 84 | Author index — Volume 15, 1980 |
1980 |
182-183 | 3 |
p. 258- 1 p. |
article |
||
| 85 | Author index—Volume 10, 1978 |
1978 |
182-183 | 3 |
p. 322- 1 p. |
article |
||
| 86 | Author index volume 9 |
1977 |
182-183 | 3 |
p. 318-320 3 p. |
article |
||
| 87 | Author index—Volume 48 (1991)information retrieval |
1991 |
182-183 | 3 |
p. 401-402 2 p. |
article |
||
| 88 | Author index — Volume 36, 1988 volume 36 |
1988 |
182-183 | 3 |
p. 425-426 2 p. |
article |
||
| 89 | Author's query |
Kanter, NancyJ. |
1980 |
182-183 | 3 |
p. 315- 1 p. |
article |
|
| 90 | Automated analysis of instructional text |
Norton, Lewis M. |
1983 |
182-183 | 3 |
p. 307-344 38 p. |
article |
|
| 91 | Automatic qualitative analysis of dynamic systems using piecewise linear approximations |
Sacks, Elisha |
1990 |
182-183 | 3 |
p. 313-364 52 p. |
article |
|
| 92 | Awards: IJCAI-87 International joint conference on artificial intelligence |
1986 |
182-183 | 3 |
p. 395-397 3 p. |
article |
||
| 93 | A world-championship-level Othello program |
Rosenbloom, Paul S. |
1982 |
182-183 | 3 |
p. 279-320 42 p. |
article |
|
| 94 | Bayesian and non-bayesian evidential updating |
Kyburg Jr., Henry E. |
1987 |
182-183 | 3 |
p. 271-293 23 p. |
article |
|
| 95 | Books received |
1989 |
182-183 | 3 |
p. 401-402 2 p. |
article |
||
| 96 | Books received |
1985 |
182-183 | 3 |
p. 351- 1 p. |
article |
||
| 97 | Books received |
1987 |
182-183 | 3 |
p. 397-398 2 p. |
article |
||
| 98 | Books received |
1990 |
182-183 | 3 |
p. 393-395 3 p. |
article |
||
| 99 | Books received |
1988 |
182-183 | 3 |
p. 413-414 2 p. |
article |
||
| 100 | Books received |
1992 |
182-183 | 3 |
p. 411-413 3 p. |
article |
||
| 101 | Books received |
1991 |
182-183 | 3 |
p. 341-343 3 p. |
article |
||
| 102 | Books received |
1988 |
182-183 | 3 |
p. 415-416 2 p. |
article |
||
| 103 | Branching and pruning: An optimal temporal POCL planner based on constraint programming |
Vidal, Vincent |
2006 |
182-183 | 3 |
p. 298-335 38 p. |
article |
|
| 104 | Call for papers: AI '87 Australian joint artificial intelligence conference |
1987 |
182-183 | 3 |
p. 412-413 2 p. |
article |
||
| 105 | Call for papers: Applications of Artificial Intelligence the Annual Society of Photo-Optical Instrumentation Engineers Conference |
1983 |
182-183 | 3 |
p. 361-362 2 p. |
article |
||
| 106 | Call for papers COLING 82: The ninth conference on computational linguistics |
1981 |
182-183 | 3 |
p. 363- 1 p. |
article |
||
| 107 | Call for papers: COLING '88 twelfth international conference on computational linguistics |
1987 |
182-183 | 3 |
p. 413-414 2 p. |
article |
||
| 108 | Call for papers: Conference on theoretical aspects of reasoning about knowledge |
1985 |
182-183 | 3 |
p. 367-368 2 p. |
article |
||
| 109 | Call for papers: CSCSI-86 Canadian artificial intelligence conference |
1985 |
182-183 | 3 |
p. 365- 1 p. |
article |
||
| 110 | Call for papers: First international symposium on medical imaging and image interpretation |
1982 |
182-183 | 3 |
p. 373-374 2 p. |
article |
||
| 111 | Call for papers: Fourth annual international SIGIR conference |
1980 |
182-183 | 3 |
p. 255- 1 p. |
article |
||
| 112 | Call for papers: IJCAI-87 International joint conference on artificial intelligence |
1986 |
182-183 | 3 |
p. 393-395 3 p. |
article |
||
| 113 | Call for papers: International conference on information processing and management of uncertainty in knowledge-based systems |
1985 |
182-183 | 3 |
p. 363-365 3 p. |
article |
||
| 114 | Call for papers: 1987 International pragmatics conference (IPC) |
1986 |
182-183 | 3 |
p. 353-354 2 p. |
article |
||
| 115 | Call for papers: International symposium on fuzzy information processing in artificial intelligence and operational research |
1984 |
182-183 | 3 |
p. 357-358 2 p. |
article |
||
| 116 | Call for papers: SPUDM11 eleventh research conference on subjective probability utility and decision making |
1987 |
182-183 | 3 |
p. 403-405 3 p. |
article |
||
| 117 | Chronological ignorance: Experiments in nonmonotonic temporal reasoning |
Shoham, Yoav |
1988 |
182-183 | 3 |
p. 279-331 53 p. |
article |
|
| 118 | Cognitive psychology |
Smith, Edward E. |
1985 |
182-183 | 3 |
p. 247-253 7 p. |
article |
|
| 119 | Comments on C. Hewitt, viewing control structures as patterns of passing messages, Artificial Intelligence 8 (1977) 323–364 |
Hewitt, C. |
1978 |
182-183 | 3 |
p. 317-318 2 p. |
article |
|
| 120 | Comparative analysis |
Weld, Daniel S. |
1988 |
182-183 | 3 |
p. 333-373 41 p. |
article |
|
| 121 | Completeness results for inequality provers |
Bledsoe, W.W. |
1985 |
182-183 | 3 |
p. 255-288 34 p. |
article |
|
| 122 | Computational complexity of terminological reasoning in BACK |
Nebel, Bernhard |
1988 |
182-183 | 3 |
p. 371-383 13 p. |
article |
|
| 123 | Computational semantics |
Reiter, Raymond |
1977 |
182-183 | 3 |
p. 365-372 8 p. |
article |
|
| 124 | Computation and cognition: Toward a foundation for cognitive science |
Ward, Nigel |
1987 |
182-183 | 3 |
p. 415-417 3 p. |
article |
|
| 125 | Computations underlying the measurement of visual motion |
Hildreth, Ellen C. |
1984 |
182-183 | 3 |
p. 309-354 46 p. |
article |
|
| 126 | Computer culture: The scientific, intellectual, and social impact of the computer, annals of the New York Academy of Sciences |
Lougee, Michael |
1987 |
182-183 | 3 |
p. 400-401 2 p. |
article |
|
| 127 | Computer models of thought and language |
Uhr, Leonard |
1975 |
182-183 | 3 |
p. 289-292 4 p. |
article |
|
| 128 | Conspiracy numbers for min-max search |
McAllester, David Allen |
1988 |
182-183 | 3 |
p. 287-310 24 p. |
article |
|
| 129 | Constraint partitioning in penalty formulations for solving temporal planning problems |
Wah, Benjamin W. |
2006 |
182-183 | 3 |
p. 187-231 45 p. |
article |
|
| 130 | Constraint propagation with interval labels |
Davis, Ernest |
1987 |
182-183 | 3 |
p. 281-331 51 p. |
article |
|
| 131 | Constraint satisfaction from a deductive viewpoint |
Bibel, W. |
1988 |
182-183 | 3 |
p. 401-413 13 p. |
article |
|
| 132 | Content reference: Reasoning about rules |
Davis, Randall |
1980 |
182-183 | 3 |
p. 223-239 17 p. |
article |
|
| 133 | Contents |
1978 |
182-183 | 3 |
p. iii-iv nvt p. |
article |
||
| 134 | Contents |
1977 |
182-183 | 3 |
p. 375-376 2 p. |
article |
||
| 135 | Contents |
1979 |
182-183 | 3 |
p. 303-304 2 p. |
article |
||
| 136 | Contents — Volume 30, 1986 |
1986 |
182-183 | 3 |
p. 403-404 2 p. |
article |
||
| 137 | Contents — Volume 35, 19881988 |
1988 |
182-183 | 3 |
p. 427-428 2 p. |
article |
||
| 138 | Contents — Volume 19, 1982 |
1982 |
182-183 | 3 |
p. 355-356 2 p. |
article |
||
| 139 | Contents—Volume 18 1982 |
1982 |
182-183 | 3 |
p. 377-378 2 p. |
article |
||
| 140 | Contents — Volume 22, 1984 |
1984 |
182-183 | 3 |
p. 363-364 2 p. |
article |
||
| 141 | Contents — Volume 39, 1989 |
1989 |
182-183 | 3 |
p. 411-412 2 p. |
article |
||
| 142 | Contents — Volume 41, 1989/909/90 |
1990 |
182-183 | 3 |
p. 385-386 2 p. |
article |
||
| 143 | Contents - volume 29, 1986 |
1986 |
182-183 | 3 |
p. 363-364 2 p. |
article |
||
| 144 | Contents - Volume 34, 1988 |
1988 |
182-183 | 3 |
p. 409-410 2 p. |
article |
||
| 145 | Contents — Volume 26 1985 |
1985 |
182-183 | 3 |
p. 373-374 2 p. |
article |
||
| 146 | Contents — Volume 44, 1990 |
1990 |
182-183 | 3 |
p. 399-400 2 p. |
article |
||
| 147 | Contents — Volume 27, 1985 |
1985 |
182-183 | 3 |
p. 371-372 2 p. |
article |
||
| 148 | Contents — Volume 45, 19901990 |
1990 |
182-183 | 3 |
p. 411-412 2 p. |
article |
||
| 149 | Contents - Volume 31, 1987 |
1987 |
182-183 | 3 |
p. 411-412 2 p. |
article |
||
| 150 | Contents — Volume 33, 1987 |
1987 |
182-183 | 3 |
p. 423-424 2 p. |
article |
||
| 151 | Contents — Volume 23, 19841984 |
1984 |
182-183 | 3 |
p. 359-360 2 p. |
article |
||
| 152 | Contents - volume 28 1986 |
1986 |
182-183 | 3 |
p. 359-360 2 p. |
article |
||
| 153 | Contents — Volume 25 |
1985 |
182-183 | 3 |
p. 421-422 2 p. |
article |
||
| 154 | Contents — Volume 38, 1989 |
1989 |
182-183 | 3 |
p. 387-388 2 p. |
article |
||
| 155 | Contents — volume 46, 1990 |
1990 |
182-183 | 3 |
p. 397-398 2 p. |
article |
||
| 156 | Contents — Volume 43, 1990 |
1990 |
182-183 | 3 |
p. 391-392 2 p. |
article |
||
| 157 | Contents — Volume 16, 1981 |
1981 |
182-183 | 3 |
p. i-ii nvt p. |
article |
||
| 158 | Contents — Volume 36, 1988 |
1988 |
182-183 | 3 |
p. 427-428 2 p. |
article |
||
| 159 | Contents — volume 13, 1980 |
1980 |
182-183 | 3 |
p. 325-326 2 p. |
article |
||
| 160 | Contents—Volume 14, 19801980 |
1980 |
182-183 | 3 |
p. 321-322 2 p. |
article |
||
| 161 | Contents—Volume 10, 1978 |
1978 |
182-183 | 3 |
p. 323-324 2 p. |
article |
||
| 162 | Contents — Volume 15 1980at the Claremont Hotel in Berkeley, CA, U.S.A. |
1980 |
182-183 | 3 |
p. 259-260 2 p. |
article |
||
| 163 | Contents — Volume 32, 1987racts |
1987 |
182-183 | 3 |
p. iii-iv nvt p. |
article |
||
| 164 | Controlling recursive inference |
Smith, David E. |
1986 |
182-183 | 3 |
p. 343-389 47 p. |
article |
|
| 165 | Corrigendum |
1976 |
182-183 | 3 |
p. 283- 1 p. |
article |
||
| 166 | Counterplanning: A strategy-based model of adversary planning in real-world situations |
Carbonell, Jaime G. |
1981 |
182-183 | 3 |
p. 295-329 35 p. |
article |
|
| 167 | Default reasoning in semantic networks: A formalization of recognition and inheritance |
Shastri, Lokendra |
1989 |
182-183 | 3 |
p. 283-355 73 p. |
article |
|
| 168 | Definite clause grammars for language analysis—A survey of the formalism and a comparison with augmented transition networks |
Pereira, Fernando C.N. |
1980 |
182-183 | 3 |
p. 231-278 48 p. |
article |
|
| 169 | Domain-independent planning Representation and plan generation |
Wilkins, David E. |
1984 |
182-183 | 3 |
p. 269-301 33 p. |
article |
|
| 170 | Editorial Board |
2006 |
182-183 | 3 |
p. CO2- 1 p. |
article |
||
| 171 | Eliminating the fixed predicates from a circumscription |
de Kleer, Johan |
1989 |
182-183 | 3 |
p. 391-398 8 p. |
article |
|
| 172 | Enhancement schemes for constraint processing: Backjumping, learning, and cutset decomposition |
Dechter, Rina |
1990 |
182-183 | 3 |
p. 273-312 40 p. |
article |
|
| 173 | Errata |
1988 |
182-183 | 3 |
p. 395- 1 p. |
article |
||
| 174 | Erratum |
1989 |
182-183 | 3 |
p. 399- 1 p. |
article |
||
| 175 | Erratum |
1978 |
182-183 | 3 |
p. 319- 1 p. |
article |
||
| 176 | Estimation of surface topography from SAR imagery using shape from shading techniques |
Frankot, Robert T. |
1990 |
182-183 | 3 |
p. 271-310 40 p. |
article |
|
| 177 | Exaggeration |
Weld, Daniel S. |
1990 |
182-183 | 3 |
p. 311-368 58 p. |
article |
|
| 178 | Experiments in interpretation-guided segmentation |
Tenenbaum, J.M. |
1977 |
182-183 | 3 |
p. 241-274 34 p. |
article |
|
| 179 | Explanation-based generalisation = partial evaluation |
van Harmelen, Frank |
1988 |
182-183 | 3 |
p. 401-412 12 p. |
article |
|
| 180 | First Spanish meeting on artificial intelligence for databases |
1985 |
182-183 | 3 |
p. 367- 1 p. |
article |
||
| 181 | Flexible diagnosis of discrete-event systems by similarity-based reasoning techniques |
Lamperti, Gianfranco |
2006 |
182-183 | 3 |
p. 232-297 66 p. |
article |
|
| 182 | Forthcoming paper |
1990 |
182-183 | 3 |
p. 405-408 4 p. |
article |
||
| 183 | Forthcoming paper |
1984 |
182-183 | 3 |
p. 359-360 2 p. |
article |
||
| 184 | Forthcoming paper |
1984 |
182-183 | 3 |
p. 355- 1 p. |
article |
||
| 185 | Forthcoming papers |
1986 |
182-183 | 3 |
p. 359- 1 p. |
article |
||
| 186 | Forthcoming papers |
1991 |
182-183 | 3 |
p. 397-402 6 p. |
article |
||
| 187 | Forthcoming papers |
1992 |
182-183 | 3 |
p. 415-416 2 p. |
article |
||
| 188 | Forthcoming papers |
1987 |
182-183 | 3 |
p. 419- 1 p. |
article |
||
| 189 | Forthcoming papers |
1985 |
182-183 | 3 |
p. 417-418 2 p. |
article |
||
| 190 | Forthcoming papers |
1988 |
182-183 | 3 |
p. 423-424 2 p. |
article |
||
| 191 | Forthcoming papers |
1991 |
182-183 | 3 |
p. 397-400 4 p. |
article |
||
| 192 | Forthcoming papers |
1991 |
182-183 | 3 |
p. 357-358 2 p. |
article |
||
| 193 | Forthcoming papers |
1990 |
182-183 | 3 |
p. 387-388 2 p. |
article |
||
| 194 | Forthcoming papers |
1987 |
182-183 | 3 |
p. 407-408 2 p. |
article |
||
| 195 | Forthcoming papers |
1986 |
182-183 | 3 |
p. 399-400 2 p. |
article |
||
| 196 | Forthcoming papers |
1989 |
182-183 | 3 |
p. 405-408 4 p. |
article |
||
| 197 | Forthcoming papers |
1985 |
182-183 | 3 |
p. 367- 1 p. |
article |
||
| 198 | Forthcoming papers |
1988 |
182-183 | 3 |
p. 421-424 4 p. |
article |
||
| 199 | Forthcoming papers |
1987 |
182-183 | 3 |
p. 417-418 2 p. |
article |
||
| 200 | Forthcoming papers |
1990 |
182-183 | 3 |
p. 395-396 2 p. |
article |
||
| 201 | Forthcoming papers |
1988 |
182-183 | 3 |
p. 405-406 2 p. |
article |
||
| 202 | Forthcoming papers |
1985 |
182-183 | 3 |
p. 369- 1 p. |
article |
||
| 203 | Forthcoming papers |
1990 |
182-183 | 3 |
p. 379-382 4 p. |
article |
||
| 204 | Forthcoming papers |
1986 |
182-183 | 3 |
p. 355-356 2 p. |
article |
||
| 205 | Forthcoming papers |
1989 |
182-183 | 3 |
p. 383-384 2 p. |
article |
||
| 206 | Forthcoming papers |
1990 |
182-183 | 3 |
p. 391-394 4 p. |
article |
||
| 207 | Foundations of cognitive science |
Bray, Alistair J. |
1991 |
182-183 | 3 |
p. 319-328 10 p. |
article |
|
| 208 | Four reviews of The Society of Mind and a response |
Stefik, Mark J. |
1991 |
182-183 | 3 |
p. 319-320 2 p. |
article |
|
| 209 | Frames in the space of situations |
Lifschitz, Vladimir |
1990 |
182-183 | 3 |
p. 365-376 12 p. |
article |
|
| 210 | Functional transformations in AI discovery systems |
Shen, Wei-Min |
1990 |
182-183 | 3 |
p. 257-272 16 p. |
article |
|
| 211 | Fundamental concepts of qualitative probabilistic networks |
Wellman, Michael P. |
1990 |
182-183 | 3 |
p. 257-303 47 p. |
article |
|
| 212 | Fusion and propagation with multiple observations in belief networks |
Peot, Mark A. |
1991 |
182-183 | 3 |
p. 299-318 20 p. |
article |
|
| 213 | Fusion, propagation, and structuring in belief networks |
Pearl, Judea |
1986 |
182-183 | 3 |
p. 241-288 48 p. |
article |
|
| 214 | Generalized and/or graphs |
Levi, Giorgio |
1976 |
182-183 | 3 |
p. 243-259 17 p. |
article |
|
| 215 | Generalizing the notion of schema in genetic algorithms |
Vose, Michael D. |
1991 |
182-183 | 3 |
p. 385-396 12 p. |
article |
|
| 216 | Gibbs sampling in Bayesian networks |
Hrycej, Tomas |
1990 |
182-183 | 3 |
p. 351-363 13 p. |
article |
|
| 217 | Heuristic classification |
Clancey, William J. |
1985 |
182-183 | 3 |
p. 289-350 62 p. |
article |
|
| 218 | Heuristic search through islands |
Chakrabarti, P.P. |
1986 |
182-183 | 3 |
p. 339-347 9 p. |
article |
|
| 219 | Implementing Dempster's rule for hierarchical evidence |
Shafer, Glenn |
1987 |
182-183 | 3 |
p. 271-298 28 p. |
article |
|
| 220 | Increasing tree search efficiency for constraint satisfaction problems |
Haralick, Robert M. |
1980 |
182-183 | 3 |
p. 263-313 51 p. |
article |
|
| 221 | Incremental reconstruction of 3D scenes from multiple, complex images |
Herman, Martin |
1986 |
182-183 | 3 |
p. 289-341 53 p. |
article |
|
| 222 | Inductive learning of structural descriptions |
Dietterich, Thomas G. |
1981 |
182-183 | 3 |
p. 257-294 38 p. |
article |
|
| 223 | Inductive reasoning on recursive equations |
Malloy Brown, Frank |
1979 |
182-183 | 3 |
p. 207-229 23 p. |
article |
|
| 224 | Interestingness: Controlling inferences |
Schank, Roger C. |
1979 |
182-183 | 3 |
p. 273-297 25 p. |
article |
|
| 225 | International conference on data bases in the humanities and social sciences |
1982 |
182-183 | 3 |
p. 351- 1 p. |
article |
||
| 226 | International congress on intelligent autonomous systems |
1986 |
182-183 | 3 |
p. 355-358 4 p. |
article |
||
| 227 | International Pragmatics Association (IPRA) |
1986 |
182-183 | 3 |
p. 350-352 3 p. |
article |
||
| 228 | Introductory readings in expert systems |
Machanick, Philip |
1986 |
182-183 | 3 |
p. 391-392 2 p. |
article |
|
| 229 | Knowledge-intensive natural language generation |
Jacobs, Paul S. |
1987 |
182-183 | 3 |
p. 325-378 54 p. |
article |
|
| 230 | Language as a cognitive process, volume I: Syntax |
Nadin, Mihai |
1985 |
182-183 | 3 |
p. 353-357 5 p. |
article |
|
| 231 | Languages with self-reference I: Foundations |
Perlis, Donald |
1985 |
182-183 | 3 |
p. 301-322 22 p. |
article |
|
| 232 | Learning new principles from precedents and exercises |
Winston, Patrick H. |
1982 |
182-183 | 3 |
p. 321-350 30 p. |
article |
|
| 233 | Letter to the editor |
Duda, Richard O. |
1985 |
182-183 | 3 |
p. 359-360 2 p. |
article |
|
| 234 | Literature from cognitive psychology |
Pylyshyn, Zenon W. |
1982 |
182-183 | 3 |
p. 251-255 5 p. |
article |
|
| 235 | Machine intelligence and related topics: An information scientist's weekend book |
Gordon, Michael |
1987 |
182-183 | 3 |
p. 399- 1 p. |
article |
|
| 236 | Maintaining mental models of agents who have existential misconceptions |
Maida, Anthony S. |
1991 |
182-183 | 3 |
p. 331-383 53 p. |
article |
|
| 237 | Making computational sense of Montague's intensional logic |
Hobbs, Jerry R. |
1977 |
182-183 | 3 |
p. 287-306 20 p. |
article |
|
| 238 | Making preferences more active |
Wilks, Yorick |
1978 |
182-183 | 3 |
p. 197-223 27 p. |
article |
|
| 239 | Master index to volumes 21–30 |
1986 |
182-183 | 3 |
p. 405-411 7 p. |
article |
||
| 240 | Master index to volumes 1–10 |
1978 |
182-183 | 3 |
p. 325-333 9 p. |
article |
||
| 241 | Match algorithms for generalized Rete networks |
Lee, Ho Soo |
1992 |
182-183 | 3 |
p. 249-274 26 p. |
article |
|
| 242 | Mental models |
Phelps, Robert |
1986 |
182-183 | 3 |
p. 343-344 2 p. |
article |
|
| 243 | Metaphors we live by |
Norvig, Peter |
1985 |
182-183 | 3 |
p. 357-361 5 p. |
article |
|
| 244 | Meta-rules: Reasoning about control |
Davis, Randall |
1980 |
182-183 | 3 |
p. 179-222 44 p. |
article |
|
| 245 | Mind Bugs: The origins of procedural misconceptions |
Pirolli, Peter |
1991 |
182-183 | 3 |
p. 329-340 12 p. |
article |
|
| 246 | Model-preference default theories |
Selman, Bart |
1990 |
182-183 | 3 |
p. 287-322 36 p. |
article |
|
| 247 | Models of musical communication and cognition |
Smoliar, Stephen W. |
1990 |
182-183 | 3 |
p. 361-372 12 p. |
article |
|
| 248 | Motivation analysis, abductive unification, and nonmonotonic equality |
Charniak, Eugene |
1988 |
182-183 | 3 |
p. 275-295 21 p. |
article |
|
| 249 | MUSCADET: An automatic theorem proving system using knowledge and metaknowledge in mathematics |
Pastre, Dominique |
1989 |
182-183 | 3 |
p. 257-318 62 p. |
article |
|
| 250 | NBS parallel computer benchmark collection |
1985 |
182-183 | 3 |
p. 363- 1 p. |
article |
||
| 251 | Negation as failure |
Gelfond, Michael |
1986 |
182-183 | 3 |
p. 273-287 15 p. |
article |
|
| 252 | Nonmonotonicity and the scope of reasoning |
Etherington, David W. |
1991 |
182-183 | 3 |
p. 221-261 41 p. |
article |
|
| 253 | Nonmonotonic logic and temporal projection |
Hanks, Steve |
1987 |
182-183 | 3 |
p. 379-412 34 p. |
article |
|
| 254 | [No title] |
Smith, Reid G. |
1983 |
182-183 | 3 |
p. 351-357 7 p. |
article |
|
| 255 | [No title] |
Schreiber, Peter Paul |
1983 |
182-183 | 3 |
p. 358-359 2 p. |
article |
|
| 256 | Odyssey: A knowledge-based assistant |
Fikes, Richard E. |
1981 |
182-183 | 3 |
p. 331-361 31 p. |
article |
|
| 257 | On conceptual structures |
Sowa, John F. |
1988 |
182-183 | 3 |
p. 388-394 7 p. |
article |
|
| 258 | On machine intelligence |
Rock, Sheila |
1988 |
182-183 | 3 |
p. 386-387 2 p. |
article |
|
| 259 | On models of musical communication and cognition |
Leman, Marc |
1990 |
182-183 | 3 |
p. 372- 1 p. |
article |
|
| 260 | On program synthesis knowledge |
Green, Cordell |
1978 |
182-183 | 3 |
p. 241-279 39 p. |
article |
|
| 261 | On the efficient synthesis of efficient programs |
Kant, Elaine |
1983 |
182-183 | 3 |
p. 253-305 53 p. |
article |
|
| 262 | On the estimation of optical flow: Relations between different approaches and some new results |
Nagel, Hans-Hellmut |
1987 |
182-183 | 3 |
p. 299-324 26 p. |
article |
|
| 263 | On the parallel complexity of discrete relaxation in constraint satisfaction networks |
Kasif, Simon |
1990 |
182-183 | 3 |
p. 275-286 12 p. |
article |
|
| 264 | On the relation between default and autoepistemic logic |
Konolige, Kurt |
1988 |
182-183 | 3 |
p. 343-382 40 p. |
article |
|
| 265 | On the use of framed knowledge in language comprehension |
Charniak, Eugene |
1978 |
182-183 | 3 |
p. 225-265 41 p. |
article |
|
| 266 | Optimal problem-solving search: All-or-none solutions |
Simon, Herbert A. |
1975 |
182-183 | 3 |
p. 235-247 13 p. |
article |
|
| 267 | Optimal search strategies for speech understanding control |
Woods, W.A. |
1982 |
182-183 | 3 |
p. 295-326 32 p. |
article |
|
| 268 | Papers on representation of knowledge |
1974 |
182-183 | 3 |
p. 324- 1 p. |
article |
||
| 269 | Parallelism in vision |
Brady, Michael |
1983 |
182-183 | 3 |
p. 271-283 13 p. |
article |
|
| 270 | Parameter nets |
Ballard, Dana H. |
1984 |
182-183 | 3 |
p. 235-267 33 p. |
article |
|
| 271 | Perceptual organization and the representation of natural form |
Pentland, Alex P. |
1986 |
182-183 | 3 |
p. 293-331 39 p. |
article |
|
| 272 | Planning for conjunctive goals |
Chapman, David |
1987 |
182-183 | 3 |
p. 333-377 45 p. |
article |
|
| 273 | Plans and situated actions: The problem of human-machine communication |
Agre, Philip E. |
1990 |
182-183 | 3 |
p. 369-384 16 p. |
article |
|
| 274 | Probabilistic analysis of the complexity of A∗ |
Huyn, Nam |
1980 |
182-183 | 3 |
p. 241-254 14 p. |
article |
|
| 275 | Problem-solving with diagrammatic representations |
Funt, Brian V. |
1980 |
182-183 | 3 |
p. 201-230 30 p. |
article |
|
| 276 | Propositional knowledge base revision and minimal change |
Katsuno, Hirofumi |
1991 |
182-183 | 3 |
p. 263-294 32 p. |
article |
|
| 277 | Qualitative navigation for mobile robots |
Levitt, Tod S. |
1990 |
182-183 | 3 |
p. 305-360 56 p. |
article |
|
| 278 | Qualitative simulation |
Kuipers, Benjamin |
1986 |
182-183 | 3 |
p. 289-338 50 p. |
article |
|
| 279 | Reasoning about action II |
Ginsberg, Matthew L. |
1988 |
182-183 | 3 |
p. 311-342 32 p. |
article |
|
| 280 | Reasoning about partially ordered events |
Dean, Thomas |
1988 |
182-183 | 3 |
p. 375-399 25 p. |
article |
|
| 281 | Reasoning about programs |
Waldinger, R.J. |
1974 |
182-183 | 3 |
p. 235-316 82 p. |
article |
|
| 282 | Recent work in philosophy II |
Dennett, Daniel C. |
1984 |
182-183 | 3 |
p. 231-233 3 p. |
article |
|
| 283 | Refutational theorem proving using term-rewriting systems |
Hsiang, Jieh |
1985 |
182-183 | 3 |
p. 255-300 46 p. |
article |
|
| 284 | Representations and algorithms for cognitive learning |
Kochen, Manfred |
1974 |
182-183 | 3 |
p. 199-216 18 p. |
article |
|
| 285 | Results on translating defaults to circumscription |
1987 |
182-183 | 3 |
p. 413- 1 p. |
article |
||
| 286 | Retrospectives: A note from the editor |
Bobrow, Daniel G. |
1984 |
182-183 | 3 |
p. 247- 1 p. |
article |
|
| 287 | Rule-based expert systems: The mycin experiments of the stanford heuristic programming project |
Swartout, William R. |
1985 |
182-183 | 3 |
p. 364-366 3 p. |
article |
|
| 288 | Second advanced course in artificial intelligence |
1987 |
182-183 | 3 |
p. 403- 1 p. |
article |
||
| 289 | Second international conference on artificial intelligence |
1986 |
182-183 | 3 |
p. 349- 1 p. |
article |
||
| 290 | Seventh European meeting on cybernetics and systems research |
1983 |
182-183 | 3 |
p. 345- 1 p. |
article |
||
| 291 | Shape from texture |
Blake, Andrew |
1990 |
182-183 | 3 |
p. 323-380 58 p. |
article |
|
| 292 | Society of mind |
Minsky, Marvin |
1991 |
182-183 | 3 |
p. 371-396 26 p. |
article |
|
| 293 | Speech understanding systems |
Medress, M.F. |
1977 |
182-183 | 3 |
p. 307-316 10 p. |
article |
|
| 294 | Subjective inference with multiple evidence |
Kadesch, R.R. |
1986 |
182-183 | 3 |
p. 333-341 9 p. |
article |
|
| 295 | Summary of MYCROFT: A system for understanding simple picture programs |
Goldstein, Ira P. |
1975 |
182-183 | 3 |
p. 249-288 40 p. |
article |
|
| 296 | Symposium on empirical foundations of information and software science |
1982 |
182-183 | 3 |
p. 373- 1 p. |
article |
||
| 297 | Syntax-directed, semantics-supported program synthesis |
Bibel, Wolfgang |
1980 |
182-183 | 3 |
p. 243-261 19 p. |
article |
|
| 298 | Synthesising recursive functions with side effects |
Follett, Ria |
1980 |
182-183 | 3 |
p. 175-200 26 p. |
article |
|
| 299 | Synthetic programming |
Dershowitz, Nachum |
1985 |
182-183 | 3 |
p. 323-373 51 p. |
article |
|
| 300 | Tense and aspect systems |
Nakhimovsky, Alexander |
1987 |
182-183 | 3 |
p. 407-410 4 p. |
article |
|
| 301 | The AI business: Commercial uses of artificial intelligence |
Stefik, Mark |
1986 |
182-183 | 3 |
p. 345-348 4 p. |
article |
|
| 302 | The AI business, the commercial uses of artificial intelligence |
Eliot, Lance B. |
1985 |
182-183 | 3 |
p. 361-363 3 p. |
article |
|
| 303 | The anomalous extension problem in default reasoning |
Morris, Paul H. |
1988 |
182-183 | 3 |
p. 383-399 17 p. |
article |
|
| 304 | The effects of order on learning classifications by example: Heuristics for finding the optimal order |
MacGregor, James N. |
1988 |
182-183 | 3 |
p. 361-370 10 p. |
article |
|
| 305 | The epistemology of a rule-based expert system —a framework for explanation |
Clancey, William J. |
1983 |
182-183 | 3 |
p. 215-251 37 p. |
article |
|
| 306 | The handbook of artificial intelligence |
Hayes-Roth, Frederick |
1982 |
182-183 | 3 |
p. 369-371 3 p. |
article |
|
| 307 | The heuristic search under conditions of error |
Harris, Larry R. |
1974 |
182-183 | 3 |
p. 217-234 18 p. |
article |
|
| 308 | The logic of nonmonotonicity |
Bell, John |
1990 |
182-183 | 3 |
p. 365-374 10 p. |
article |
|
| 309 | The *-minimax search procedure for trees containing chance nodes |
Ballard, Bruce W. |
1983 |
182-183 | 3 |
p. 327-350 24 p. |
article |
|
| 310 | Theory and practice of robots and manipulators |
Larcombe, M.H.E. |
1978 |
182-183 | 3 |
p. 269-271 3 p. |
article |
|
| 311 | The psychology of computer vision |
Rosenfeld, Azriel |
1976 |
182-183 | 3 |
p. 279-282 4 p. |
article |
|
| 312 | The remembered present: A biological theory of consciousness |
Smoliar, Stephen W. |
1991 |
182-183 | 3 |
p. 295-318 24 p. |
article |
|
| 313 | The science of the mind |
Lindsay, Robert K. |
1988 |
182-183 | 3 |
p. 385- 1 p. |
article |
|
| 314 | The society of mind |
Smoliar, Stephen W. |
1991 |
182-183 | 3 |
p. 349-370 22 p. |
article |
|
| 315 | The society of mind |
Ginsberg, Matthew |
1991 |
182-183 | 3 |
p. 335-339 5 p. |
article |
|
| 316 | The society of mind |
Reeke Jr, George N. |
1991 |
182-183 | 3 |
p. 341-348 8 p. |
article |
|
| 317 | The translation of formal proofs into English |
Chester, Daniel |
1976 |
182-183 | 3 |
p. 261-278 18 p. |
article |
|
| 318 | The ubiquity of discovery |
Lenat, Douglas B. |
1977 |
182-183 | 3 |
p. 257-285 29 p. |
article |
|
| 319 | Thinking: Readings in cognitive science |
King, Margaret |
1980 |
182-183 | 3 |
p. 313-322 10 p. |
article |
|
| 320 | 5th International conference on pattern recognition |
1979 |
182-183 | 3 |
p. 299-300 2 p. |
article |
||
| 321 | Three-dimensional object recognition from single two-dimensional images |
Lowe, David G. |
1987 |
182-183 | 3 |
p. 355-395 41 p. |
article |
|
| 322 | TINLAP3 Third workshop on theoretical issues in natural language processing |
1986 |
182-183 | 3 |
p. 349- 1 p. |
article |
||
| 323 | Towards a computational theory of cognitive maps |
Yeap, Wai K. |
1988 |
182-183 | 3 |
p. 297-360 64 p. |
article |
|
| 324 | Towards the automation of set theory and its logic |
Brown, Frank Malloy |
1978 |
182-183 | 3 |
p. 281-316 36 p. |
article |
|
| 325 | Tree clustering for constraint networks |
Dechter, Rina |
1989 |
182-183 | 3 |
p. 353-366 14 p. |
article |
|
| 326 | Two theses of knowledge representation: Language restrictions, taxonomic classification, and the utility of representation services |
Doyle, Jon |
1991 |
182-183 | 3 |
p. 261-297 37 p. |
article |
|
| 327 | Two views of belief: belief as generalized probability and belief as evidence |
Halpern, Joseph Y. |
1992 |
182-183 | 3 |
p. 275-317 43 p. |
article |
|
| 328 | Understanding natural language |
Jurafsky, Dan |
1989 |
182-183 | 3 |
p. 367-377 11 p. |
article |
|
| 329 | Using crude probability estimates to guide diagnosis |
de Kleer, Johan |
1990 |
182-183 | 3 |
p. 381-391 11 p. |
article |
|
| 330 | Using slots and modifiers in logic grammars for natural language |
McCord, Michael C. |
1982 |
182-183 | 3 |
p. 327-367 41 p. |
article |
|
| 331 | Viewing control structures as patterns of passing messages |
Hewitt, Carl |
1977 |
182-183 | 3 |
p. 323-364 42 p. |
article |
|
| 332 | Why am and eurisko appear to work |
Lenat, Douglas B. |
1984 |
182-183 | 3 |
p. 269-294 26 p. |
article |
|
| 333 | XPLAIN: a system for creating and explaining expert consulting programs |
Swartout, William R. |
1983 |
182-183 | 3 |
p. 285-325 41 p. |
article |
333 results found