Logic programming with strong negation

DOI10.1007/BFB0038700MaRDI QIDQ5053013zbMATH OpenOpenAlexFDO

Authors

Publication date 26 November 2022

Published in Extensions of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bfb0038700

Mathematics Subject Classification ID

Logic programming (68N17) Logic in computer science (03B70)

Recommendations

• Logic Programming with Strong Negation and Inexact Predicates
• scientific article; zbMATH DE number 9973
• From here to there: Stable negation in logic programming
• Tableaux for logic programming with strong negation
• scientific article; zbMATH DE number 3949750

Cited in

(12)

• On deductive bases for paraconsistent answer set semantics
• scientific article; zbMATH DE number 591001 (Why is no real title available?)
• Datalog with Negation and Monotonicity.
• Logic Programming with Strong Negation and Inexact Predicates
• Some properties of system descriptions of \(\mathcal{AL}_d\)
• Disjunctive logic programs, answer sets, and the cut rule
• Logic programming with default, weak and strict negations
• Logics in Artificial Intelligence
• Negation and constraint logic programming
• Tableaux for logic programming with strong negation
• scientific article; zbMATH DE number 3949750 (Why is no real title available?)
• scientific article; zbMATH DE number 845588 (Why is no real title available?)

This page was built for publication: Logic programming with strong negation

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