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