1364 search results - page 110 / 273 » Comparative Branching-Time Semantics |
131
click to vote
AUSAI
1997
Springer
15 years 7 months ago
1997
Springer
Abstract. We compare Kripke models and hypercube systems, a simpli ed notion of Interpreted Systems, as semantic structures for reasoning about knowledge. Our method is to de ne a ...
132
click to vote
ACL
2007
15 years 4 months ago
2007
Obtaining large volumes of inference knowledge, such as entailment rules, has become a major factor in achieving robust semantic processing. While there has been substantial resea...
101
Voted
ACL
2007
15 years 4 months ago
2007
This paper addresses the automatic classification of semantic relations in noun phrases based on cross-linguistic evidence from a set of five Romance languages. A set of novel s...
121
Voted
EMNLP
2007
15 years 4 months ago
2007
We present a domain-independent unsupervised topic segmentation approach based on hybrid document indexing. Lexical chains have been successfully employed to evaluate lexical cohe...
102
Voted
NAACL
2007
15 years 4 months ago
2007
A new architecture for identifying and interpreting temporal expressions is introduced, in which the large set of complex hand-crafted rules standard in systems for this task is r...