1364 search results - page 111 / 273 » Comparative Branching-Time Semantics |
134
click to vote
JFPLC
1998
15 years 4 months ago
1998
Abstract. This paper presents a feature constraint system that, compared with the well-known systems OSF 1] and CFT 5], incorporates several interesting characteristics. The new sy...
139
Voted
SEMWEB
2009
Springer
15 years 10 months ago
2009
Springer
An important issue for the Semantic Web is how to combine open-world ontology languages with closed-world (non-monotonic) rule paradigms. Several proposals for hybrid languages all...
127
click to vote
ECAI
2000
Springer
15 years 7 months ago
2000
Springer
In several information retrieval (IR) systems there is a possibility for user feedback. Many machine learning methods have been proposed that learn from the feedback information in...
165
click to vote
LREC
2008
15 years 4 months ago
2008
This paper describes Eksairesis, a system for learning economic domain knowledge automatically from Modern Greek text. The knowledge is in the form of economic terms and the seman...
119
click to vote
LISP
2006
15 years 3 months ago
2006
We present the call-by-push-value (CBPV) calculus, which decomposes the typed call-by-value (CBV) and typed call-by-name (CBN) paradigms into fine-grain primitives. On the operatio...