Progression Semantics for Disjunctive Logic Programs

@inproceedings{Zhou2011ProgressionSF,
  title={Progression Semantics for Disjunctive Logic Programs},
  author={Yi Zhou and Yan Zhang},
  booktitle={AAAI},
  year={2011}
}
In this paper, we extend the progression semantics for firstorder disjunctive logic programs and show that it coincides with the stable model semantics. Based on it, we further show how disjunctive answer set programming is related to Satisfiability Modulo Theories. 
7 Citations
11 References
Similar Papers

Similar Papers

Loading similar papers…