Articles reported during
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
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.
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
latest update 4 August 1997.