Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1996
as published or accepted for publication

Subset: articles originating in EMTEK during 1996

The IDA publication register contains information about articles written by researchers at IDA. The usual bibliographic references are combined with links to on-line copies of those articles whenever available and known.
If the article you are looking for is not in this list, then
maybe it as already reported last year - see last year's list.

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.
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.
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, pp. 3-17.

This page is maintained by [EMTEK]; latest update 4 August 1997.