Strong equivalence made easy: nested expressions and weight constraints
暂无分享,去创建一个
Logic programs $P$ and $Q$ are strongly equivalent if, given any program $R$, programs $P \cup R$ and $Q \cup R$ are equivalent (that is, have the same answer sets). Strong equivalence is convenien...