An abductive proof procedure for conditional logic programming

DOI10.1007/3-540-61313-7_76zbMath1419.68118OpenAlexW1510047029MaRDI QIDQ4632300

M. L. Sapino, Alberto Martelli, Laura Giordano

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_76

zbMATH Keywords

operational semanticslogic programmingadmissible solutionlogic programintegrity constraint

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• N-Prolog: An extension of Prolog with hypothetical implications. I.
• Ordered Logic Programming with Sets
• Computing the acceptability semantics

This page was built for publication: An abductive proof procedure for conditional logic programming