scientific article; zbMATH DE number 1292286

MaRDI QIDQ4244294zbMATH OpenFDO

Authors

Publication date 27 May 1999

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(15)

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

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 Q4244294)