DMCA

Tableau calculi for answer set programming (2006)

Cached

Download Links

by Martin Gebser , Torsten Schaub
Venue:PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING (ICLP’06
Citations:23 - 6 self