• 已选条件：
 全选  【符合条件的数据共：7条】

1 Untitled [会议论文]

作者:

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：1  ]    

2 A Common View on Strong, Uniform, and Other Notions of Equivalence in Answer-Set Programming [会议论文]

作者:Stefan Woltran

会议时间:

预览  |  原文链接  |  全文  [ 浏览：2 下载：2  ]    

3 Relativised Equivalence in Equilibrium Logic and its Applications to Prediction and Explanation: Preliminary Report [会议论文]

作者:David Pearce, Hans Tompits, Stefan Woltran

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

4 Alternative Characterizations for Program Equivalence under Answer-Set Semantics: Preliminary Report [会议论文]

作者:Martin Gebser;Torsten Schaub;Hans Tompits;等

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

5 Interpretability and Equivalence in Quantified Equilibrium Logic [会议论文]

作者:David Pearce, Agustín Valverde

会议时间:

预览  |  原文链接  |  全文  [ 浏览：0 下载：2  ]    

6 Yet Another Proof of the Strong Equivalence Between Propositional Theories and Logic Programs [会议论文]

作者:Joohyung Lee, Ravi Palla

会议时间:

预览  |  原文链接  |  全文  [ 浏览：1 下载：1  ]