Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 2000
as published or accepted for publication

Subset: articles originating in TCSLAB during 2000

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.

Patrik Haslum, Peter Jonsson.
Planning with Reduced Operator Sets.
Accepted for presentation at the 5th Int. Conference on Artificial Intelligence Planning and Scheduling (AIPS-2000), pp. 150-158, 2000, Breckenridge, USA.

Ola Angelsmark.
Constraints, Adjunctions and (Co)algebras.
Accepted to the Workshop on Coalgebraic Methods in Computer Science (CMCS'2000), 25-26 March, 2000 at the Technical University of Berlin.

M. Larsson, I. Klein, D. Lawesson, U. Nilsson.
Fault Isolation in Object Oriented Control Systems.
Accepted to the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS'00), June 14-16, Budapest, Hungary.

M Broxvall, P. Jonsson.
Disjunctive Temporal Reasoning in Partially Ordered Time Structures.
Accepted for presentation at the 10th National Conference on Artificial Intellligence (AAAI 2000), in Austin, Texas, USA, August 2000.

David Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis.
Building Tractable Disjunctive Constraints.
Accepted by the Journal of the ACM.

Ulf Nilsson, J. Lubcke.
Constraint Logic Programming for Local and Symbolic Model-Checking.
Accepted for the International Conference on Computational Logic (CL2000), London, July 24-29, 2000.

Peter Jonsson.
Boolean Constraint Satisfaction: Complexity Results for Optimization Problems with Arbitrary Weights.
Published in Theoretical Computer Science, 244(1--2), 2000.

Witold Drabent, Jan Maluszynski, P. Pietrzak.
Locating Type Errors in Untyped CLP Programs.
Published in Analysis and Visualization Tools for Constraint Programming. LNCS, Springer Verlag.

Peter Jonsson, Patrik Haslum, Christer Bäström.
Towards Efficient Universal Planning -- A Randomized Approach.
Published in Artificial Intelligence 117(1):1-29, 2000.

Erik Herzog, Peter Loborg, Simin Nadjm-Tehrani.
Real-time lab exercises: A teacher's dilemma.
Accepted at the SIGCSE 2001 Technical Symposium, to be held in North Carolina, USA in February (

Ola Angelsmark, Peter Jonsson.
Some Observations on Durations, Scheduling and Allen's Algebra.
In Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP2000).

Witold Drabent, Jan Maluszynski, P. Pietrzak.
Type-based Diagnosis of CLP Programs.
Published in Electronic Notes in Theoretical Computer Science, 30(4), 2000.

Mathias Broxvall, Peter Jonsson, Jochen Renz.
Refinements and Independence: A Simple Method for Identifying Tractable Disjunctive Constraints.
In Proceedings of the Sixth International Conference on Principles and Practice of Constraint Programming (CP2000).

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