The alternating fixpoint of logic programs with negation
From MaRDI portal
Recommendations
Cites work
- A kripke-kleene semantics for logic programs*
- A procedural semantics for well-founded negation in logic programs
- A rational reconstruction of nonmonotonic truth maintenance systems
- Autoepistemic logic
- Contributions to the Theory of Logic Programming
- Elementary induction on abstract structures
- Fixed-point extensions of first-order logic
- Formalizing a logic for logic programming
- Horn clause queries and generalizations
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 4199656 (Why is no real title available?)
- scientific article; zbMATH DE number 4147465 (Why is no real title available?)
- scientific article; zbMATH DE number 4155872 (Why is no real title available?)
- scientific article; zbMATH DE number 4158607 (Why is no real title available?)
- scientific article; zbMATH DE number 3664336 (Why is no real title available?)
- scientific article; zbMATH DE number 18533 (Why is no real title available?)
- scientific article; zbMATH DE number 4185010 (Why is no real title available?)
- scientific article; zbMATH DE number 4185011 (Why is no real title available?)
- Inductive definitions over finite structures
- Making prolog more expressive
- Negation as failure using tight derivations for general logic programs
- Negation as failure. II
- Negation by default and unstratifiable logic programs
- Negation in logic programming
- Reasoning with knowledge and belief
- Relational queries computable in polynomial time
- Semantical considerations on nonmonotonic logic
- Structure and complexity of relational queries
- The Semantics of Predicate Logic as a Programming Language
- The well-founded semantics for general logic programs
- Why not negation by fixpoint?
Cited in
(39)- Inductive situation calculus
- Partial models and logic programming
- Why not negation by fixpoint?
- Soundness of abductive proof procedure with respect to constraint for non-ground abducibles
- Well-founded semantics and stratification for ordered logic programs
- Stratified least fixpoint logic
- Games and total Datalog\(^{\lnot}\) queries
- A connection between the Cantor-Bendixson derivative and the well-founded semantics of finite logic programs
- Logical-epistemic foundations of general game descriptions
- Recursive rules with aggregation: a simple unified semantics
- A fixed point theorem for non-monotonic functions
- Semi-equilibrium models for paracoherent answer set programs
- A new approach to hybrid probabilistic logic programs
- scientific article; zbMATH DE number 1696794 (Why is no real title available?)
- scientific article; zbMATH DE number 1696828 (Why is no real title available?)
- Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
- Approximation Fixpoint Theory and the Semantics of Logic and Answers Set Programs
- Equational properties of stratified least fixed points (extended abstract)
- scientific article; zbMATH DE number 4018389 (Why is no real title available?)
- Characterising and explaining inconsistency in logic programs
- Integrating Inductive Definitions in SAT
- SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions
- Alternation and the computational complexity of logic programs
- On the equivalence of semantics for normal logic programs
- Well-founded operators for normal hybrid MKNF knowledge bases
- scientific article; zbMATH DE number 2085280 (Why is no real title available?)
- Datalog queries distributing over components
- Detection and exploitation of functional dependencies for model generation
- Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic
- The limits of fixed-order computation
- A sound and complete procedure for a general logic program in non-floundering derivations with respect to the 3-valued stable model semantics
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- FO(ID) as an extension of DL with rules
- Transformation-based bottom-up computation of the well-founded model
- Iterative belief revision in extended logic programming
- Contributions to the stable model semantics of logic programs with negation
- Monotonic aggregation in deductive databases
- On the foundations of grounding in answer set programming
- Logic programming as classical inference
This page was built for publication: The alternating fixpoint of logic programs with negation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q686646)
