scientific article; zbMATH DE number 4180779
From MaRDI portal
Publication:3204031
Recommendations
Cited in
(24)- Negation and control in PROLOG
- Paraconsistent disjunctive deductive databases
- The value of the four values
- Natural deduction for Fitting's four-valued generalizations of Kleene's logics
- A logic programming system for nonmonotonic reasoning
- Correspondence analysis and automated proof-searching for first degree entailment
- Plug and Play Negations
- scientific article; zbMATH DE number 3949750 (Why is no real title available?)
- Negation in logic programming
- Bilattices and the semantics of logic programming
- Logic Programming with Strong Negation and Inexact Predicates
- Negative subgoals with free variables
- Negation as failure in the head
- Lower bounds for the lengths of refutations
- scientific article; zbMATH DE number 517010 (Why is no real title available?)
- Natural Deduction for Four-Valued both Regular and Monotonic Logics
- A transformational approach to negation in logic programming
- Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
- scientific article; zbMATH DE number 7455717 (Why is no real title available?)
- Logics in Artificial Intelligence
- scientific article; zbMATH DE number 4185011 (Why is no real title available?)
- Combining explicit negation and negation by failure via Belnap's logic
- Multi-valued logic programming semantics An algebraic approach
- Alternative evidence for nonnegativity
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3204031)
