• Deutsch

University Logo

  • Home
  • Search
  • Browse
  • Submit
  • Sitemap
Schließen

Refine

Has Fulltext

  • no (31)

Author

  • Linke, Thomas (31)
  • Schaub, Torsten (17)
  • Konczak, Kathrin (11)
  • Anger, Christian (8)
  • Fiehn, Oliver (2)
  • Gebser, Martin (2)
  • Neumann, Andre (2)
  • Tompits, Hans (2)
  • Woltran, Stefan (2)
  • Boesel, Andreas (1)
+ more

Year of publication

  • 2006 (1)
  • 2005 (3)
  • 2004 (4)
  • 2003 (5)
  • 2002 (4)
  • 2001 (5)
  • 2000 (2)
  • 1999 (2)
  • 1998 (2)
  • 1997 (1)
+ more

Document Type

  • Article (30)
  • Monograph/Edited Volume (1)

Language

  • English (30)
  • German (1)

Is part of the Bibliography

  • yes (31)

Institute

  • Institut für Informatik und Computational Science (30)
  • Institut für Mathematik (1)

31 search hits

  • 1 to 10
  • BibTeX
  • CSV
  • RIS
  • XML
  • 10
  • 20
  • 50
  • 100

Sort by

  • Year
  • Year
  • Title
  • Title
  • Author
  • Author
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

OPUS4 Logo  KOBV Logo  OAI Logo  DINI Zertifikat 2007  OA Netzwerk Logo

    • Institutional Repository
    • University Bibliography
    • University Library
    • Policy
    • Contact
    • Imprint
    • Privacy Policy
    • Accessibility

    Login