Articles reported during
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
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.
Towards a world-wide database. .
Computer Networks and ISDN Systems, Vol. 28 (1996), pp 1513-1522.
Towards a world-wide knowledge base. .
Invited paper. Z. Ras and M. Michalewicz (eds),
Foundations of Intelligent Systems, pp. 50-55.
Springer Verlag, 1996
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.
San Francisco, CA., Nov. 1996.
Towards the validation of high-level action descriptions from
their low-level definitions. .
Vol. 9, No. 4, Dec, 1996, pp. 214-224. IOS Press.
Underlying semantics for actions and change with ramification. .
Oliviero Stock (ed),
Spatial and Temporal Reasoning, pp. 289-318.
Getting Robots to Know Exactly What they are Doing. .
W. Wahlster (ed): Proceedings of the 1996 European Conference
on Artificial Intelligence (ECAI), p. 707.
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
latest update 4 August 1997.