Linköping University

Department of Computer and Information Science

Publication Register

Articles reported during 1998
as published or accepted for publication

Subset: articles originating in KPLAB during 1998


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.

006
Lars Karlsson.
Anything Can Happen: on narratives and hypothetical reasoning.
In the Proceedings of the Sixth International Conference on Principles o f Knowledge Representation and Reasoning (KR'98), 2-5 June 1998, Trento, Ital y.

015
Marcus Bjäreland, George Fodor.
Ontological Control.
Printed in Working Papers of the Ninth International Workshop on Principles of Diagnosis (Dx98), Sea Crest Resort, N. Falmouth, MA, USA, May 1998.
[postscript]

019
Lars Karlsson, Joakim Gustafsson, Patrick Doherty.
Delayed Effects of Actions.
In the Proceedings of the 13th European Conference on Artificial Intelligence (ECAI-98), Brighton, August 23-28, 1998.
[postscript]

022
Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constrains: Preliminary report.
In the Proceedings of the 5th International Workshop on Temporal Representation and Reasoning (TIME-98), pp. 97-104, 1998.
[postscript]

023
Patrick Doherty, Witold Lukaszewicz, E Madalinska-Bugaj.
The PMA and relativizing change for action update.
In the Proceeding of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998.
[postscript]

024
J-J Ch Meyer, Patrick Doherty.
Preferential action semantics (preliminary report).
In the Proceedings of the 1st MODELAGE Workshop, Lecture Notes in Artificial Intelligence. Springer, 1998.

027
Silvia Coradeschi, Klas Nordberg, Lars Karlsson.
Integration of vision and reasoning in an airborne autonomous vehicle for traffic surveillance.
Accepted for publication in Dagstuhl-Seminar-Report; 196, Germany, December 8-12, 1997.

033
Silvia Coradeschi, Lars Karlsson.
A behaviour-based approach to reactivity and coordination: a preliminary report.
Published in Intelligent Agents, vol. IV, Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 1998.
[postscript]

034
Silvia Coradeschi, Lars Karlsson.
A roled-based decision-mechanism for teams of reactive and coordinating agents.
Printed in Proceedings of the RoboCup-97: The First Robot World Cup Soccer Games and Conferences, Springer Verlag Lecture Notes in Artificial Intelligence (LNAI), 1998.
[postscript]

139
Lars Karlsson, Joakim Gustafsson.
Reasoning about Concurrent Interaction.
Accepted for publication in Journal of Logic and Computation.

142
Lars Karlsson, Joakim Gustafsson.
Reasoning about Concurrent Interaction.
Accepted for publication in Journal of Logic and Computation, 1998.

146
Marcus Bjäreland.
Golog and ontological control - model faults in a modelbased programming language: Detection, classification, and recovery.
To be submitted to IJCAI'99.

147
Marcus Bjäreland, Patrik Haslum.
Stability, stabilizability, and golog.
To be submitted to IJCAI'99.

148
Patrick Doherty, Jonas Kvarnström.
TALPLAN, A temporal logic based approach to planning: Preliminary report.
Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

151
Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted in proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, Nagoya, Japan, 1997.

154
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
General domain circumscription and its effective reductions.
Published in Fundamenta Informaticae, 34:1-33, 1998.

155
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries to relational databases.
Accepted for publication in Journal of Logic and Computation, 1998.

156
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Computing circumscription revisited: A reduction algorith.
Accepted for publication in Journal of Automated Reasoning, 18:297-336, 1997.

207
Patrick Doherty, Joakim Gustafsson, Lars Karlsson, Jonas Kvarnström.
TAL:Temporal action logics, language specification and tutorial.
Submited for publication in Linköping Electronic Articles in Computer and Information Science, 3(15), September 30, 1998, Submitted to Electronic Transactions on Artificial Intelligence. http://www.ep.liu.se/ea/cis/1998/015/.

208
Patrick Doherty, Jonas Kvarnström.
TALPLAN, A Narrative Temporal Logic Based Forward Chaining Planner.
Submitted to IJCAI'99.

209
Patrick Doherty, Jonas Kvarnström.
TALplanner: An Empirical Investigation of a Temporal Logic-Based Forward Chaining Planner.
Submitted to the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

210
Marcus Bjäreland, Patrik Haslum.
Stable Situation Calculus Theories and Stabilizing GOLOG Programs.
Submitted to IJCAI'99.

211
Marcus Bjäreland.
Recovering from Modeling Faults in GOLOG.
Submitted to IJCAI'99.

212
T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Submitted to IJCAI'99.

213
Joakim Gustafsson.
Reasoning about Action and Change Object Orientedly.
Submitted to IJCAI'99.


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.