Defining answer classes using resolution refutation

DOI10.1016/J.JAL.2005.12.004MaRDI QIDQ881832zbMATH OpenOpenAlexFDO

Authors Debra T. Burhans, Stuart C. Shapiro

Publication date 18 May 2007

Published in Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jal.2005.12.004

zbMATH Keywords

automated deductionresolution

Mathematics Subject Classification ID

Natural language processing (68T50)

Recommendations

• The semantics of answer literals
• scientific article; zbMATH DE number 1418449
• scientific article; zbMATH DE number 1950266
• Resolution decision procedures
• Intelligent query answering in rule based systems

Cites work

• A Computing Procedure for Quantification Theory
• A Machine-Oriented Logic Based on the Resolution Principle
• Automated deduction by theory resolution
• Extracting information from resolution proof trees
• scientific article; zbMATH DE number 4022671 (Why is no real title available?)
• scientific article; zbMATH DE number 3657150 (Why is no real title available?)
• scientific article; zbMATH DE number 3664336 (Why is no real title available?)
• scientific article; zbMATH DE number 3504935 (Why is no real title available?)
• scientific article; zbMATH DE number 3537646 (Why is no real title available?)
• scientific article; zbMATH DE number 3568056 (Why is no real title available?)
• scientific article; zbMATH DE number 3380160 (Why is no real title available?)
• scientific article; zbMATH DE number 3415409 (Why is no real title available?)
• Intelligent query answering in rule based systems
• Natural deduction and arbitrary objects

Cited in

(2)

• The semantics of answer literals
• scientific article; zbMATH DE number 1950266 (Why is no real title available?)

Describes a project that uses

Uses Software

• OTTER

This page was built for publication: Defining answer classes using resolution refutation

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