Linköping University
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.
- 122
-
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.
- 123
-
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.