1746 search results - page 258 / 350 » A Constructive Semantics for ALC |
147
Voted
ESWS
2005
Springer
15 years 6 months ago
2005
Springer
While classic information retrieval methods return whole documents as a result of a query, many information demands would be better satisfied by fine-grain access inside the docu...
122
Voted
PASTE
1999
ACM
15 years 5 months ago
1999
ACM
The principal control-flow abstraction mechanism in the Cobol language is the PERFORM statement. Normally, PERFORM statements are used in a straightforward manner to define para...
115
Voted
AOSD
2007
ACM
15 years 4 months ago
2007
ACM
One of the main issues in modern aspect-oriented programming languages and frameworks is the expressiveness of the pointcut language or mechanism. The expressiveness of pointcut l...
113
Voted
AAAI
1990
15 years 1 months ago
1990
This paper provides an account of the representation of defaults in Cyc and their semantics in terms of first order logic with reification. Default reasoning is a complex thing, a...
107
Voted
COLING
2002
15 years 15 days ago
2002
It is popular in WSD to use contextual information in training sense tagged data. Co-occurring words within a limited window-sized context support one sense among the semantically...