j-jlc-4-581 | Erik Sandewall. The Range of Applicability of some Non-monotonic Logics for Strict Inertia. Journal of Logic and Computation, vol. 4 (1994), pp. 581-615. |
j-aicom-9-214 | Erik Sandewall. Towards the validation of high-level action descriptions from their low-level definitions. [E-press] AI Communications, vol. 9 (1996), pp. 214-224. |
j-etai-1-105 | Erik Sandewall. Logic-Based Modelling of Goal-Directed Behavior. Electronic Transactions on Artificial Intelligence, vol. 1, pp. 105-128. |
c-kr-89-412 | Erik Sandewall. Combining Logic and Differential Equations for Describing Real-World Systems. Proc. International Conf on Knowledge Representation and Reasoning, 1989, pp. 412-420. Also available as Linköping technical report Nr. 89-38 [postscript]. |
c-ijcai-89-894 | Erik Sandewall. Filter Preferential Entailment for the Logic of Action in Almost Continuous Worlds. Proc. International Joint Conference on Artificial Intelligence, 1989, pp. 894-899. Also available as Linköping technical report Nr. 89-37 [postscript]. |
c-ecai-90-579 | Erik Sandewall. Reasoning about the World as Perceived by an Agent. Proc. European Conference on Artificial Intelligence, 1990, pp. 579-584. |
c-ijcai-93-738 | Erik Sandewall. The Range of Applicability of Nonmonotonic Logics for the Inertia Problem. Proc. International Joint Conference on Artificial Intelligence, 1993, pp. 738-743. |
c-ecai-96-707 | E. Sandewall. Getting Robots to Know Exactly What They Are Doing. [postscript] Proc. European Conference on Artificial Intelligence, 1996, pp. 707-708. |
c-kr-96-99 | Erik Sandewall. Assessment of ramification methods that use static domain constraints. [entry] Proc. International Conf on Knowledge Representation and Reasoning, 1996, pp. 99-110. |
c-hart-97-3 | Erik Sandewall. Relating high-level and low-level action descriptions in a logic of actions and change. Proc. Hybrid and Real-Time Systems, 1997, pp. 3-17. |
c-kr-98-304 | Erik Sandewall. Logic Based Modelling of Goal-Directed Behaviou. Proc. International Conf on Knowledge Representation and Reasoning, 1998, pp. 304-315. |