scientific article; zbMATH DE number 4160108

MaRDI QIDQ3486859zbMATH OpenFDO

Authors Ron Sigal

Publication date 1988

zbMATH Keywords

constraintsnegationequalityHorn clause logicfunction definitions

Mathematics Subject Classification ID

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

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

Cited in

(12)

• Translating propositional extended conjunctions of Horn clauses into Boolean circuits
• scientific article; zbMATH DE number 1482189 (Why is no real title available?)
• Logic Based Program Synthesis and Transformation
• Mathematical Foundations of Computer Science 2005
• scientific article; zbMATH DE number 1292287 (Why is no real title available?)
• scientific article; zbMATH DE number 193539 (Why is no real title available?)
• Smallest horn clause programs
• scientific article; zbMATH DE number 4125378 (Why is no real title available?)
• scientific article; zbMATH DE number 2090546 (Why is no real title available?)
• scientific article; zbMATH DE number 4137744 (Why is no real title available?)
• Extending Horn clause logic with implication goals
• scientific article; zbMATH DE number 1497833 (Why is no real title available?)

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)