Linköping University

Department of Computer and Information Science

Publication Register

Articles by Erik Sandewall reported during 1996-2001

This file contains a list of publications by Erik Sandewall registered since 1996. The information has been obtained from the IDA publication register. Articles are listed under the year when they were reported to the database, which was often when the article was accepted for publication, not necessarily the year when it was actually published. This is also the reason why exact page numbers etc. are sometimes missing.

1996

Erik Sandewall.
Reasoning about Actions and Change with Ramification. .
In: Jan van Leeuwen(ed): Computer Science Today, pp. 486-504. Springer Verlag, Lecture Notes in Computer Science, Vol. 1000, 1995.

Erik Sandewall.
Towards a world-wide database. .
Computer Networks and ISDN Systems, Vol. 28 (1996), pp 1513-1522.

Erik Sandewall.
Towards a world-wide knowledge base. .
Invited paper. Z. Ras and M. Michalewicz (eds), Foundations of Intelligent Systems, pp. 50-55. Springer Verlag, 1996

Erik Sandewall.
Assessments of ramification methods that use static domain constraints. .
L. Aiello et als (eds). Proceedings of the International Joint Conference on Knowledge Representation and Reasoning, pp. 99-110. Morgan-Kaufmann Publishers, San Francisco, CA., Nov. 1996.

Erik Sandewall.
Underlying semantics for logics of actions and change. .
Extended abstract. Invited lecture at Logic Colloquium 96 in Donostosia/San Sebastian, Spain. European Summer Meeting of the Association for Symbolic Logic.

Erik Sandewall.
Towards the validation of high-level action descriptions from their low-level definitions. .
AICOM Journal, Vol. 9, No. 4, Dec, 1996, pp. 214-224. IOS Press.

Erik Sandewall.
Underlying semantics for actions and change with ramification. .
Oliviero Stock (ed), Spatial and Temporal Reasoning, pp. 289-318. Kluwer, 1997.

Erik Sandewall.
Getting Robots to Know Exactly What they are Doing. .
Invited lecture. W. Wahlster (ed): Proceedings of the 1996 European Conference on Artificial Intelligence (ECAI), p. 707. Wiley, 1996.

Erik Sandewall.
The early use of continuations and partial evaluation for compiling rules written in FOPC. .
Working notes of the 2nd ACM SIGPLAN Workshop on Continuations, Paris, France, Jan 14, 1997. (Journal publication, see the list for 1999 ).

Erik Sandewall.
Relating high-level and low-level action descriptions in a logic of actions and change. .
O. Maler (ed): Hybrid and Real-Time Systems, pp. 3-17. Proceedings of HART'97, Grenoble, France, March 26-28, 1997. Springer Verlag, 1997.

1997

Erik Sandewall.
A Neo-Classical Structure for Scientific Publication and Reviewing.
Published by the Linköping University Electronic Press.
[abstract] [postscript] [ECP]

1998

Erik Sandewall.
Logic Based Modelling of Goal-Directed Behavior.
A. Cohn (ed): Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998, pp. 304-315. Also Electronic Transactions on Artificial Intelligence, Vol. 1 (1997), pp. 105-128
[postscript]

Erik Sandewall.
The Logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events.
J. Dix et als (eds): Logics in Artificial Intelligence, pp. 382-384. Invited paper, JELIA-98 conference. Springer Verlag, 1998.

Erik Sandewall.
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited..
Electronic Transactions on Artificial Intelligence, Vol. 2 (1998), pp 307-329.

1999

Erik Sandewall.
An Early Use of Continuations and Partial Evaluation for Compiling Rules Written in First-Order Predicate Calculus.
Higher-Order and Symbolic Computation, Volume 12, Number 1, 1999, pages 105-113.

Erik Sandewall.
Action Inventory for a Knowledge-Based Colloquium Agent.
In H. Levesque and F. Pirri (eds): Logical Foundations for Cognitive Agents, pp. 300-308. Springer Verlag, 1999.

2000

Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Sandewall, K. Nordberg, Erik Skarman, Johan Wiklund.
The WITAS Unmanned Aerial Vehicle Project.
W. Horn (ed): Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), pp. 747-755. IOS Press, 2000.

2001

Erik Sandewall.
Open Reviewing, Closed Refereeing: Where's the Publication?.
In E.H. Fredriksson (ed): A Century of Science Publishing, pp. 285-301. IOS Press, 2001.

Erik Sandewall.
Cellular Ontology as a Basis for Spatiotemporal Reasoning..
Invited paper. C. Bettini and A. Montanari (ed): Proceedings of the Eighth International Symposium on Temporal Representation and Reasoning (TIME-01), pp. 3-4. IEEE Computer Society Press, 2001.

Erik Sandewall.
On the Design of Software Individuals..
Accepted, Eletronic Transactions on Artificial Intelligence, Vol. 5 (2001), Section B: contributions from the Machine Intelligence 18 Workshop.