TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 16.

Thielscher, Michael (1998)
How (not) to minimize events.
Conference or Workshop Item, Bibliographie

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

Thielscher, Michael (1998)
Towards state update axioms: Reifying successor state axioms.
Conference or Workshop Item, Bibliographie

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

Thielscher, Michael (1997)
Challenges for action theories.
Conference or Workshop Item, Bibliographie

Thielscher, Michael (1997)
Qualified ramifications.
Conference or Workshop Item, Bibliographie

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

Thielscher, Michael (1996)
Causality and the qualification problem.
Conference or Workshop Item, Bibliographie

ed.: Thielscher, Michael (1996)
Fortschritte der Künstlichen Intelligenz.
Book, Bibliographie

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

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

Thielscher, Michael (1996)
What is a skeptical proof?
Conference or Workshop Item, Bibliographie

Thielscher, Michael (1996)
A nonmonotonic disputation-based semantics and proof procedure for logic programs.
Conference or Workshop Item, Bibliographie

Thielscher, Michael (1995)
Computing ramifications by postprocessing.
Conference or Workshop Item, Bibliographie

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

Thielscher, Michael (1995)
The logic of dynamic systems.
Conference or Workshop Item, Bibliographie

This list was generated on Sat Jun 15 00:47:42 2024 CEST.