This paper focuses on the expressive power of disjunctive and normal logic programs under the stable model semantics over finite, infinite, or ...
確定! 回上一頁