scientific article; zbMATH DE number 4160108

zbMATH Open0706.68030MaRDI QIDQ3486859FDOQ3486859

Authors: Ron Sigal 

Publication date: 1988

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

Recommendations

• Non-Horn clause logic programming
• Semantics of Horn and disjunctive logic programs
• scientific article; zbMATH DE number 2090546
• Proof-theoretic and higher-order extensions of logic programming
• Extending Horn clause logic with implication goals
• Publication:4944895
• scientific article; zbMATH DE number 4125378
• A declarative extension of horn clauses, and its significance for Datalog and its applications

zbMATH Keywords

constraintsnegationequalityHorn clause logicfunction definitions

Mathematics Subject Classification ID

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

Cited In (12)

• Translating propositional extended conjunctions of Horn clauses into Boolean circuits
• Title not available (Why is that?)
• Logic Based Program Synthesis and Transformation
• Mathematical Foundations of Computer Science 2005
• Title not available (Why is that?)
• Title not available (Why is that?)
• Smallest horn clause programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Extending Horn clause logic with implication goals

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