Homepage
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]