Debra Thomas Burhans  Home/Search
Context
Related
| buffalo.edu/~burhans/debra.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: buffalo.edu/~burhans/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: xii 1 (Update)
Similar documents based on text: More All
0.2: Research Statement - Burhans (Correct)
0.2: SIMBA: Belief Ascription by Way of Simulative Reasoning - Chalupsky (1996) (Correct)
0.2: Quasi-Indexicals And Knowledge Reports - Rapaport, Shapiro, al. (1997) (Correct)
BibTeX entry: (Update)
@techreport{ burhans02question,
author = "Debra T. Burhans",
title = "A Question Answering Interpretation of Resolution Refutation",
number = "2002-03",
month = "31",
year = "2002",
url = "citeseer.ist.psu.edu/burhans02question.html" }
Citations (may not include all citations):858 The stable model semantics for logic programming - Gelfond, Lifschitz - 1988
759 Negation as failure (context) - Clark - 1978
634 A machine-oriented logic based on the resolution principle (context) - Robinson - 1965
459 A computing procedure for quantification theory (context) - Davis, Putnam - 1960
440 The Art of Prolog (context) - Sterling, Shapiro - 1999
374 Classical negation in logic programs and disjunctive databas.. - Gelfond, Lifschitz - 1991
337 Logic and Conversation (context) - Grice - 1975
309 Symbolic Logic and Mechanical Theorem Proving (context) - Chang, Lee - 1973
295 On closed world data bases (context) - Reiter - 1978
286 Interpretation as abduction - Hobbs, Stickel et al. - 1993
278 Natural Language Understanding (context) - Allen - 1995
274 Situations and Attitudes (context) - Barwise, Perry - 1983
217 Artificial Intelligence (context) - Rich, Knight - 1991
186 Automated Theorem Proving: A Logical Basis (context) - Loveland - 1978
163 Applications of theorem proving to problem solving (context) - Green - 1969
[Article contains additional citations not shown here]
Documents on the same site (http://www.cs.buffalo.edu/~burhans/):
Research Statement - Burhans (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC