An equational approach to logic programming

DOI10.1007/978-3-642-30743-0_19zbMATH Open1357.68034OpenAlexW1833814722MaRDI QIDQ2900525FDOQ2900525

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

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?

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Title not available (Why is that?)
• A logical account of formal argumentation
• Fibring argumentation frames
• Introducing Equational Semantics for Argumentation Networks
• Logical modes of attack in argumentation networks

Cited In (18)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Incremental constraint satisfaction for equational logic programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• A goal-type driven method of solving Horn logic with equality
• Logic programming with equations
• Title not available (Why is that?)
• Unification modulo an equality theory for equational logic programming
• Rewriting of imperative programs into logical equations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Translation of logic programs into functional fixpoint equations
• A rationale for conditional equational programming
• Computation of full logic programs using one-variable environments
• Programming in equational logic: Beyond strong sequentiality
• Title not available (Why is that?)
• 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)