|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
71 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | Abduction versus closure in causal theories |
Konolige, Kurt |
1992 |
182-183 | 2-3 |
p. 255-272 18 p. |
article |
|
| 2 | A critical examination of Allen's theory of action and time |
Galton, Antony |
1990 |
182-183 | 2-3 |
p. 159-188 30 p. |
article |
|
| 3 | A dynamic systems perspective on qualitative simulation |
Sacks, Elisha |
1990 |
182-183 | 2-3 |
p. 349-362 14 p. |
article |
|
| 4 | A generic arc-consistency algorithm and its specializations |
Van Hentenryck, Pascal |
1992 |
182-183 | 2-3 |
p. 291-321 31 p. |
article |
|
| 5 | All I know: A study in autoepistemic logic |
Levesque, Hector J. |
1990 |
182-183 | 2-3 |
p. 263-309 47 p. |
article |
|
| 6 | A logical approach to efficient Max-SAT solving |
Larrosa, Javier |
2008 |
182-183 | 2-3 |
p. 204-233 30 p. |
article |
|
| 7 | A logic of knowledge and justified assumptions |
Lin, Fangzhen |
1992 |
182-183 | 2-3 |
p. 271-289 19 p. |
article |
|
| 8 | A mathematical treatment of defeasible reasoning and its implementation |
Simari, Guillermo R. |
1992 |
182-183 | 2-3 |
p. 125-157 33 p. |
article |
|
| 9 | AND/OR search spaces for graphical models |
Dechter, Rina |
2007 |
182-183 | 2-3 |
p. 73-106 34 p. |
article |
|
| 10 | Announcement |
1992 |
182-183 | 2-3 |
p. 391- 1 p. |
article |
||
| 11 | Announcement |
1990 |
182-183 | 2-3 |
p. 407- 1 p. |
article |
||
| 12 | Announcement |
1992 |
182-183 | 2-3 |
p. 365-366 2 p. |
article |
||
| 13 | Announcements |
1992 |
182-183 | 2-3 |
p. 399-400 2 p. |
article |
||
| 14 | An order-sorted logic for knowledge representation systems |
Beierle, C. |
1992 |
182-183 | 2-3 |
p. 149-191 43 p. |
article |
|
| 15 | A parallel approach to syntax for generation |
Ward, Nigel |
1992 |
182-183 | 2-3 |
p. 183-225 43 p. |
article |
|
| 16 | Apprentices of wonder: Inside the neural network revolution |
Kort, Barry |
1992 |
182-183 | 2-3 |
p. 343-344 2 p. |
article |
|
| 17 | Arc consistency for factorable relations |
Perlin, Mark |
1992 |
182-183 | 2-3 |
p. 329-342 14 p. |
article |
|
| 18 | A skeptical theory of inheritance in nonmonotonic semantic networks |
Horty, John F. |
1990 |
182-183 | 2-3 |
p. 311-348 38 p. |
article |
|
| 19 | A spectrum of compromise aggregation operators for multi-attribute decision making |
Luo, Xudong |
2007 |
182-183 | 2-3 |
p. 161-184 24 p. |
article |
|
| 20 | A symbolic approach to qualitative kinematics |
Faltings, Boi |
1992 |
182-183 | 2-3 |
p. 139-170 32 p. |
article |
|
| 21 | A theory of abstraction |
Giunchiglia, Fausto |
1992 |
182-183 | 2-3 |
p. 323-389 67 p. |
article |
|
| 22 | Author index — Volume 42, 1990 |
1990 |
182-183 | 2-3 |
p. 414- 1 p. |
article |
||
| 23 | Author index—Volume 56 (1992) |
1992 |
182-183 | 2-3 |
p. 403- 1 p. |
article |
||
| 24 | Author index—volume 53 (1992) |
1992 |
182-183 | 2-3 |
p. 369-370 2 p. |
article |
||
| 25 | Author index—Volume 57 (1992) |
1992 |
182-183 | 2-3 |
p. 399- 1 p. |
article |
||
| 26 | Author index—Volume 55 (1992) Science 338 (Springer, Berlin) |
1992 |
182-183 | 2-3 |
p. 387- 1 p. |
article |
||
| 27 | Automatic programming of behavior-based robots using reinforcement learning |
Mahadevan, Sridhar |
1992 |
182-183 | 2-3 |
p. 311-365 55 p. |
article |
|
| 28 | Automatic scoring of short handwritten essays in reading comprehension tests |
Srihari, Sargur |
2008 |
182-183 | 2-3 |
p. 300-324 25 p. |
article |
|
| 29 | A validation-structure-based theory of plan modification and reuse |
Kambhampati, Subbarao |
1992 |
182-183 | 2-3 |
p. 193-258 66 p. |
article |
|
| 30 | A world championship caliber checkers program |
Schaeffer, Jonathan |
1992 |
182-183 | 2-3 |
p. 273-289 17 p. |
article |
|
| 31 | Axiomatic characterization of the AGM theory of belief revision in a temporal logic |
Bonanno, Giacomo |
2007 |
182-183 | 2-3 |
p. 144-160 17 p. |
article |
|
| 32 | Bayesian updating: On the interpretation of exhaustive and mutually exclusive assumptions |
Lam, F.C. |
1992 |
182-183 | 2-3 |
p. 245-254 10 p. |
article |
|
| 33 | Belief updating from integrity constraints and queries |
De Raedt, Luc |
1992 |
182-183 | 2-3 |
p. 291-307 17 p. |
article |
|
| 34 | Books received |
1992 |
182-183 | 2-3 |
p. 361-363 3 p. |
article |
||
| 35 | Characterizing diagnoses and systems |
de Kleer, Johan |
1992 |
182-183 | 2-3 |
p. 197-222 26 p. |
article |
|
| 36 | Conditional entailment: Bridging two approaches to default reasoning |
Geffner, Hector |
1992 |
182-183 | 2-3 |
p. 209-244 36 p. |
article |
|
| 37 | Conjunctive and disjunctive combination of belief functions induced by nondistinct bodies of evidence |
Denœux, Thierry |
2008 |
182-183 | 2-3 |
p. 234-264 31 p. |
article |
|
| 38 | Contents — Volume 42, 1990 |
1990 |
182-183 | 2-3 |
p. 415-416 2 p. |
article |
||
| 39 | Determining the consistency of partial tree descriptions |
Bodirsky, Manuel |
2007 |
182-183 | 2-3 |
p. 185-196 12 p. |
article |
|
| 40 | Editorial Board |
2008 |
182-183 | 2-3 |
p. IFC- 1 p. |
article |
||
| 41 | Editorial Board |
2007 |
182-183 | 2-3 |
p. IFC- 1 p. |
article |
||
| 42 | Forthcoming papers |
1992 |
182-183 | 2-3 |
p. 367-368 2 p. |
article |
||
| 43 | Forthcoming papers |
1990 |
182-183 | 2-3 |
p. 409-411 3 p. |
article |
||
| 44 | Forthcoming papers |
1992 |
182-183 | 2-3 |
p. 393-398 6 p. |
article |
||
| 45 | Forthcoming papers |
1992 |
182-183 | 2-3 |
p. 401-402 2 p. |
article |
||
| 46 | Forthcoming papers |
1992 |
182-183 | 2-3 |
p. 385-386 2 p. |
article |
||
| 47 | Graphically structured value-function compilation |
Brafman, Ronen I. |
2008 |
182-183 | 2-3 |
p. 325-349 25 p. |
article |
|
| 48 | Intention is choice with commitment |
Cohen, Philip R. |
1990 |
182-183 | 2-3 |
p. 213-261 49 p. |
article |
|
| 49 | Iterative broadening |
Ginsberg, Matthew L. |
1992 |
182-183 | 2-3 |
p. 367-383 17 p. |
article |
|
| 50 | Learning action models from plan examples using weighted MAX-SAT |
Yang, Qiang |
2007 |
182-183 | 2-3 |
p. 107-143 37 p. |
article |
|
| 51 | Linear resolution for consequence finding |
Inoue, Katsumi |
1992 |
182-183 | 2-3 |
p. 301-353 53 p. |
article |
|
| 52 | MEBN: A language for first-order Bayesian knowledge bases |
Laskey, Kathryn Blackmond |
2008 |
182-183 | 2-3 |
p. 140-178 39 p. |
article |
|
| 53 | Multi-agent human–machine dialogue: issues in dialogue management and referring expression semantics |
Knott, Alistair |
2008 |
182-183 | 2-3 |
p. 69-102 34 p. |
article |
|
| 54 | Neurocomputing: Foundations of research |
Jurik, Mark |
1992 |
182-183 | 2-3 |
p. 355-359 5 p. |
article |
|
| 55 | On the complexity of blocks-world planning |
Gupta, Naresh |
1992 |
182-183 | 2-3 |
p. 223-254 32 p. |
article |
|
| 56 | On the complexity of propositional knowledge base revision, updates, and counterfactuals |
Eiter, Thomas |
1992 |
182-183 | 2-3 |
p. 227-270 44 p. |
article |
|
| 57 | Phase transition in a random NK landscape model |
Choi, Sung-Soon |
2008 |
182-183 | 2-3 |
p. 179-203 25 p. |
article |
|
| 58 | Proceedings of the 1988 connectionist models summer school |
Goddard, Nigel |
1992 |
182-183 | 2-3 |
p. 345-353 9 p. |
article |
|
| 59 | Qualitative superposition |
Coiera, Enrico W. |
1992 |
182-183 | 2-3 |
p. 171-196 26 p. |
article |
|
| 60 | Quantitative results concerning the utility of explanation-based learning |
Minton, Steven |
1990 |
182-183 | 2-3 |
p. 363-391 29 p. |
article |
|
| 61 | Real-time heuristic search |
Korf, Richard E. |
1990 |
182-183 | 2-3 |
p. 189-211 23 p. |
article |
|
| 62 | Reasoning about model accuracy |
Weld, Daniel S. |
1992 |
182-183 | 2-3 |
p. 255-300 46 p. |
article |
|
| 63 | Redundancy in logic II: 2CNF and Horn propositional formulae |
Liberatore, Paolo |
2008 |
182-183 | 2-3 |
p. 265-299 35 p. |
article |
|
| 64 | Resolving ambiguity in nonmonotonic inheritance hierarchies |
Stein, Lynn Andrea |
1992 |
182-183 | 2-3 |
p. 259-310 52 p. |
article |
|
| 65 | State-set branching: Leveraging BDDs for heuristic search |
Jensen, Rune M. |
2008 |
182-183 | 2-3 |
p. 103-139 37 p. |
article |
|
| 66 | The complexity of existential quantification in concept languages |
Donini, Francesco M. |
1992 |
182-183 | 2-3 |
p. 309-327 19 p. |
article |
|
| 67 | The computational complexity of probabilistic inference using bayesian belief networks |
Cooper, Gregory F. |
1990 |
182-183 | 2-3 |
p. 393-405 13 p. |
article |
|
| 68 | The emperor's real mind: Review of Roger Penrose's the emperor's new mind: Concerning computers, minds and the laws of physics |
Sloman, Aaron |
1992 |
182-183 | 2-3 |
p. 355-396 42 p. |
article |
|
| 69 | Theory and algorithms for plan merging |
Foulser, David E. |
1992 |
182-183 | 2-3 |
p. 143-181 39 p. |
article |
|
| 70 | The roles of associational and causal reasoning in problem solving |
Simmons, Reid G. |
1992 |
182-183 | 2-3 |
p. 159-207 49 p. |
article |
|
| 71 | Use of the Gibbs sampler in expert systems |
York, Jeremy |
1992 |
182-183 | 2-3 |
p. 397-398 2 p. |
article |
71 results found