publish.UP Search

31 search hits

1 to 10

Sort by

HExProSA - ein hybrides Expertensystem zur Prozeßkontrolle und Störfallanalyse von Abwasserbehandlungsanlagen : Erfahrungen bei der Evaluierung eines Prototypen (1998)

Volkmann, Gerald ; Linke, Thomas ; Waschulzik, Thomas ; Ohmes, Rick ; Schaub, Torsten ; Wischnewsky, M.

Alternative foundations for Reiter's default logic. (2000)

Linke, Thomas ; Schaub, Torsten

Putting default logics in perspective (1996)

Linke, Thomas ; Schaub, Torsten

Lemma handling in default logic theorem provers (1995)

Linke, Thomas ; Schaub, Torsten

New foundations for automation of default reasoning (2000)

Linke, Thomas

Towards a classification of default logic (1997)

Linke, Thomas ; Schaub, Torsten

An approach to query-answering in Reiter's default logic and the underlying existence of extensions problem. (1998)

Linke, Thomas ; Schaub, Torsten

On bottom-up pre-processing techniques for automated default reasoning (1999)

Linke, Thomas ; Schaub, Torsten

Default reasoning via blocking sets (1999)

Linke, Thomas ; Schaub, Torsten

The nomore++ approach to answer set solving (2005)

Anger, Christian ; Gebser, Martin ; Linke, Thomas ; Neumann, Andre ; Schaub, Torsten

1 to 10