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

018
Silvia Coradeschi, Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperating Soccer-Playing Agents, .
Accepted for publication in the proceedings of the 1995 .

024
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: Preliminary Report. .
Published in the proceedings of the 1995 , pp. 1502-1508.

025
Patrick Doherty, P Peppas.
A Comparison between two Approaches to Ramification: PMON(R) and AR0. .
Published in the proceedings of the 1995 , pp. 267-274.

026
Patrick Doherty, Witold Lukaszewicz.
A Study in Modal Embeddings of NML3. .
In Doherty, P., editor, Partiality, Modality, and Nonmonotonicity, chapter 5, pages 145--168. CSLI Publications.

029
Patrick Doherty, Witold Lukaszewicz, A Szalas.
Computing Circumscription Revisited: A Reduction Algorithm. .
Accepted for publication in the Journal of Automated Reasoning, pp. 297-336.

030
Patrick Doherty, Witold Lukaszewicz, A Szalas.
A Reduction Result for Circumscribed Semi-Horn Formulas. .
Published in the journal Vol. 28, pp. 261-272.

067
Joakim Gustafsson, Patrick Doherty.
Embracing Occlusion in Specifying the Indirect Effects of Actions. .
Accepted for publication in the proceedings of the 1996 .

101
Lars Karlsson.
Planning, Truth Criteria and the Systematic approach to Action and Change. .
Accepted for publication in the proceedings of the 1996 .

102
Lars Karlsson.
Causal links planning and the systematic approach to action and change. .
AAAI-96 Workshop on Reasoning about actions, planning and control: bridging the gap, Portland, Oregon, 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.