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