Logic programs, well-orderings, and forward chaining
type: Item
instance of: scholarly article
title: Logic programs, well-orderings, and forward chaining
zbMATH Open document ID: 0927.68021
DOI: 10.1016/S0168-0072(98)00041-4
author: Wiktor Marek
author: Jeffrey Remmel
author: Anil Nerode
published in: Annals of Pure and Applied Logic
publication date: 1999-06-24T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 1308103
zbMATH Keywords: propositional logic programs
zbMATH Keywords: stable submodels
MaRDI profile type: Publication
cites work: Q4385536
cites work: Contributions to the Theory of Logic Programming
cites work: Linear-time algorithms for testing the satisfiability of propositional horn formulae
cites work: A kripke-kleene semantics for logic programs*
cites work: Fixpoint semantics for logic programming a survey
cites work: Q4852889
cites work: Degrees of members of \(\Pi_ 1^ 0\) classes
cites work: ∏ 0 1 Classes and Degrees of Theories
cites work: Q3204442
cites work: Negation in logic programming
cites work: A theory of nonmonotonic rule systems I
cites work: A theory of nonmonotonic rule systems. II
cites work: The Stable Models of a Predicate Logic Program
cites work: A context for belief revision: forward chaining-normal nonmonotonic rule systems
cites work: Autoepistemic logic
cites work: Q4273952
cites work: Nonmonotonic Logic II
cites work: Non-monotonic logic. I
cites work: Q3348437
cites work: Q5750427
cites work: A logic for default reasoning
cites work: Q3959414
cites work: The well-founded semantics for general logic programs
description: scientific article; zbMATH DE number 1308103