TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Springe zu: Deutsch | Englisch
Anzahl der Einträge: 7.

Deutsch

Gabbay, D. ; Nossum, ; Thielscher, (1997)
Agents in proactive environments.
Konferenzveröffentlichung, Bibliographie

Bibel, Wolfgang ; Thielscher, (1996)
Non-classical automated deduction.
In: Trends in theoretical informatics
Buchkapitel, Bibliographie

Herrmann, C. S. ; Thielscher, ; Thielscher, (1996)
Reasoning about continuous processes.
Konferenzveröffentlichung, Bibliographie

Schaub, Torsten ; Thielscher, ; Thielscher, (1996)
Skeptical- query-answering in constrained default logic.
Konferenzveröffentlichung, Bibliographie

Englisch

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
Artikel, Bibliographie

Waal, André de ; Thielscher, (1996)
Solving deductive planning problems using program analysis and transformation.
Konferenzveröffentlichung, Bibliographie

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
Artikel, Bibliographie

Diese Liste wurde am Tue Mar 26 02:26:29 2024 CET generiert.