Defining answer classes using resolution refutation

DOI10.1016/J.JAL.2005.12.004zbMath1116.68104OpenAlexW2144719214MaRDI QIDQ881832

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

resolutionautomated deduction

Mathematics Subject Classification ID

Natural language processing (68T50)

Uses Software

• OTTER

Cites Work

• Natural deduction and arbitrary objects
• Automated deduction by theory resolution
• Extracting information from resolution proof trees
• Intelligent query answering in rule based systems
• A Machine-Oriented Logic Based on the Resolution Principle
• A Computing Procedure for Quantification Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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