3207 search results - page 126 / 642 » A Semantics for HTN Methods |
101
Voted
EACL
1993
ACL Anthology
15 years 1 months ago
1993
ACL Anthology
This paper proposes a method for measuring semantic similarity between words as a new tool for text analysis. The similarity is measured on a semantic network constructed systemat...
94
Voted
ENTCS
2006
15 years 17 days ago
2006
We present a prototype implementation of SOS meta-theory in the Maude term rewriting language. The prototype defines the basic concepts of SOS meta-theory (e.g., transition formul...
114
Voted
IA
2006
15 years 17 days ago
2006
Automated reasoning is becoming an essential issue in many Web systems and applications, especially in emerging Semantic Web applications. This article first discusses reasons for...
96
Voted
IJMSO
2006
15 years 16 days ago
2006
: On the semantic web, assertions may be aggregated from many sources, those aggregations filtered, reasoned over, aggregated with other aggregators, displayed, scraped, extracted,...
100
Voted
ENTCS
2007
15 years 15 days ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...