Disjunctive logic programming, constructivity and strong negation

DOI10.1007/BFB0023440MaRDI QIDQ4244294zbMATH OpenFDO

Authors Heinrich Herre, David Pearce

Publication date 27 May 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Metamathematics of constructive systems (03F50) Logic programming (68N17)

Recommendations

• Logic programming with strong negation
• Relevant logic programming
• Semantics of Horn and disjunctive logic programs
• scientific article; zbMATH DE number 1215501

Cited in

(16)

• Relevant logic programming
• Theory of logic programming. An elementary introduction
• On extensions of intermediate logics by strong negation
• A necessary condition for constructive negation in constraint logic programming
• A constructive view of PROLOG
• scientific article; zbMATH DE number 1267566 (Why is no real title available?)
• Intuitionistic resolution for a logic programming language with scoping constructs
• scientific article; zbMATH DE number 2111988 (Why is no real title available?)
• Compilative constructive negation in constraint logic programs
• Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective
• On logic programming interpretations of Dislog: Programming long-distance dependencies in logic
• Logics in Artificial Intelligence
• scientific article; zbMATH DE number 5043325 (Why is no real title available?)
• Constructive negation and constraint logic programming with sets
• Parsing as non-Horn deduction
• Non-classical negation in the works of Helena Rasiowa and their impact on the theory of negation

This page was built for publication: Disjunctive logic programming, constructivity and strong negation

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