Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 2001
as published or accepted for publication

Subset: articles originating in KPLAB during 2001

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.

Patrick Doherty, Witold Lukaszewicz, Andrzej Szalas.
Computing Strongest Necessary and Weakest Sufficient Conditions of First-Order Formulas.
In Proceedings of the 17th International Joint Conference on Artificial Intelligence, Seattle, Washington, USA, August 2001. (IJCAI 2001). Morgan Kaufmann Publishers. pp. 145-151.

Patrick Doherty, Jonas Kvarnström.
TALplanner: A Temporal Logic Based Planner.
"Accepted for publication In AI Magazine, vol. 22(3), pp. 95-102, 2001.

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