First Publication of Articles during 1997

97-001
Silvia Coradeschi and Lars Karlsson
A Decision Mechanism for Reactive and Cooperative Soccer-Playing Agents
[Abstract and Fulltext]

97-002
Thierry Vidal, Hélène Fargier
Contingent durations in temporal CSPs: from consistency to controllabilities
[Abstract and Fulltext]

97-003
Per-Olof Fjällström
Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputers
[Abstract and Fulltext]

97-004
Peter Jonsson
Tight Lower Bounds on the Approximability of Some NPO PB-Complete Problems
[Abstract and Fulltext]

97-005
Jörgen Andersson
Processorientering i offentlig verksamhet
[Abstract and Fulltext]

97-006
Paolo Liberatore
The Complexity of the Language A
[Abstract and Fulltext]

97-007
Per-Olof Fjällström
Batched Range Searching on a Mesh-Connected SIMD Computer
[Abstract and Fulltext]

97-008
Stefan Holmlid
User Perceptions of Effects of Training: In Search for Wualities in Use
[Abstract and Fulltext]

97-009
Mariam Kamkar (editor)
AADEBUG'97. Proceedings of the Third International Workshop on Automatic Debugging: Linköping, Sweden, May 26-27, 1997
[Abstract and Fulltext]

97-010
Liselotte Thornell och Agneta Lantz (editors)
Informationskompetens och Användarutbildning. NVBF 1996. Proceedings från Nordiska Vetenskapliga Biblioteksföreningars Förbunds Konferens: Linköping, Sverige, 19-20 november 1996
[Abstract and Fulltext]

97-011
Michael Thielscher
A Theory of Dynamic Diagnosis
[Abstract and Fulltext]

97-012
Antonis Kakas and Rob Miller
Reasoning about Actions, Narratives, and Ramification
[Abstract and Fulltext]

97-013
Wlodzimierz Drabent
A Floyd-Hoare Method for Prolog
[Abstract and Fulltext]

97-014
Lars Karlsson and Joakim Gustafsson
Reasoning about Actions in a Multi-Agent Environment
[Abstract and Fulltext]

97-015
Iakov Nakhimovski
Bucked-Based Modification of the Parallel Recursive Coordinate Bisection Algorithm
[Abstract and Fulltext]

97-016
Patrick Doherty and Jonas Kvarnström
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report
[Abstract and Fulltext]

97-017
Ling Lin
Implementing the IP-index in SHORE
[Abstract and Fulltext]

97-018
José Júlio Alferes, João A. Leite, Luís Moniz Pereira, Halina Przymusinska and Teodor Przymusinski
Dynamic Logic Programming
[Abstract and Fulltext]

97-019
Erik Sandewall.
Logic-Based Modelling of Goal-Directed Behavior
[Abstract and Fulltext]

97-020
Patrick Doherty
PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0
[Abstract and Fulltext]