MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Christian Anger" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • NoMoRe: Non-Monotonic Reasoning with Logic Programs  
  • by Christian Anger, Kathrin Konczak, Thomas Linke — 2002 — Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA’02
  • …NoMoRe: Non-Monotonic Reasoning with Logic Programs 1 Introduction Christian Anger, Kathrin…
  • Cited by 9 (6 self) – Add To MetaCart
  • More on noMoRe  
  • by Thomas Linke, Christian Anger, Kathrin Konczak — 2002 — Proceedings of the Eighth European Conference on Logics in Artificial Intelligence (JELIA’02), Lecture Notes in Artificial Intelligence
  • …More onnoMoRe Thomas Linke, Christian Anger, and Kathrin Konczak Universität Potsdam, Institut für…
  • Cited by 6 (4 self) – Add To MetaCart
  • Approaching the core of unfounded sets  
  • by Christian Anger, Martin Gebser, Torsten Schaub — 2006 — Proceedings of the International Workshop on Nonmonotonic Reasoning
  • …Approaching the Core of Unfounded Sets Christian Anger and Martin Gebser and Torsten Schaub…
  • Cited by 9 (6 self) – Add To MetaCart
  • The nomore++ system  
  • by Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub — 2005 — 8 th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'05), 3662 : 422-426. LNAI
  • …The nomore++ System Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub…
  • Cited by 2 (1 self) – Add To MetaCart
  • T.: The nomore++ approach to answer set solving  
  • by Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub — 2005 — Proceedings of the Twelfth International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
  • …The nomore++ approach to answer set solving Christian Anger, Martin Gebser, Thomas Linke, André…
  • Cited by 9 (7 self) – Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB