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.
San Francisco, CA, Morgan Kaufmann, In: International Conference on Principles of Knowledge Representation and Reasoning <6, 1998, Trento>: Proceedings. A.G. Cohn (u.a.) S. 51-62, [Conference or Workshop Item]

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

Thielscher, Michael (1998):
Towards state update axioms: Reifying successor state axioms.
Berlin (u.a.), Springer, In: Logics in artificial intelligence: European Workshop: JELIA'98, Dagstuhl; Proceedings. Hrsg.: J. Dix (u.a.) S. 248-263, 1489, [Conference or Workshop Item]

Thielscher, Michael (1997):
Challenges for action theories: solving the ramification and qualificat problem.
Darmstadt: 1997. 154 S.,
Darmstadt, Technische Univ. Darmstadt, [Habilitation]

Thielscher, Michael (1997):
Challenges for action theories.
Singapore, World Scientific Publ, In: International Conference on Artificial Intelligence and Information-Control Systems of Robots <1997>: Proceedings. Hrsg.: I. Plander (u.a.) S. 133-140, [Conference or Workshop Item]

Thielscher, Michael (1997):
Qualified ramifications.
MIT Press 1997, MIT Press 1997, In: AAAI National Conference on Artificial Intelligence <15, 1997>: Proceedings. Hrsg.: B. Kuipers (u.a.) S. 466-471, [Conference or Workshop Item]

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

Thielscher, Michael (1996):
Causality and the qualification problem.
San Francisco, Calif, Morgan Kaufmann, In: International Conference on Principles of Knowledge Representation and Reasoning <5, 1996, Cambridge, Mass.>: Proceedings. Hrsg.: C. Aiello (u.a.) S. 51-62, [Conference or Workshop Item]

Thielscher, Michael (ed.) (1996):
Fortschritte der Künstlichen Intelligenz.
Dresden: Univ. Press, 1996,
Dresden, Univ. Press, [Book]

Thielscher, Michael (ed.) (1996):
Fortschritte der Künstlichen Intelligenz (KI 96).
Dresden: Univ. Press, 1996,
Dresden, Univ. Press, [Book]

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

Thielscher, Michael (1996):
What is a skeptical proof?
New York, Springer, In: Advances in Artificial Intelligence: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. Hrsg.: I. Wachsmuth (u.a.) S. 161-172, 981, [Conference or Workshop Item]

Thielscher, Michael (1996):
A nonmonotonic disputation-based semantics and proof procedure for logic programs.
Cambridge, Mass. (u.a.), MIT Press, In: Joint International Conference and Symposium on Logic Programming (JICSLP) : Proceedings. Hrsg.: M. Maher. S. 483-497, [Conference or Workshop Item]

Thielscher, Michael (1995):
Computing ramifications by postprocessing.
San Francisco, Morgan Kaufmann Publ, In: International Joint Conference on Artificial Intelligence: IJCAI '95 <14, 1995, Montreal, Canada>: Proceedings. Hrsg.: C.S. Mellish. S. 1994-2000, [Conference or Workshop Item]

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

Thielscher, Michael (1995):
The logic of dynamic systems.
San Francisco, Morgan Kaufmann Publ, In: International Joint Conference on Artificial Intelligence: IJCA '95 <14, 1995, Montreal, Canada>: Proceedings. Hrsg.: C.S. Mellish. S. 1956-1962, [Conference or Workshop Item]

This list was generated on Sat Nov 16 00:40:59 2019 CET.