Inproceedings,

A Purely Model-Theoretic Semantics for Disjunctive Logic Programs with Negation.

, , , and .
LPNMR, volume 4483 of Lecture Notes in Computer Science, page 44-57. Springer, (2007)

Meta data

Tags

Users

  • @dblp

Comments and Reviews