Deutsch

Thielscher, Michael (1998)
How (not) to minimize events.
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael (1998)
Reasoning about actions: Steady versus stabilizing state constraints.
In: Artificial intelligence. 104 (1998), S. 3339-3355
Artikel, Bibliographie

Thielscher, Michael (1998)
Towards state update axioms: Reifying successor state axioms.
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael (1997)
Qualified ramifications.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Thielscher, Michael (1996)
Fortschritte der Künstlichen Intelligenz.
Buch, Bibliographie

Hrsg.: Thielscher, Michael (1996)
Fortschritte der Künstlichen Intelligenz (KI 96).
Buch, Bibliographie

Thielscher, Michael (1995)
Computing ramifications by postprocessing.
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael ; Schaub, Karlheinz (1995)
Default reasoning by deductive planning.
In: Journal of automated reasoning. 15 (1995), 1, S. 1-40
Artikel, Bibliographie

Englisch

Thielscher, Michael (1997)
Challenges for action theories: solving the ramification and qualificat problem.
Habilitation, Bibliographie

Thielscher, Michael (1997)
Challenges for action theories.
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael (1997)
Ramification and causality.
In: Artificial intelligence. 89 (1997), S. 317-364
Artikel, Bibliographie

Thielscher, Michael (1996)
Causality and the qualification problem.
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael (1996)
On the completeness of SLDENF-resolution.
In: Journal of automated reasoning. 17 (1996), S. 199-214
Artikel, Bibliographie

Thielscher, Michael (1996)
What is a skeptical proof?
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael (1996)
A nonmonotonic disputation-based semantics and proof procedure for logic programs.
Konferenzveröffentlichung, Bibliographie

Thielscher, Michael (1995)
The logic of dynamic systems.
Konferenzveröffentlichung, Bibliographie