Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1996
as published or accepted for publication

Subset: articles originating in TOSCA during 1996


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. The links marked "[ALP]" and "[ECP]" are explained at the end of the present page.
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.

010
Christer Bäckström, Peter Jonsson.
Planning with abstraction hierarchies can be exponentially less efficient. .
In proc. 14th Int. Joint Conf. on Artificial Intelligence (IJCAI'95), Montreal, Canada, Aug., 1995. LiTH-IDA-R-95-12.

011
Christer Bäckström.
Expressive Equivalence of Planning Formalisms. .
Artificial Intelligence, 76(1-2):17-34, 1995. LiTH-IDA-R-95-03.

012
Christer Bäckström.
Five Years of Tractable Planning. .
In proc. Third European Workshop on Planning, Assisi, Italy, Sept. 27-29, 1995. Invited paper. LiTH-IDA-R-95-32.

013
Christer Bäckström, B Nebel.
Complexity results for SAS+ planning. .
Computational Intelligence 11(4):625-655, 1995.

014
Christer Bäckström, Peter Jonsson.
Planning with Abstraction Hierarchies can be Exponentially Less Efficient .
In proc. 4th International Symposium of AI and Mathematics, pp. 178, Ft.Lauderdale, Fl., USA, Jan. 1996 Invited talk. Only abstract published.

033
Thomas Drakengren.
Uniqueness of Scott's Reflexive Domain in Pomega. .
Theoretical Computer Science 155(1):267-276, Feb 1996.

034
Thomas Drakengren, Peter Jonsson.
Maximal Tractable Subclasses of Allen's Interval Algebra: Preliminary Report .
Proceedings of the 13th (US) National Conference on Artificial Intelligence (AAAI-96), pp. 389--394, Portland, OR, USA, Aug 1996. LiTH-IDA-R-96-14.

035
Thomas Drakengren, Peter Jonsson.
Eight Maximal Tractable Subclasses of Allen's Algebra with Metric Time .
Accepted to Journal of Artificial Intelligence Research. To appear in 1997. LiTH-IDA-R-96-26.

091
Peter Jonsson, Christer Bäckström.
Incremental Planning. .
In proc. Third European Workshop on Planning, Assisi, Italy, Sept. 27-29, 1995. LiTH-IDA-R-95-31.

092
Peter Jonsson, Christer Bäckström.
Tractable plan existence does not imply tractable plan generation .
In proc. 4th International Symposium of AI and Mathematics, pp. 91--94, Ft. Lauderdale, Fl., USA, Jan. 1996.

093
Peter Jonsson, Christer Bäckström.
On the Size of Reactive Plans .
Proceedings of the 13th (US) National Conference on Artificial Intelligence (AAAI-96), pp. 1182--1187, Portland, OR, USA, Aug 1996. LiTH-IDA-R-96-10.

094
Peter Jonsson, Christer Bäckström.
A Linear-Programming Approach to Temporal Reasoning .
Proceedings of the 13th (US) National Conference on Artificial Intelligence (AAAI-96), pp. 1235--1240, Portland, OR, USA, Aug 1996.

095
Peter Jonsson, Thomas Drakengren, Christer Bäckström.
Tractable Subclasses of the Point-Interval Algebra: A Complete Classification .
Proceedings of the 5th International Conference on Principles on Knowledge Representation and Reasoning (KR-96), pp. 352--363, Cambridge, MA, USA, Oct 1996.

104
I Klein, Peter Jonsson, Christer Bäckström.
Tractable Planning for an Assembly Line. .
In proc. Third European Workshop on Planning, Assisi, Italy, Sept. 27-29, 1995.

105
I Klein, Peter Jonsson, Christer Bäckström.
Automatic Synthesis of Control Programs in polynomial Time for an Assembly Line .
In Proc. IEEE Conference on Decision and Control (CDC-96), Kobe, Japan, Dec, 1996

125
Simin Nadjm-Tehrani, Jan-Erik Strömberg.
Proving Dynamic Properties in an Aerospace Application. .
In proc. RTSS'95, IEEE International Symposium on Real-Time Systems, Pisa, Italy, Dec 1995.

155
Jan-Erik Strömberg, Simin Nadjm-Tehrani, J Top.
Switched Bond Graphs as Front-end to Formal Verification of Hybrid Systems .
Proc. of the DIMACS International Workshop on Verification and Control of Hybrid Systems, pp. 282--293, LNCS 1066, Springer Verlag.

156
Jan-Erik Strömberg, Simin Nadjm-Tehrani.
Hybrid Systems Verification Combining Duration Calculus and Bond Graphs Proc. .
IFAC-IFIP-IMACS Conference on Control of Industrial Systems, Accepted, to appear 1997.

168
Martin Westhead, Simin Nadjm-Tehrani.
Verification of Embedded Systems using Synchronous Observers .
Proceedings of the 4th International Conference on Formal Techniques in Real-time and Fault-tolerant Systems, pp. 405--419 , LNCS 1135, Springer Verlag,Sept 1996.


Article Locator Pages

In some cases, the database maintains relatively extensive information about an article: links to the journal, conference, or publisher where the article was published, links to several generations of the article, etc. Fort this reason, the publication register constructs Article Locator Pages (ALP), that is, HTML pages containing up-to-date information about the publication status of the article in question and, as often as possible, links to the full text of that article.

It is intended that the ALP shall be permanently usable as a key to the full article and to current information about it. ALP:s have a systematic naming; an ALP noted below as number 002 under the headling 1997 is represented at the URL http://www.ida.liu.se/ext/pur/1997/002.html.

E-Press Cover Pages

For those articles published by the Linköping University Electronic Press, the table above also indicates the E-Press cover page, using the ECP. The ECP is used by the E-Press to characterize the instance of an article as published by them. It contains links to various versions or aspects of the article: abstract, postscript, PDF version, etc.

Amendments

Users at IDA please click here for information about how to enter your article into the register and to modify the information about it.


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