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]