Sciweavers

AAAI
1990
13 years 11 months ago
Skolem Functions and Equality in Automated Deduction
We present a strategy for restricting the application of the inference rule paramodulation. The strategy applies to problems in first-order logic with equality and is designed to ...
William McCune
AAAI
1990
13 years 11 months ago
On the Role of Coherence in Abductive Explanation
Abduction is an important inference process underlying much of human intelligent activities, including text understanding, plan recognition, disease diagnosis, and physical device...
Hwee Tou Ng, Raymond J. Mooney
AAAI
1992
13 years 11 months ago
A Belief-Function Logic
Alessandro Saffiotti
AAAI
1992
13 years 11 months ago
Classifying Texts Using Relevancy Signatures
Ellen Riloff, Wendy G. Lehnert
AAAI
1992
13 years 11 months ago
Automatic Abduction of Qualitative Models
Bradley L. Richards, Ina Kraan, Benjamin Kuipers
AAAI
1990
13 years 11 months ago
Parsing a Natural Language Using Mutual Information Statistics
The purpose of this paper is to characterize a constituent boundary parsing algorithm, using an information-theoretic measure called generalized mutual information, which serves a...
David M. Magerman, Mitchell P. Marcus
AAAI
1990
13 years 11 months ago
Avoiding Unwanted Conversational Implicatures in Text and Graphics
We have developed two systems, FN and ANDD, that use natural language and graphical displays, respectively, to communicate information about objects to human users. Both systems m...
Joseph Marks, Ehud Reiter
AAAI
1990
13 years 11 months ago
Shifting Ontological Perspectives in Reasoning About Physical Systems
Commitment to an ontological perspective is a primary aspect of reasoning about the physical world. For complex analytic tasks, the ability to switch between different ontologies ...
Zheng-Yang Liu, Arthur M. Farley
AAAI
1992
13 years 11 months ago
How Long Will It Take?
Ron Musick, Stuart J. Russell