|
|
Automatic Cross-Reference StructureCurrently available book listings |
| Alferes | |
| b-Alferes-96 | José Júlio Alferes and Luís Moniz Pereira. Reasoning with Logic Programs. Springer Verlag, 1996. |
| Benthem | |
| b-Benthem-83 | Johan van Benthem. The Logic of Time. Reidel, 1983. |
| Bratman | |
| b-Bratman-87 | Bratman. Intention, Plans, and Practical Reason. Harvard University Press, 1987. |
| Davis | |
| b-Davis-90 | Ernest Davis. Representation of Commonsense Knowledge. Morgan Kaufmann Publishers, Inc., 1990. |
| Dean | |
| b-Dean-91 | Tom Dean and Wellman. Planning and Control. Morgan Kaufmann Publishers, Inc., 1991. |
| Gardenfors | |
| b-Gardenfors-88 | Peter Gärdenfors. Knowledge in Flux. 1988. |
| Geffner | |
| b-Geffner-92 | Hector Geffner. Default Reasoning. , 1992. |
| Lewis | |
| b-Lewis-01 | Lewis. Alternatives. 1901. |
| b-Lewis-73 | D. Lewis. Counterfactuals. Harvard University Press, 1973. |
| Sandewall | |
| b-Sandewall-94 | Erik Sandewall. Features and Fluents. The Representation of Knowledge about Dynamical Systems. Oxford University Press, 1994. |
| Schaub | |
| b-Schaub-98 | Torsten Schaub. The Automation of Reasoning with Incomplete Information. Springer Verlag, 1998. |
| Shanahan | |
| b-Shanahan-97 | Murray Shanahan. Solving the Frame Problem: A Mathematical Investigation of the Common Sense Law of Inertia. MIT Press, 1997. |
| Shoham | |
| b-Shoham-88 | Yoav Shoham. Reasoning about Change. , 1988. |
| Sombe | |
| b-Sombe-90 | Léa Sombé. Reasoning under incomplete information in artificial intelligence. John Wiley |
Latest update:
Administrated by
Erik
Sandewall,
Linköping University, Sweden.
E-mail ejs@ida.liu.se.