Partial models and logic programming

DOI10.1016/0304-3975(86)90096-4zbMATH Open0629.68090OpenAlexW1964113811MaRDI QIDQ1094151FDOQ1094151

Authors: Melvin Fitting 

Publication date: 1986

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0304-3975(86)90096-4

Recommendations

• Partial logics with two kinds of negation as a foundation for knowledge-based reasoning
• scientific article; zbMATH DE number 18533
• On partianl pseudo-stable models for logic programs
• scientific article; zbMATH DE number 549976
• The alternating fixpoint of logic programs with negation

zbMATH Keywords

negationlogic programmingpartial modelsfixed point semantics

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Many-valued logic (03B50)

Cites Work

• Outline of a Theory of Truth
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Semantics of Predicate Logic as a Programming Language
• A kripke-kleene semantics for logic programs*
• Contributions to the Theory of Logic Programming
• The Theoretical Aspects of the Optimal Fixedpoint
• Optimal fixedpoints of logic programs
• On the existence of optimal fixpoints

Cited In (21)

• A class of programs for which \(SLDNF\) resolution and \(NAF\) rule are complete
• On partianl pseudo-stable models for logic programs
• Programming in three-valued logic
• Graph properties for normal logic programs
• The alternating fixpoint of logic programs with negation
• A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses
• Partial deduction in disjunctive logic programming
• A first order logic for partial functions
• Institutions of variable truth values: An approach in the ordered style
• Title not available (Why is that?)
• On well-founded set-inductions and locally monotone operators
• A general theory of confluent rewriting systems for logic programming and its applications
• Extending Logic Programming with Labelled Variables: Model and Semantics
• Model reconciliation in logic programs
• Logic programming semantics made easy
• A theory of formal truth arithmetically equivalent to ID₁
• Tableaux for logic programming with strong negation
• Partial-predicate logic in computer science
• Equivalence in two-, three, and four-dimensional space-times
• Partial deduction for structured logic programming
• Fixpoint semantics for logic programming a survey

This page was built for publication: Partial models and logic programming

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1094151)