Formalizing a logic for logic programming
type: Item
instance of: scholarly article
title: Formalizing a logic for logic programming
zbMATH Open document ID: 0998.68514
DOI: 10.1007/BF01543479
author: John S. Schlipf
published in: Annals of Mathematics and Artificial Intelligence
publication date: 1997-05-13T00:00:00Z
Mathematics Subject Classification ID: 68N17
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 1005846
MaRDI profile type: Publication
cites work: Contributions to the Theory of Logic Programming
cites work: A kripke-kleene semantics for logic programs*
cites work: Why not negation by fixpoint?
cites work: Negation in logic programming
cites work: Q3478001
cites work: Autoepistemic logic
cites work: Q3348437
cites work: A procedural semantics for well-founded negation in logic programs
cites work: Negation as failure. II
cites work: The Semantics of Predicate Logic as a Programming Language
cites work: Q3348436
cites work: The well-founded semantics for general logic programs
full work available at URL: https://doi.org/10.1007/bf01543479
OpenAlex ID: W2000740920
description: scientific article; zbMATH DE number 1005846