Article,

Minimum model semantics for logic programs with negation-as-failure.

, and .
ACM Trans. Comput. Log., 6 (2): 441-467 (2005)

Meta data

Tags

Users

  • @dblp

Comments and Reviews