| 1996-003 | Erik Sandewall: Transition cascade semantics and first results for ramification. Preliminary report. Proceedings of Conference on Formal Approaches to Practical Reasoning, 1996.
|
| 1996-004 | Erik Sandewall: Assessment of ramification methods that use static domain constraints. Proceedings of Conference on Principles of Knowledge Representation and Reasoning, 1996, pages 99-110.
|
| 1996-005 | Erik Sandewall: Underlying semantics for logics of actions and change. Proceedings of Logic Colloquium, 1996.
|
| 1996-006 | Erik Sandewall: Getting Robots to Know Exactly What They are Doing. Proceedings of European Conference on Artificial Intelligence, 1996, pages 707.
|
| 1996-007 | Erik Sandewall: Towards a World-Wide Knowledge Base. Proceedings of Ninth Foundations of Intelligent Systems, 1996, pages 50-55.
|
| 1996-001 | Erik Sandewall: Towards the Validation of High-Level Action Descriptions from their Low-Level Definitions. Artificial Intelligence Communications, vol. 9 (1996), pages 214-224.
|
| 1996-002 | Erik Sandewall: Towards a World-Wide Database. Computer Networks and ISDN Systems, vol. 28 (1996), pages 1513-1522.
|