Linköping University

Department of Computer and Information Science

Publication Register

Articles from AIICS during 1997-2000

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.
 

1997

001
Silvia Coradeschi, Lars Karlsson.
A Decision-Mechanism for Reactive and Cooperative Soccer-Playing Agents.
Accepted for publication in the proceedings of the 2 .
Presented at the RoboCup workshop: Soccer as a problem for Multi-Agent Systems, during the second international conference on Multi-Agent Systems (ICMAS-96)
[abstract] [postscript] [PDF] [ECP] [ALP]

019
Lars Karlsson.
Reasoning about incomplete initial information and nondeterminism in the situation calculus.
Accepted for publication in the proceedings of the 1997 .

020
Thomas Drakengren, Marcus Bjäreland.
Towards a Complete Classification of Tractability in Allen's Algebra.
Accepted for publication in the proceedings of the 1997 .
[postscript]

022
Marcus Bjäreland, Lars Karlsson.
Reasoning by Regression: Pre- and Postdiction Procedures for Logics of Actions and Change.
Accepted for publication in the proceedings of the 1997 .
[postscript]

029
Silvia Coradeschi, Lars Karlsson.
A Behavior-Based Decision-Mechanism for Agents coordinating using Roles: a Prel iminary Report..
Accepted for publication in the proceedings of the 1997 .
[postscript]

1998

005
Erik Sandewall.
Logic Based Modelling of Goal-Directed Behavior.
In Proceedings of the 6th International Conference on Principles of Knowledge Representation and Reasoning (KR-98), 1998.
[postscript]

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), 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]

105
Erik Sandewall.
The logical Characterization of Goal-Directed Behavior in the Presence of Exogenous Events Summary.
Presented at the JELIA-98 conference, 1998.

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.

242
T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.

1999

026
T. Drakengren, Marcus Bjäreland.
Expressive Reasoning about Action in Nondeterministic Polynomial Time.
Accepted for presentation at the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99) in Stockholm, August 1999.
[postscript]

038
Marcus Bjäreland.
Execution Monitor Synthesis for Hybrid Systems - Preliminary Report .
Has been accepted for presentation at the fourteenth international symposium on Intelligent Control (ISIC'99), Boston, September 1999.

055
Thomas Drakengren, Marcus Bjäreland.
Reasoning about action in polynomial time.
Accepted for publication in Artificial Intelligence Journal.

143
Marcus Bjäreland.
Recovering from modelling faults in GOLOG.
Proceedings of the IJCAI'99 Workshop: Scheduling and Planning meet Realtime Monitoring in a Dynamic and Uncertain World, Stockholm, Sweden, August 1999.

145
Marcus Bjäreland, P. Jonsson.
Exploiting bipartitenes to identify yet another tractable subclass of csp.
Proceedings of the Fifth International Conference on Principles and Practice of Constraint Programming, LNCS, Alexandria, VA, USA, 1999. Springer-Verlag.

146
Silvia Coradeschi, Lars Karlsson, K. Nordberg.
Integration of vision and decision-making in an autonomous airborne vehicle for traffic surveillance.
In H.I. Christiansen, editor, Computer Vision Systems, number 1542 in Lecture Notes in Computer Science. Springer, 1999.

147
Patrick Doherty, Joakim Gustavsson, Lars Karlsson, Jonas Kvarnström.
TAL: Temporal action logics, language specification and tutorial.
Journal of Electronic Transactions on Artificial Intelligence, 3-4, 1999.

149
Patrick Doherty, Jonas Kvarnström.
Tackling the qualification problem using fluent dependency constraints.
Journal of Computational Intelligence, 1999. Accepted for publication.

150
Patrick Doherty, Jonas Kvarnström.
TALplanner: An empirical investigation of a temporal logic-based forward chaining planner.
Proceedings of the 6th International Workshop on Temporal Representation and Reasoning (TIME'99), 1999.

151
Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
MPMA updates using dijkstra's semantics.
Proceedings of the 11th International Symposium (ISMIS-99), Warsaw, Poland. Lecture notes in Artificial Intelligence, pp. 271-281. Springer-Verlag, 1999.

152
Patrick Doherty, Witold Lukaszewicz, A. Szalas.
Declarative PTIME queries for relational databases using quantifier elimination.
Journal of Logic and Computation, 9(5):739-761, 1999.

153
Patrick Doherty, Witold Lukaszewicz, E. Madalinska-Bugaj.
Computing MPMA updates using dijkstra's semantics.
Proceedings of the 12th International Symposium on Methodologies for Intelligent Systems, 1999.

159
Lars Karlsson, Joakim Gustafsson.
Reasoning about concurrent interaction.
Journal of Logic and Computation, 1999.

180
Patrik Haslum.
Model checking by random walk.
Proceedings of the 2nd Conference on Computer Science and Systems Engineering in Linköping. Linköpings Universitet, 1999.

181
Patrik Haslum, Peter Jonsson.
Some results on the complexity of planning with incomplete information.
Proceedings 5th European Conference on Planning, 1999.

182
Peter Jonsson, Patrik Haslum, Christer Bäckström.
Towards efficient universal planning - a randomized approach.
Artificial Intellingence. To appear.

2000

029
Marcus Bjäreland, George Fodor.
Execution monitoring of industrial process controllers: an application of Ontological Control.
Accepted to the 4th Symposium on Fault Detection, Supervision and Safety for Technical Systems (SAFEPROCESS'00), June 14-16, Budapest, Hungary.

031
M. Nakamura, Chitta Baral, Marcus Bjäreland.
Maintainability: a weaker stabilizability-like notion for high-level control of agents.
Accepted for presentation at the 10th National Conference on Artificial Intellligence (AAAI 2000), in Austin, Texas, USA, August 2000.

127
Jonas Kvarnström, Patrick Doherty:.
Tackling the Qualification Problem using Dependency Constraints.
Published in Computational Intelligence, Volume 16, Number 2, pp.169-209, May 2000.

128
Patrick Doherty, Gösta Granlund, Krzysztof Kuchcinski, Erik Sandewall, K. Nordberg, Erik Skarman, Johan Wiklund.
The WITAS Unmanned Aerial Vehicle Project.
In Proceedings of the 14th European Conference on Artificial Intelligence (ECAI-00), August, Berlin, pp. ??--??.

130
Peter Jonsson, Patrik Haslum, Christer Bäström.
Towards Efficient Universal Planning -- A Randomized Approach.
Published in Artificial Intelligence 117(1):1-29, 2000.

213
Jonas Kvarnström, Patrick Doherty, Patrick Haslum.
Extending TALplanner with Concurrency and Resources.
In Proceedings of the 14th European Conference on Artificial Intelligence, (ECAI2000), August, Berlin.

214
Patrick Doherty, A. Kachniarz, Andrzej Szalas.
Meta-Queries on Deductive Databases.
Published in Fundamenta Informatica, 40(1):17-30, 1999).

2001