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

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

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.

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), 1999.

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.

Wlodek Drabent, Jan Maluszynski, Pawel Pietrzak.
Type-based Diagnosis of CLP Programs.
Proceedings of 10th Workshop on Logic Programming Environments. Las Cruces, NM, 1999.

Wlodek Drabent.
It Is Declarative: On Reasoning about Logic Programs.
Proceeding of the Intl Conf on Logic Programming. Las Cruces, NM, 1999.

Johan Lübcke, Ulf Nilsson.
On-the-fly Model Checking of CTL Formulas using Constraint Logic Programming.
Proceedings of Intl Workshop of Constraint Programming for Time-critical Applications. Lisbon, 1999.

Marco Comini, Wlodek Drabent, Pawel Pietrzak.
Diagnosis of CHIP programs using type information.
Proceedings of APPIA-GULP-PRODE'99 - 1999 Joint Conference on Declarative Programming. L'Aquila Italy, 1999.

Wlodek Drabent, Pavel Pietrzak.
Type Analysis for CHIP.
Proceedings of the Seventh International Conference on Algebraic Methotology and Software Technology (AMAST'98). LNCS 1548, Springer-Verlag, 1999.

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