Inproceedings,

Strong Negation in Well-Founded and Partial Stable Semantics for Logic Programs.

, , and .
IBERAMIA-SBIA, volume 4140 of Lecture Notes in Computer Science, page 592-601. Springer, (2006)

Meta data

Tags

Users

  • @dblp

Comments and Reviews