scientific article

zbMath1234.68247arXiv1401.3898MaRDI QIDQ3112629

Joohyung Lee, Yunsong Meng

Publication date: 12 January 2012

Full work available at URL: https://arxiv.org/abs/1401.3898

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

first-order theorylogic programstable model semanticsloop formulasdisjunctive program

Mathematics Subject Classification ID

Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Expressiveness of Logic Programs under the General Stable Model Semantics ⋮ A progression semantics for first-order logic programs ⋮ Ordered completion for first-order logic programs on finite structures ⋮ Extended RDF: computability and complexity issues ⋮ Stable models and circumscription