An Equational Approach to Logic Programming

DOI10.1007/978-3-642-30743-0_19zbMath1357.68034OpenAlexW1833814722MaRDI QIDQ2900525

Dov M. 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)

Related Items (1)

Theory of semi-instantiation in abstract argumentation

Cites Work

• Unnamed Item
• Logical modes of attack in argumentation networks
• Fibring argumentation frames
• A logical account of formal argumentation
• Introducing Equational Semantics for Argumentation Networks

This page was built for publication: An Equational Approach to Logic Programming