Negation in logic programming
From MaRDI portal
Recommendations
Cited in
(80)- Dischargeable obligations in the \(\mathcal{S}\)CIFF framework
- Strict completion of logic programs
- Equivalence-preserving first-order unfold/fold transformation systems
- On inductive inference of cyclic structures
- On the autoepistemic reconstruction of logic programming
- A class of programs for which SLDNF resolution and NAF rule are complete
- Programming in three-valued logic
- A logical semantics for depth-first Prolog with ground negation
- A note on the stable model semantics for logic programs
- Three-valued nonmonotonic formalisms and semantics of logic programs
- On the bounded theories of finite trees
- The alternating fixpoint of logic programs with negation
- Implementing constructive intensional negation
- A completeness result for allowed semi-strict programs with respect to well-behaved and allowed query clauses
- Correctness and completeness of logic programs
- Formalizing a logic for logic programming
- SLDNF resolution with non-safe rule and fixpoint semantics for general logic programs
- Intuitionistic three-valued logic and logic programming
- Logic programs, well-orderings, and forward chaining
- scientific article; zbMATH DE number 3958694 (Why is no real title available?)
- A logic programming system for nonmonotonic reasoning
- A semantics for modular general logic programs
- A three-valued semantics for deductive databases and logic programs
- Nonmonotonic trust management for P2P applications
- First-order theories for pure Prolog programs with negation
- A kind of logical compilation for knowledge bases
- scientific article; zbMATH DE number 4185011 (Why is no real title available?)
- On correctness of normal logic programs
- A rewrite mechanism for logic programs with negation
- Truth versus information in logic programming
- Semantics of structured normal logic programs
- On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games
- Integration of Abductive Reasoning and Constraint Optimization in SCIFF
- Defeasible reasoning via \(\mathrm{Datalog} {}^\neg\)
- Combining explicit negation and negation by failure via Belnap's logic
- An extended constraint deductive database: theory and implementation
- The liberalized -rule in free variable semantic tableaux
- A rewrite mechanism for logic programs with negation
- Model completeness for rational trees
- Complexity and undecidability results for logic programming
- Negation-Limited Formulas.
- Constructive negation and constraint logic programming with sets
- An improved lower bound for the elementary theories of trees
- Quantifier elimination for infinite terms
- A formalised theorem in the partition calculus
- Prolegomena to logic programming for non-monotonic reasoning
- What is failure? An approach to constructive negation
- Data types over multiple-valued logics
- Well-founded and stationary models of logic programs
- Approximation Schemes in Logic and Artificial Intelligence
- Between constructive mathematics and PROLOG
- Semantic-based construction of arguments: an answer set programming approach
- Conceptual Structures at Work
- An equivalence preserving first order unfold/fold transformation system
- Decomposable theories
- Decidability of the Clark's completion semantics for monadic programs and queries
- Extending constructive logic negation with types
- The role of standardising apart in logic programming
- Transforming normal logic programs to constraint logic programs
- Negation and constraint logic programming
- A simple fixed point characterization of three-valued stable model semantics
- Negation in rule-based database languages: A survey
- Ultimate approximation and its application in nonmonotonic knowledge representation systems
- Interdefinability of defeasible logic and logic programming under the well-founded semantics
- Autoepistemic logic programming
- Logic programming and knowledge representation---The A-Prolog perspective
- A slight strengthening of a theorem of Blair and Kunen
- A transformation of propositional Prolog programs into classical logic
- A sound and complete semantics for a version of negation as failure
- The CIFF proof procedure for abductive logic programming with constraints: Theory, implementation and experiments
- Mapping deontic operators to abductive expectations
- Annotated defeasible logic
- Definite clause programs are canonical (over a suitable domain)
- Nonground abductive logic programming with probabilistic integrity constraints
- scientific article; zbMATH DE number 4180779 (Why is no real title available?)
- Is there an axiomatic semantics for standard pure Prolog?
- Fixpoint semantics for logic programming a survey
- Three-valued completion for abductive logic programs
- Négation constructive et axiomatique interne
- Complete extension of general logic programs
This page was built for publication: Negation in logic programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3802588)
