Christian Anger

According to our database, Christian Anger authored at least 9 papers between 2001 and 2006.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2006

What's a Head Without a Body?

Christian Anger, Martin Gebser, Tomi Janhunen, Torsten Schaub

Proceedings of the ECAI 2006, 17th European Conference on Artificial Intelligence, August 29, 2006

2005

A Glimpse of Answer Set Programming.

Christian Anger, Kathrin Konczak, Thomas Linke, Torsten Schaub

Künstliche Intell., 2005

The nomore++ System.

Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

The nomore++ Approach to Answer Set Solving.

Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub

Proceedings of the Logic for Programming, 2005

2004

Towards Systematic Benchmarking in Answer Set Programming: The Dagstuhl Initiative.

Paul Borchert, Christian Anger, Torsten Schaub, Miroslaw Truszczynski

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

2002

More on noMoRe.

Thomas Linke, Christian Anger, Kathrin Konczak

Proceedings of the 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), 2002

NoMoRe : Non-monotonic Reasoning with Logic Programs.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Logics in Artificial Intelligence, European Conference, 2002

2001

NoMoRe : A System for Non-Monotonic Reasoning under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2001

NoMoRe : A System for Non-monotonic Reasoning with Logic Programs under Answer Set Semantics.

Christian Anger, Kathrin Konczak, Thomas Linke

Proceedings of the Automated Reasoning, First International Joint Conference, 2001