Semantics of (disjunctive) logic programs based on partial evaluation
From MaRDI portal
Publication:4700442
DOI10.1016/S0743-1066(98)10030-4zbMath0946.68088MaRDI QIDQ4700442
Publication date: 1 November 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Engineering an Incremental ASP Solver, Closed world assumption for disjunctive reasoning, Strong order equivalence, Partial equilibrium logic