A. Verberne, F. van Harmelen, and A. ten Teije. Anytime diagnostic reasoning using approximate boolean constraint propagation. In Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'00), Boulder, Colorado, April 2000. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
A Question Answering Interpretation of Resolution Refutation - Burhans (2002) (Correct)
....our proposed question answering interpretation of resolvents has the flavor of anytime reasoning. Anytime reasoning is extremely useful when the resources available for reasoning may not permit a complete exploration of the reasoning space. Anytime reasoning is a form of approximate reasoning [Verberne et al. 2000] , where the quality of a solution may not be ideal, but is nonetheless good enough. The process of question answering shares some, but not all, of the features of approximate or anytime reasoning. As long as there is information relevant to a question in the knowledge base, it is the case that, ....
A. Verberne, F. van Harmelen, and A. ten Teije. Anytime diagnostic reasoning using approximate boolean constraint propagation. In Proceedings of the Seventh Fifth International Conference on Principles of Knowledge Representation and Reasoning (KR'00), Boulder, Colorado, April 2000.
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