A new definition of SLDNF-resolution

From MaRDI portal

Revision as of 18:35, 6 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:4285644

Jump to:navigation, search

DOI10.1016/0743-1066(94)90051-5zbMath0795.68039OpenAlexW2140857706WikidataQ127482562 ScholiaQ127482562MaRDI QIDQ4285644

Krzysztof R. Apt, Kees Doets

Publication date: 18 September 1994

Published in: The Journal of Logic Programming (Search for Journal in Brave)

Full work available at URL: http://dare.uva.nl/personal/pure/en/publications/a-new-definition-of-sldnfresolution(2f57d7cb-71d4-495b-a4da-7c6a6640bf5c).html

zbMATH Keywords

SLDNF-resolution

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (5)

A declarative approach for first-order built-in's of Prolog ⋮ A Survey of the Proof-Theoretic Foundations of Logic Programming ⋮ A semantic approach for web reasoning ⋮ Making assumptions in the automated derivation ⋮ Probabilistic reasoning with answer sets

This page was built for publication: A new definition of SLDNF-resolution

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