Erik Sandewall - Selected Publications

j-jlc-4-581Erik 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-214Erik 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-105Erik Sandewall.
Logic-Based Modelling of Goal-Directed Behavior.
Electronic Transactions on Artificial Intelligence, vol. 1, pp. 105-128.
c-kr-89-412Erik 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-894Erik 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-579Erik Sandewall.
Reasoning about the World as Perceived by an Agent.
Proc. European Conference on Artificial Intelligence, 1990, pp. 579-584.
c-ijcai-93-738Erik 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-707E. Sandewall.
Getting Robots to Know Exactly What They Are Doing. [postscript]
Proc. European Conference on Artificial Intelligence, 1996, pp. 707-708.
c-kr-96-99Erik 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-3Erik 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-304Erik Sandewall.
Logic Based Modelling of Goal-Directed Behaviou.
Proc. International Conf on Knowledge Representation and Reasoning, 1998, pp. 304-315.