scientific article; zbMATH DE number 1292286

zbMATH Open0925.68098MaRDI QIDQ4244294FDOQ4244294

Authors:

Publication date: 27 May 1999

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (15)

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

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)