Abstract:In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate that inherent features of stable model semantics naturally lead to a logic programming system that offers an interesting alternative to more traditional logic programming styles of Horn logic programming, stratified logic programming and logic programming with well-founded semantics. The proposed approach is based on the interpretation of program clauses as constraints. In this setting, a program does not describe a single intended model, but a family of its stable models. These stable models encode solutions to the constraint satisfaction problem described by the program. Our approach imposes restrictions on the syntax of logic programs. In particular, function symbols are eliminated from the language. We argue that the resulting logic programming system is well-attuned to problems in the class NP, has a well-defined domain of applications, and an emerging methodology of programming. We point out that what makes the whole approach viable is recent progress in implementations of algorithms to compute stable models of propositional logic programs.

Complete Extensions in Argumentation Coincide with 3-Valued Stable Models in Logic Programming

Stable Models for Infinitary Formulas with Extensional Atoms

Representation Equivalences among Argumentation Frameworks.

Three-valued and four-valued approach to logic programming with negation

A Survey of the Proof-Theoretic Foundations of Logic Programming

An Argumentation-Based Framework for Extended Disjunctive Logic Programs

On Loop Formulas with Variables

Value-based Practical Reasoning: Modal Logic + Argumentation

Reciprocal Influences Between Proof Theory and Logic Programming

Credulous Argumentation with the Disjunctive Stable Semantics

On the Correspondence of Non-flat Assumption-based Argumentation and Logic Programming with Negation as Failure in the Head

Restricted Four-Valued Semantics for Answer Set Programming.

Study on the Existence of Extension Strategy

On the Relationship Between TMS and Logic Programs

Completeness of two fragments of a logic for conditional strategic reasoning

Finite Model Theory and Proof Complexity revisited: Distinguishing graphs in Choiceless Polynomial Time and the Extended Polynomial Calculus

Stable Models and an Alternative Logic Programming Paradigm

Argumentation in disjunctive logic programming

Model Theory and Closure Operators of Lattice-Valued Propositional Logic LP(X)

A Logic Framework with Algebraic Extension

A proof for completeness of Łukasiewicz logic