Dokument-ID Dokumenttyp Verfasser/Autoren Herausgeber Haupttitel Abstract Auflage Verlagsort Verlag Erscheinungsjahr Seitenzahl Schriftenreihe Titel Schriftenreihe Bandzahl ISBN Quelle der Hochschulschrift Konferenzname Quelle:Titel Quelle:Jahrgang Quelle:Heftnummer Quelle:Erste Seite Quelle:Letzte Seite URN DOI Abteilungen OPUS4-11925 Wissenschaftlicher Artikel Anger, Christian; Gebser, Martin; Schaub, Torsten H. Approaching the core of unfounded sets 2006 Institut für Informatik und Computational Science OPUS4-12210 Wissenschaftlicher Artikel Anger, Christian; Gebser, Martin; Janhunen, Tomi; Schaub, Torsten H. What's a head without a body? 2006 Institut für Informatik und Computational Science OPUS4-12845 Wissenschaftlicher Artikel Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, Andre; Schaub, Torsten H. The nomore++ approach to answer set solving 2005 Institut für Informatik und Computational Science OPUS4-13273 Wissenschaftlicher Artikel Anger, Christian; Gebser, Martin; Linke, Thomas; Neumann, Andre; Schaub, Torsten H. The nomore++ approach to answer set solving 2005 Institut für Informatik und Computational Science OPUS4-13276 Wissenschaftlicher Artikel Anger, Christian; Konczak, Kathrin; Linke, Thomas; Schaub, Torsten H. A Glimpse of Answer Set Programming 2005 Institut für Informatik und Computational Science OPUS4-13997 Wissenschaftlicher Artikel Borchert, P.; Anger, Christian; Schaub, Torsten H.; Truszczynski, M. Towards systematic benchmarking in answer set programming : the dagstuhl initiative 2004 3-540- 20721-x Institut für Informatik und Computational Science OPUS4-16959 Wissenschaftlicher Artikel Anger, Christian; Konczak, Kathrin; Linke, Thomas NoMoRe: A system for non-monotonic reasoning with logic programs under answer set semantics 2002 3-540-42254-4 Institut für Informatik und Computational Science OPUS4-16939 Wissenschaftlicher Artikel Linke, Thomas; Anger, Christian; Konczak, Kathrin More on nomore 2002 3-540-44190-5 Institut für Informatik und Computational Science OPUS4-17409 Wissenschaftlicher Artikel Anger, Christian; Konczak, Kathrin; Linke, Thomas NoMoRe: Non-monotonic reasoning with logic programs 2002 3-540-44190-5 Institut für Informatik und Computational Science OPUS4-17440 Wissenschaftlicher Artikel Linke, Thomas; Anger, Christian; Konczak, Kathrin More on nomore 2002 Institut für Informatik und Computational Science OPUS4-18368 Wissenschaftlicher Artikel Anger, Christian; Konczak, Kathrin; Linke, Thomas A system for non-monotonic reasoning under answer set semantics 2001 3-540-42593-4 Institut für Informatik und Computational Science