Christian Anger

11 papers A 2B 6Journal 1Unranked 2
YearRankTypeTitle / Venue / Authors
2006 A conf
What's a Head Without a Body?
ECAI
Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub
2005 J jnl
A Glimpse of Answer Set Programming.
Künstliche Intell.
Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub
2005 — conf
The nomore++ Approach to Answer Set Solving.
Answer Set Programming
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
The nomore++ Approach to Answer Set Solving.
LPAR
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2005 B conf
The nomore++ System.
LPNMR
Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub
2004 B conf
Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.
LPNMR
Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski
2002 B conf
More on noMoRe.
JELIA
Thomas Linke, Christian Anger, Kathrin Konczak
2002 — conf
More on noMoRe.
NMR
Thomas Linke, Christian Anger, Kathrin Konczak
2002 B conf
NoMoRe : Non-monotonic Reasoning with Logic Programs.
JELIA
Christian Anger, Kathrin Konczak, Thomas Linke
2001 B conf
NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.
LPNMR
Christian Anger, Kathrin Konczak, Thomas Linke
2001 A conf
NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.
IJCAR
Christian Anger, Kathrin Konczak, Thomas Linke