Inproceedings,

Conflict, Consistency and Truth-Dependencies in Graph Representations of Answer Set Logic Programs.

, and .
GKR, volume 7205 of Lecture Notes in Computer Science, page 68-90. Springer, (2011)

Meta data

Tags

Users

  • @dblp

Comments and Reviews