Regular Papers
Testing and debugging techniques for answer set solver development
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 741-758
-
- Article
- Export citation
The system Kato: Detecting cases of plagiarism for answer-set programs
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. 759-775
-
- Article
- Export citation
Front Cover (OFC, IFC) and matter
TLP volume 10 issue 4-6 Cover and Front matter
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Back Cover (IBC, OBC) and matter
TLP volume 10 issue 4-6 Cover and Back matter
-
- Published online by Cambridge University Press:
- 09 July 2010, pp. b1-b10
-
- Article
-
- You have access
- Export citation