First Publication of Articles during 1998

98-001
Patrick Doherty and Joakim Gustafsson
Delayed Effects of Actions = Direct Effects + Causal Rules
[Abstract and Fulltext]

98-003
Birgitta Svensson, Toomas Timpka, Niklas Hallberg, Marlene Carlsson, Mikael Johansson, Vivian Vimarlund, and Ivan Nilsson
Elektroniskt arbetsstöd för arbetsterapeuter
[Abstract and Fulltext]

98-004
Ling Lin
Study of Supporting Sequences in DBMSs - Data Model, Query Language, and Storage Management
[Abstract and Fulltext]

98-005
Michael Beetz and Henrik Grosskreutz.
Causal Models of Mobile Service Robot Behavior
[Abstract and Fulltext]

98-006
Per-Olof Fjällström
Parallel Algorithms for Searching Monotone Matrices on Coarse Grained Multicomputers
[Abstract and Fulltext]

98-007
Marc Denecker, Daniele Theseider Dupré, and Kristof Van Belleghem.
An Inductive Definition Approach to Ramifications
[Abstract and Fulltext]

98-008
David Poole
Decision Theory, the Situation Calculus and Conditional Plans
[Abstract and Fulltext]

98-009
Chitta Baral and Son Cao Tran.
Relating Theories of Actions and Reactive Control
[Abstract and Fulltext]

98-010
Per-Olof Fjällström
Algorithms for Graph Partitioning: A Survey
[Abstract and Fulltext]

98-011
Graham White
Simulation, Ramification, and Linear Logic
[Abstract and Fulltext]

98-012
Graham White
Actions, Ramification and Linear Modalities
[Abstract and Fulltext]

98-013
Laurent Chaudron and Nicolas Maille.
1st Order Logic Formal Concept Analysis: From Logic Programming to Theory
[Abstract and Fulltext]

98-014
Michael Thielscher
Introduction to the Fluent Calculus
[Abstract and Fulltext]

98-015
Patrick Doherty, Joakim Gustafsson, Lars Karlsson, and Jonas Kvarnström.
TAL: Temporal Action Logics Language <> Specification and Tutorial
[Abstract and Fulltext]

98-016
Michael Gelfond and Vladimir Lifschitz.
Action Languages
[Abstract and Fulltext]

98-017
Erik Sandewall.
Cognitive Robotics Logic and its Metatheory: Features and Fluents Revisited
[Abstract and Fulltext]

98-018
Hector Levesque, Fiora Pirri, and Ray Reiter.
Foundations for the Situation Calculus
[Abstract and Fulltext]

98-019
Silvio Brandani
Multi-database Access from Amos II using ODBC
[Abstract and Fulltext]

98-020
Gyöngyi Szilágyi, Tibor Gyimóthy, and Jan Maluszynski.
Slicing of Constraint Logic Programs
[Abstract and Fulltext]

98-021
Iliano Cervesato, Massimo Franceschet, and Angelo Montanari
The Complexity of Model Checking in Modal Event Calculi with Quantifiers
[Abstract and Fulltext]