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: 7.


Bornscheuer, S.-E. and Thielscher, (1997):
Explicit and implicit indeterminism: reasoning about uncertain and contradictory specifications of dynamic systems.
In: Journal of logic programming. 31 (1997), S. 119-155, [Article]

Hölldobler, S. and Thielscher, (1995):
Computing change and specifity with equational logic programs.
In: Annals of mathematics and artificial intelligence. 14 (1995), S. 99-133, [Article]

Book Section

Bibel, Wolfgang and Thielscher, (1996):
Non-classical automated deduction.
In: Trends in theoretical informatics. Hrsg.: R. Albrecht (u.a.) - München: Oldenbourg, 1996. S. 39-59, München, Oldenbourg, [Book Section]

Conference or Workshop Item

Gabbay, D. and Nossum, and Thielscher, (1997):
Agents in proactive environments.
In: German Annual Conference on Artificial Intelligence <21, 1997, Freiburg>: Proceedings. Hrsg.: G. Brewka (u.a.) S. 389-392, 1303, Berlin, Heidelberg (u.a.): Springer, 1997, Berlin, Heidelberg (u.a.), Springer, [Conference or Workshop Item]

Herrmann, C. S. and Thielscher, and Thielscher, (1996):
Reasoning about continuous processes.
In: AAAI National Conference on Artificial Intelligence <1996, Portland, OR>: Proceedings. Hrsg.: B. Clancey (u.a.) S. 639-644, Cambridge, Mass. (u.a.): MIT Press, 1996, Cambridge, Mass. (u.a.), MIT Press, [Conference or Workshop Item]

Schaub, Torsten and Thielscher, and Thielscher, (1996):
Skeptical- query-answering in constrained default logic.
In: International Conference on Formal and Applied Practical Reasoning (FAPR'96): Proceedings. Hrsg.: D.M. Gabbay. S. 567-581, 1085, Berlin (u.a.): Springer, 1996, Berlin (u.a.), Springer, [Conference or Workshop Item]

De Waal, André and Thielscher, (1996):
Solving deductive planning problems using program analysis and transformation.
In: International Workshop on Logic Program Synthesis and Transformation <5, 1995, Utrecht>: Proceedings. Hrsg.: M. Proietti., 1048, New York: Springer, 1996, New York, Springer, [Conference or Workshop Item]

This list was generated on Sat Dec 5 02:03:06 2020 CET.