scientific article; zbMATH DE number 3343519

MaRDI QIDQ5619635zbMATH OpenFDO

Authors David C. Luckham

Publication date 1970

Mathematics Subject Classification ID

Cited in

(12)

• Theorem proving with abstraction
• Unrestricted resolution versus N-resolution
• On linear resolution
• A logic for default reasoning
• A simplified problem reduction format
• Resolution graphs
• Theorem proving with variable-constrained resolution
• A semantic backward chaining proof system
• A complete semantic back chaining proof system
• Linear resolution with selection function
• Extracting information from resolution proof trees
• A Survey of the Proof-Theoretic Foundations of Logic Programming

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5619635)