The nomore++ Approach to Answer Set Solving - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Christian Anger, Martin Gebser, Thomas Linke, André Neumann, Torsten Schaub. The nomore++ Approach to Answer Set Solving. In Geoff Sutcliffe, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings. Volume 3835 of Lecture Notes in Computer Science, pages 95-109, Springer, 2005. [doi]

This author has not been identified. Look up 'Christian Anger' in GoogleThis author has not been identified. Look up 'Martin Gebser' in GoogleThis author has not been identified. Look up 'Thomas Linke' in GoogleThis author has not been identified. Look up 'André Neumann' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in Google

runs on WebDSL