Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1999
as published or accepted for publication

Subset: articles originating in TOSCA during 1999

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.

001
Peter Jonsson, Thomas Drakengren, Christer Bäckström.
Computational Complexity of Relating Time Points with Intervals.
Accepted by Artificial Intelligence, 109(1--2), 1999.

045
Peter Jonsson.
Strong Bounds on the Approximability of Two PSPACE-hard Problems in Propositional Planning.
Has been accepted by Annals of Mathematics and Artificial Intelligence.

053
Mathias Broxvall, Peter Jonsson.
Towards a Complete Classification of Tractability in Point Algebras for Nonlinear Time.
"In Proc. of the Fifth International Conference on Principles and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.

054
Patrik Haslum, Peter Jonsson.
Some Results on the Complexity of Planning with Incomplete Information.
In Proc. of the 5th European Conference on Planning (ECP'99), vol. 1809, pp. 308-318, 1999.

064
Marcus Bjäreland, Peter Jonsson.
Exploiting Bipartiteness to dentify Yet Another Tractable Subclass of CSP.
In Proc. of the Fifth International Conference on Princeples and Practice of Constraint Programming (CP'99). LNCS 1713, Springer-Verlag, 1999.

110
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
Accepted by Artificial Intelligence.

129
Simin Nadjm-Tehrani.
Integration of Analog and Discrete Synchronous Design.
Second International Workshop on Hybrid Systems: Computation and Control, Nijmegen, Netherlands, March 1999, pages 193-208. LNCS 1569, Springer Verlag.

130
Simin Nadjm-Tehrani, J. Stromberg.
Formal Verification of Dynamic Properties in an Aerospace Application.
Published in Formal Methods in System Design, Volume 14, number 2, March 1999, pages 135-169.

154
Thomas Drakengren, Markus Bjäreland.
Expressive reasoning about action in nondeterministic polynomial time.
In Proceedings of the 16th International Joint Conference on Artificial Intelligence, pp. 166-171, Stockholm, Sweden, 1999. Morgan Kaufmann.

155
Thomas Drakengren, Markus Bjäreland.
Reasoning about action in polynomial time.
Artificial Intelligence, 1999, vol. 115(1), pp. 1-24.

181
Patrik Haslum, Peter Jonsson.
Some results on the complexity of planning with incomplete information.
In the proceedings of the 5th European Conference on Planning, vol 1809, pp. 308-318, Springer Verlag, 1999.

182
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
In Artificial Intellingence, vol. 117(1), pp. 1-29, 2000.

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