Artikel

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

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

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

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

Buch

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

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

Konferenzveröffentlichung

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

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

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

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

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

Schaub, Torsten ; Thielscher, Michael (1996)
Skeptical- query-answering in constrained default logic.
FAPR'96. Bonn (03.06.1996-07.06.1996)
Konferenzveröffentlichung, 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.
Joint International Conference and Symposium on Logic Programming (JICSLP). Bonn (02.09.1996-06.09.1996)
Konferenzveröffentlichung, Bibliographie

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

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

Habilitation

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