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.

Gabbay, D. ; Nossum, ; 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]

Bornscheuer, S.-E. ; 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]

Bibel, Wolfgang ; 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]

Herrmann, C. S. ; Thielscher, ; 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 ; Thielscher, ; 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]

Waal, André de ; 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]

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

This list was generated on Tue Dec 7 12:45:41 2021 CET.