An equational approach to logic programming

DOI10.1007/978-3-642-30743-0_19MaRDI QIDQ2900525zbMATH OpenOpenAlexFDO

Authors Dov Gabbay

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL http://orbilu.uni.lu/handle/10993/26113

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Comments on “logic programming with equations”
• Logic programming with equations
• A theory of complete logic programs with equality
• scientific article; zbMATH DE number 3958699
• What is negation as failure?

Cites work

• scientific article; zbMATH DE number 43398 (Why is no real title available?)
• A logical account of formal argumentation
• Fibring argumentation frames
• Introducing equational semantics for argumentation networks
• Logical modes of attack in argumentation networks

Cited in

(21)

• scientific article; zbMATH DE number 1255555 (Why is no real title available?)
• Equational logic as a tool
• scientific article; zbMATH DE number 1036757 (Why is no real title available?)
• Incremental constraint satisfaction for equational logic programming
• scientific article; zbMATH DE number 2242590 (Why is no real title available?)
• scientific article; zbMATH DE number 1990014 (Why is no real title available?)
• A goal-type driven method of solving Horn logic with equality
• Logic programming with equations
• scientific article; zbMATH DE number 4094872 (Why is no real title available?)
• Unification modulo an equality theory for equational logic programming
• Rewriting of imperative programs into logical equations
• scientific article; zbMATH DE number 17530 (Why is no real title available?)
• scientific article; zbMATH DE number 4164151 (Why is no real title available?)
• Translation of logic programs into functional fixpoint equations
• A rationale for conditional equational programming
• Introducing equational semantics for argumentation networks
• What is negation as failure?
• Computation of full logic programs using one-variable environments
• Programming in equational logic: Beyond strong sequentiality
• scientific article; zbMATH DE number 3958699 (Why is no real title available?)
• Theory of semi-instantiation in abstract argumentation

This page was built for publication: An equational approach to logic programming

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