- 已选条件:
2 A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming [会议论文]
作者:Stefan Woltran
会议时间:
作者:David Pearce, Hans Tompits, Stefan Woltran
会议时间:
4 Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report [会议论文]
作者:Martin Gebser;Torsten Schaub;Hans Tompits;等
会议时间:
作者:David Pearce, Agustín Valverde
会议时间:
6 Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs [会议论文]
作者:Joohyung Lee, Ravi Palla
会议时间: