Inproceedings,

Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs.

, , and .
Correct Reasoning, volume 7265 of Lecture Notes in Computer Science, page 178-194. Springer, (2012)

Meta data

Tags

Users

  • @dblp

Comments and Reviews