Inproceedings,

The Stable Model Semantics for Logic Programming

, and .
Proceedings of the Fifth Logic Programming Symposium, page 1070--1080. Cambridge, MA, (1988)

Meta data

Tags

Users

  • @ramaz
  • @vzach
  • @baisemain
  • @machinelearning
  • @dblp

Comments and Reviews