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

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 (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.
Joint International Conference and Symposium on Logic Programming (JICSLP). Bonn (02.09.1996-06.09.1996)
Konferenzveröffentlichung, Bibliographie

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