scientific article
From MaRDI portal
Publication:3624060
zbMath1182.68042arXiv1110.2738MaRDI QIDQ3624060
Publication date: 28 April 2009
Full work available at URL: https://arxiv.org/abs/1110.2738
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (12)
Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs ⋮ Characterizing causal action theories and their implementations in answer set programming ⋮ Unnamed Item ⋮ On Uniform Equivalence of Epistemic Logic Programs ⋮ Discovering theorems in game theory: two-person games with unique pure Nash equilibrium payoffs ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Solving logic program conflict through strong and weak forgettings ⋮ Computing Loops with at Most One External Support Rule for Disjunctive Logic Programs ⋮ Equivalence for the \(G_3^\prime\)-stable models semantics ⋮ Hyperequivalence of logic programs with respect to supported models ⋮ Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There
Uses Software
This page was built for publication:
