A Simple Distributed Conflict-Driven Answer Set Solver - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Enrico Ellguth, Martin Gebser, Markus Gusowski, Benjamin Kaufmann, Roland Kaminski, Stefan Liske, Torsten Schaub, Lars Schneidenbach, Bettina Schnor. A Simple Distributed Conflict-Driven Answer Set Solver. In Esra Erdem, Fangzhen Lin, Torsten Schaub, editors, Logic Programming and Nonmonotonic Reasoning, 10th International Conference, LPNMR 2009, Potsdam, Germany, September 14-18, 2009. Proceedings. Volume 5753 of Lecture Notes in Computer Science, pages 490-495, Springer, 2009. [doi]

This author has not been identified. Look up 'Enrico Ellguth' in GoogleThis author has not been identified. Look up 'Martin Gebser' in GoogleThis author has not been identified. Look up 'Markus Gusowski' in GoogleThis author has not been identified. Look up 'Benjamin Kaufmann' in GoogleThis author has not been identified. Look up 'Roland Kaminski' in GoogleThis author has not been identified. Look up 'Stefan Liske' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in GoogleThis author has not been identified. Look up 'Lars Schneidenbach' in GoogleThis author has not been identified. Look up 'Bettina Schnor' in Google

runs on WebDSL