TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 16.

Thielscher, Michael :
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 . Morgan Kaufmann , San Francisco, CA
[Konferenz- oder Workshop-Beitrag], (1998)

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

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

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

Thielscher, Michael :
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 . World Scientific Publ , Singapore
[Konferenz- oder Workshop-Beitrag], (1997)

Thielscher, Michael :
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
[Konferenz- oder Workshop-Beitrag], (1997)

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

Thielscher, Michael :
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 . Morgan Kaufmann , San Francisco, Calif
[Konferenz- oder Workshop-Beitrag], (1996)

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

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

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

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

Thielscher, Michael :
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 . MIT Press , Cambridge, Mass. (u.a.)
[Konferenz- oder Workshop-Beitrag], (1996)

Thielscher, Michael :
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 . Morgan Kaufmann Publ , San Francisco
[Konferenz- oder Workshop-Beitrag], (1995)

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

Thielscher, Michael :
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 . Morgan Kaufmann Publ , San Francisco
[Konferenz- oder Workshop-Beitrag], (1995)

Diese Liste wurde am Tue Sep 19 07:09:12 2017 CEST generiert.