scientific article; zbMATH DE number 4180779

zbMATH Open0716.68024MaRDI QIDQ3204031FDOQ3204031

Authors: Melvin Fitting 

Publication date: 1989

Title of this publication is not available (Why is that?)

Recommendations

• A transformational approach to negation in logic programming
• Negation as inconsistency. I
• Publication:5750391
• Negation in logic programming
• Negation as instantiation

zbMATH Keywords

negationrefutationsemantic tableauxfour-valued logiclogic programming

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27)

Cited In (22)

• Negation in logic programming
• Bilattices and the semantics of logic programming
• Multi-valued logic programming semantics An algebraic approach
• Natural deduction systems for some modifications of Kleene's and Dunn-Belnap's logics
• A logic programming system for nonmonotonic reasoning
• Natural deduction for Fitting's four-valued generalizations of Kleene's logics
• Logic Programming with Strong Negation and Inexact Predicates
• Negation as failure in the head
• Title not available (Why is that?)
• Alternative evidence for nonnegativity
• Plug and Play Negations
• Negation and control in PROLOG
• Negative subgoals with free variables
• Correspondence analysis and automated proof-searching for first degree entailment
• Lower bounds for the lengths of refutations
• The value of the four values
• Logics in Artificial Intelligence
• Title not available (Why is that?)
• Paraconsistent disjunctive deductive databases
• Title not available (Why is that?)
• Natural Deduction for Four-Valued both Regular and Monotonic Logics
• Title not available (Why is that?)

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)