Table of Contents
Finding Hypothetical Answers with a Resolution Theorem Prover
Specific (Extensional) Answers
Generic (Intensional) Answers
Hypothetical Answers
Background: Specific Answers
Background: Generic Answers
Are Specifics and Generics the Whole Story?
Original ANSWER not informative enough
A more informative ANSWER
Answers: more precisely
Classifying answer clauses - 1
Classifying answer clauses - 2
Classifying answer clauses - 3
Discussion: Specific Answers
Discussion: Generic Answers
Discussion: Generic Answers
Discussion: Generic Answers
Discussion: Hypothetical Answers
Discussion: Hypothetical Answers
A Better Characterization of Answers
A Better Characterization of Answers
A Better Characterization of Answers
Control Strategies
Criteria for prioritizing answers
Using priorities
Incorporating priorities into search strategies
Discharging Hypotheticals
Summary
Future Work
|
Author: Debra T. Burhans and Stuart C. Shapiro
|