Linköping University
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.
- 001
-
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.
- 028
-
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.
- 030
-
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.
- 032
-
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.
- 034
-
David Cohen, Peter Jeavons, Peter Jonsson, Manolis Koubarakis.
Building Tractable Disjunctive Constraints.
Accepted by the Journal of the ACM.
- 038
-
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.
- 111
-
Peter Jonsson.
Boolean Constraint Satisfaction: Complexity Results for Optimization Problems with Arbitrary Weights.
Published in Theoretical Computer Science, 244(1--2), 2000.
- 113
-
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.
- 130
-
Peter Jonsson, Patrik Haslum, Christer Bäström.
Towards Efficient Universal Planning -- A Randomized Approach.
Published in Artificial Intelligence 117(1):1-29, 2000.
- 139
-
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 (http://www.math.grin.edu/~sigcse/2001).
- 208
-
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).
- 212
-
Witold Drabent, Jan Maluszynski, P. Pietrzak.
Type-based Diagnosis of CLP Programs.
Published in Electronic Notes in Theoretical Computer Science, 30(4), 2000.
- 216
-
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.