On the completeness of SLDENF-resolution

From MaRDI portal

Publication:1815857

Jump to:navigation, search

DOI10.1007/BF00244496zbMath0855.68018MaRDI QIDQ1815857

Michael Thielscher

Publication date: 27 January 1997

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

zbMATH Keywords

logic programs negation-as-failure SLDE-resolution SLDENF-resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Ramification and causality

This page was built for publication: On the completeness of SLDENF-resolution

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1815857&oldid=30832194"