Abstract:Logic programming, as exemplified by datalog, defines the meaning of a program as its unique smallest model: the deductive closure of its inference rules. However, many problems call for an enumeration of models that vary along some set of choices while maintaining structural and logical constraints -- there is no single canonical model. The notion of stable models for logic programs with negation has successfully captured programmer intuition about the set of valid solutions for such problems, giving rise to a family of programming languages and associated solvers known as answer set programming. Unfortunately, the definition of a stable model is frustratingly indirect, especially in the presence of rules containing free variables. We propose a new formalism, finite-choice logic programming, that uses choice, not negation, to admit multiple solutions. Finite-choice logic programming contains all the expressive power of the stable model semantics, gives meaning to a new and useful class of programs, and enjoys a least-fixed-point interpretation over a novel domain. We present an algorithm for exploring the solution space and prove it correct with respect to our semantics. Our implementation, the Dusa logic programming language, has performance that compares favorably with state-of-the-art answer set solvers and exhibits more predictable scaling with problem size.

Logic programming with default, weak and strict negations

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

A note on the Declarative reading(s) of Logic Programming

Four-Valued semantics for default logic

A logic for default reasoning

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

Restricted Four-Valued Logic for Default Reasoning.

Syntax and semantics of multi-adjoint normal logic programming

Propositional calculus with multiple negations

Logic As Programming

Restricted Semantics for Default Reasoning.

Defeasible deontic logic: arguing about permission and obligation

A Coherent and Paraconsistent Variant of the Default Logic.

Finite-Choice Logic Programming

Enablers and Inhibitors in Causal Justifications of Logic Programs

There are (other) ways to negate in propositional team semantics

Paracomplete Logic P1 and Logic Mechanism of Tolerate Paradox

Towards logical negation for compositional distributional semantics

A Base Logic for Default Reasoning

Stable Models and an Alternative Logic Programming Paradigm

The Logic of Logic Programming