79 search results - page 14 / 16 » rules 1993 |
HT
1993
ACM
14 years 19 days ago
1993
ACM
Taking the concept of a link from hypertext and adding to it the rich collection of information formats found in multimedia systems provides an extension to hypertext that is ofte...
EACL
1993
ACL Anthology
13 years 10 months ago
1993
ACL Anthology
Semantic theories of natural language associate meanings with utterances by providing meanings for lexical items and rules for determining the meaning of larger units given the me...
IJCAI
1993
13 years 10 months ago
1993
We describe a new approach to default reasoning, based on a principle of indi erence among possible worlds. We interpret default rules as extreme statistical statements, thus obta...
SLP
1993
13 years 10 months ago
1993
In this paper we describe a method of programspecialisation and give an extended example of its application to specialisation of a refutation proof procedure for rst order logic. ...
UAI
1993
13 years 10 months ago
1993
Based Abstraction and Categorization Eric J. Horvitz∗ and Adrian C. Klein Palo Alto Laboratory Rockwell International Science Center 444 High Street Palo Alto, CA 94301 We take ...