Index of Technical Reports

(there is also a list with abstracts)

2000

The Fluent Calculus: A Specification Language for Robots with Sensors in Nondeterministic, Concurrent, and Ramifying Environments (CL-2000-01)

1998

Event Minimization with the Fluent Calculus (TUD-FI-98-11)
Disputation Theory Applied to Disjunctive Logic Programs (TUD-FI-98-06)

1996

Qualification and Causality (ICSI TR-96-026)
Explicit and Implicit Indeterminism: Reasoning About Uncertain and Contradictory Specifications of Dynamic Systems (ICSI TR-96-009)
On a Nonmonotonic Disputation-Based Semantics and Proof Procedure for Logic Programs (AIDA-96-09)
On Reasoning About Continuous Processes (AIDA-96-04)
Ramification and Causality (ICSI TR-96-003)

1995

Computing Ramifications by Postprocessing (AIDA-95-01)

1994

The Logic of Dynamic Systems (AIDA-94-14)
Default Reasoning by Deductive Planning (AIDA-94-13)
On the Completeness of SLDENF-Resolution (AIDA-94-08)
Disjunction in Resource-Oriented Deductive Planning (AIDA-94-03)

1993

Modelling theories of actions by Equational Logic Programs (AIDA-93-18)

1992

AC1-Unifikation in der linearen logischen Programmierung (TASSO 42)

1991

Prognostizieren im Poole'schen Ansatz - Arbeiten mit THEORIST (TASSO 18)
```
 
```
Generated by Michael Thielscher