Tableau Calculi for Logic Programs under Answer Set Semantics.
Saved in:
| Title: | Tableau Calculi for Logic Programs under Answer Set Semantics. |
|---|---|
| Authors: | GEBSER, MARTIN1, fgebser@cs.uni-potsdam.de, SCHAUB, TORSTEN1, torsteng@cs.uni-potsdam.de |
| Source: | ACM Transactions on Computational Logic; Jun2013, Vol. 14 Issue 2, p1-40, 40p |
| Database: | Applied Science & Technology Source |
| ISSN: | 15293785 |
|---|---|
| DOI: | 10.1145/2480759.2480767 |
