Linköping University Electronic Press - 1997

Series Computer and Information Science

f-cis.linep.se-97-001
Silvia Coradeschi and Lars Karlsson:
A Decision Mechanism for Reactive and Cooperative Soccer-Playing Agents.

f-cis.linep.se-97-002
Thierry Vidal and Hélène Fargier:
Contingent durations in temporal CSPs: from consistency to controllabilities.

f-cis.linep.se-97-003
Per-Olof Fjällström:
Parallel Algorithms for Batched Range Searching on Coarse-Grained Multicomputers.

f-cis.linep.se-97-004
Peter Jonsson:
Tight Lower Bounds on the Approximability of Some NPO PB-Complete Problems.

f-cis.linep.se-97-005
Jörgen Andersson:
Processorientering i offentlig verksamhet.

f-cis.linep.se-97-006
Paolo Liberatore:
The Complexity of the Language A.

f-cis.linep.se-97-007
Per-Olof Fjällström:
Batched Range Searching on a Mesh-Connected SIMD Computer.

f-cis.linep.se-97-008
Stefan Holmlid:
User perceptions of effects of training: In search for qualities in use.

f-cis.linep.se-97-009
Mariam Kamkar:
Proceedings of the 3'rd International Workshop on Automatic Debugging, 1997 (AADEBUG-97).

f-cis.linep.se-97-009-00
Mariam Kamkar:
Preface (with proceedings front matter).

f-cis.linep.se-97-009-01
Vijay K. Garg:
Observation and Control for Debugging Distributed Computations.

f-cis.linep.se-97-009-02
Richard W.M. Jones:
Backwards-Compatible Bounds Checking for Arrays and Pointers in C Programs.

f-cis.linep.se-97-009-03
Kim Elms:
Debugging Optimised Code Using Function Interpretation.

f-cis.linep.se-97-009-04
Mikhail Auguston:
Assertions for Dynamic Shape Analysis of List Data Structures.

f-cis.linep.se-97-009-05
Bogdan Korel:
Application of Dynamic Slicing in Program Debugging.

f-cis.linep.se-97-009-06
Yoga Sivagurunathan:
Slicing, I/O and the Implicit State.

f-cis.linep.se-97-009-07
David Byers:
The Design of a Test Case Definition Language.

f-cis.linep.se-97-009-08
Adele E. Howe:
Modeling Intelligent System Execution as State Transition Diagrams to Support Debugging.

f-cis.linep.se-97-009-09
Sarah Mallet:
DDB Trees: A Basis for Deductive Database Explanations.

f-cis.linep.se-97-009-10
Massimo Fabris:
Constraint Programs Debugging: Current Activities Inside the DiSCiPl Esprit Program.

f-cis.linep.se-97-009-11
Johan Boye:
Declarative Diagnosis of Contraint Programs: An Assertion-Based Approach.

f-cis.linep.se-97-009-12
Gérard Ferrand:
Positive And Negative Diagnosis for Constraint Logic Programs in Terms of Proof Skeletons.

f-cis.linep.se-97-009-13
F. Bueno:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs.

f-cis.linep.se-97-009-14
Simon P. Booth:
Walk Backwards to Happiness -- Debugging by Time Travel.

f-cis.linep.se-97-009-15
Thomas Gross:
Bisection Debugging.

f-cis.linep.se-97-009-16
David Byers:
A Hybrid Approach to Propagation Analysis.

f-cis.linep.se-97-011
Michael Thielscher:
A Theory of Dynamic Diagnosis.

f-cis.linep.se-97-012
Antonis Kakas and Rob Miller:
Reasoning about Actions, Narratives and Ramification.

f-cis.linep.se-97-013
Wlodzimierz Drabent:
A Floyd-Hoare Method for Prolog.

f-cis.linep.se-97-014
Lars Karlsson and Joakim Gustafsson:
Reasoning about actions in a multi-agent environment.

f-cis.linep.se-97-015
Iakov Nakhimovski:
Bucked-Based Modification of the Parallel Recursive Coordinate Bisection Algorithm.

f-cis.linep.se-97-016
Patrick Doherty and Jonas Kvarnström:
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report.

f-cis.linep.se-97-017
Ling Lin:
Implementing the IP-index in SHORE.

f-cis.linep.se-97-018
José Júlio Alferes, João Alexandre Leite, Luís Moniz Pereira, Halina Przymusinska, and Teodor Przymusinski:
Dynamic Logic Programming.

f-cis.linep.se-97-019
Erik Sandewall:
Logic-Based Modelling of Goal-Directed Behavior.

f-cis.linep.se-97-020
Patrick Doherty:
PMON+: A Fluent Logic for Action and Change: Formal Specification, Version 1.0.

12-Sep-97 01:03