TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 1998 | 1997 | 1996 | 1995
Anzahl der Einträge: 16.

1998

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

1997

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)
Qualified ramifications.
Konferenzveröffentlichung, Bibliographie

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

1996

Thielscher, Michael (1996)
Causality and the qualification problem.
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 (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

1995

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

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

Diese Liste wurde am Tue Mar 26 03:53:24 2024 CET generiert.