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.
In: International Conference on Principles of Knowledge Representation and Reasoning <6, 1998, Trento>: Proceedings. A.G. Cohn (u.a.) S. 51-62, San Francisco, CA: Morgan Kaufmann, 1998,
San Francisco, CA, Morgan Kaufmann, [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.
1489In: Logics in artificial intelligence: European Workshop: JELIA'98, Dagstuhl; Proceedings. Hrsg.: J. Dix (u.a.) S. 248-263, Berlin (u.a.): Springer, 1998,
Berlin (u.a.), Springer, [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.
In: International Conference on Artificial Intelligence and Information-Control Systems of Robots <1997>: Proceedings. Hrsg.: I. Plander (u.a.) S. 133-140, Singapore: World Scientific Publ., 1997,
Singapore, World Scientific Publ, [Conference or Workshop Item]

Thielscher, Michael (1997):
Qualified ramifications.
In: AAAI National Conference on Artificial Intelligence <15, 1997>: Proceedings. Hrsg.: B. Kuipers (u.a.) S. 466-471, MIT Press 1997,
MIT Press 1997, MIT Press 1997, [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.
In: International Conference on Principles of Knowledge Representation and Reasoning <5, 1996, Cambridge, Mass.>: Proceedings. Hrsg.: C. Aiello (u.a.) S. 51-62, San Francisco, Calif.: Morgan Kaufmann, 1996,
San Francisco, Calif, Morgan Kaufmann, [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?
981In: Advances in Artificial Intelligence: German Annual Conference on Artificial Intelligence <19, 1995, Bielefeld>: Proceedings. Hrsg.: I. Wachsmuth (u.a.) S. 161-172, New York: Springer, 1996,
New York, Springer, [Conference or Workshop Item]

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

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

This list was generated on Tue Oct 20 01:18:35 2020 CEST.