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 Marina De Vos, Alessandro Provetti, editors, Answer Set Programming, Advances in Theory and Implementation, Proceedings of the 3rd Intl. ASP 05 Workshop, Bath, UK, September 27-29, 2005. Volume 142 of CEUR Workshop Proceedings, CEUR-WS.org, 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