collaborators

1 paper

cs.AI2003

On the Expressibility of Stable Logic Programming

Victor W. Marek, Jeffrey B. Remmel

(We apologize for pidgin LaTeX) Schlipf \cite{sch91} proved that Stable Logic Programming (SLP) solves all decision problems. We extend Schlipf's result to prove that…