Success and failure for hereditary Harrop formulae

DOI10.1016/0743-1066(93)90007-4zbMath0781.68037OpenAlexW2045151017MaRDI QIDQ4272507

James Harland

Publication date: 6 December 1993

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

Full work available at URL: https://doi.org/10.1016/0743-1066(93)90007-4

zbMATH Keywords

negation as failureuniform proofs

Mathematics Subject Classification ID

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

Related Items (3)

αCheck: A mechanized metatheory model checker ⋮ Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic ⋮ An extended constraint deductive database: theory and implementation

This page was built for publication: Success and failure for hereditary Harrop formulae