|
|
Automatic Cross-Reference StructureCurrently available collection listings |
| Allen | |
| s-Allen-91 | Allen, Henry A. Kautz, Pelavin, and Josh D. Tenenberg. Reasoning About Plans. Morgan Kaufmann Publishers, Inc., 1991. |
| Bliss | |
| s-Bliss-92 | Bliss, Sakondis, Rodgers, Nash, Miller, Mellar, Brough, Brosnan, Briggs, Boohan, and Ogborn. Reasoning Supported by Computational Tools, Computers and Education. 1992. |
| Brachman | |
| s-Brachman-85 | Ron Brachman and Hector Levesque. Readings in Knowledge Representation. , 1985. |
| Brown | |
| s-Brown-87 | Brown. The Frame Problem in Artificial Intelligence. Morgan Kaufmann Publishers, Inc., 1987. |
| Cavedon | |
| s-Cavedon-96 | Lawrence Cavedon, Anand Rao, and Wayne Wobcke. Intelligent Agent Systems. Theoretical and Practical Issues. Springer Verlag, 1996. |
| Clark | |
| s-Clark-96 | Clark. Connectionism, Concepts and Folk Psychology: The Legacy of Alan Turing. 1996. |
| Elithorn | |
| s-Elithorn-73 | Elithorn and D. Jones. Artificial and Human Thinking. Jossey-Bass, 1973. |
| Ford | |
| s-Ford-91 | Ford and Pat Hayes. Reasoning Agents in a Dynamic World: The Frame Problem. JAI Press, 1991. |
| Gabbay | |
| s-Gabbay-94 | Dov M. Gabbay, C.J. Hogger, and J.A. Robinson. Handbook of Logic in Artificial Intelligence and Logic Programming. Volume 4: Epistemic and Temporal Reasoning. Oxford University Press. |
| Galton | |
| s-Galton-87 | Galton. Temporal Logics and Their Applications. Academic Press, 1987. |
| Gelfond | |
| s-Gelfond-91 | Michael Gelfond and Vladimir Lifschitz. Classical negation in logic programs and disjunctive databases. , 1991. |
| Georgeff | |
| s-Georgeff-86 | Michael Georgeff. Reasoning about Actions and Plans. 1986. |
| Ginsberg | |
| s-Ginsberg-87 | Matthew L. Ginsberg. Readings in Nonmonotonic Reasoning. Morgan Kaufmann Publishers, Inc., 1987. |
| Kelleher | |
| s-Kelleher-88 | Kelleher and David E. Smith. Reason Maintenance Systems and their Applications. , 1988. |
| Kyburg | |
| s-Kyburg-90 | Kyburg, Loui, and Greg N. Carlson. Knowledge Representation and Defeasible Reasoning. Kluwer Academic Publishers, 1990. |
| Lifschitz | |
| s-Lifschitz-91 | Vladimir Lifschitz. Artificial Intelligence and the Mathematical Theory of Computation: Papers in Honor of J. McCarthy. Academic Press, 1991. |
| Metzing | |
| s-Metzing-79 | Metzing. Frame Conceptions and Text Understanding. Walter de Gruyter and Co, 1979. |
| Miller | |
| s-Miller-01 | Miller and Muller. Random test. Springer Verlag, 1901. |
| s-Miller-91 | Miller and Brough. Quantitative and Semi-quantitative Computer Tools for Exploratory Learning. , 1991. |
| s-Miller-93 | Miller, Sakonidis, Mellar, Brosnan, Boohan, Bliss, Brough, Briggs, and Ogborn. Educational Tools for Computational Modelling. , 1993. |
| s-Miller-96 | Miller. A. 1996. |
| Ogborn | |
| s-Ogborn-94 | Ogborn and Miller. Learning with Artificial Worlds: Computer based Modelling in the Curriculum. , 1994. |
| Shanahan | |
| s-Shanahan-97 | Murray Shanahan. Solving the Frame Problem. , 1997. |
| Stock | |
| s-Stock-97 | Oliviero Stock. Spatial and Temporal Reasoning. Kluwer Academic Publishers, 1997. |
| Vila | |
| s-Vila-98 | Lluís Vila, Bernhard Nebel, Galton, Michael Fisher, and Beek. The Handbook of Time and Temporal Reasoning in Artificial Intelligence. 1998. |
| Webber | |
| s-Webber-81 | Webber and Nils Nilsson. Readings in Artificial Intelligence. 1981. |
Latest update:
Administrated by
Erik
Sandewall,
Linköping University, Sweden.
E-mail ejs@ida.liu.se.