Logics in Artificial Intelligence
From MaRDI portal
Publication:5394122
DOI10.1007/b100483zbMath1111.68695MaRDI QIDQ5394122
Publication date: 25 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b100483
Related Items
Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence, Program Correspondence under the Answer-Set Semantics: The Non-ground Case, Strong order equivalence, Equilibrium logic