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 KPLAB 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.

T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.

Marcus Bjäreland.
Execution Monitor Synthesis for Hybrid Systems - Preliminary Report .
Has been accepted for presentation at the fourteenth international symposium on Intelligent Control (ISIC'99), Boston, September 1999.

Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted for publication in Artificial Intelligence Journal.

Marcus Bjäreland.
Recovering from modelling faults in GOLOG.
Proceedings of the IJCAI'99 Workshop: Scheduling and Planning meet Realtime Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August 1999.

Marcus Bjäreland, P. Jonsson.
Exploiting bipartitenes to identify yet another tractable subclass of csp.
Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, LNCS, Alexandria, VA, USA, 1999. Springer-Verlag.

Silvia Coradeschi, Lars Karlsson, K. Nordberg.
Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance.
In H.I. Christiansen, editor, Computer Vision Systems, number 1542 in Lecture Notes in Computer Science. Springer, 1999, pp. 216-230.

Patrick Doherty, Joakim Gustavsson, Lars Karlsson, Jonas Kvarnström.
TAL: Temporal action logics, language specification and tutorial.
Journal of Electronic Transactions on Artificial Intelligence, 1999, vol. 2 (1998), issue 3-4, pp. 273-306.

Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Published in Journal of Computational Intelligence, vol. 16:2, pp. 169-209, 1999.

Patrick Doherty, Jonas Kvarnström.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), pp. 47-54, 1999.

Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
MPMA updates using dijkstra's semantics.
Proceedings of the 11th International Symposium (ISMIS-99), Warsaw, Poland. Lecture notes in Artificial Intelligence, pp. 271-281. Springer-Verlag, 1999.

Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of Logic and Computation, 9(5):739-761, 1999.

Lars Karlsson, Joakim Gustafsson.
Reasoning about concurrent interaction.
Journal of Logic and Computation, 1999.

Patrik Haslum.
Model checking by random walk.
Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.

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.

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.