The nomore++ approach to answer set solving (2005)

Cached

Download Links

by Christian Anger , Martin Gebser , Thomas Linke , André Neumann , Torsten Schaub
Venue:PROCEEDINGS OF THE TWELFTH INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING
Citations:21 - 10 self