Sciweavers

3207 search results - page 276 / 642
» A Semantics for HTN Methods
Sort
View
ICLP
2007
Springer
15 years 10 months ago
Declarative Diagnosis of Temporal Concurrent Constraint Programs
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
Moreno Falaschi, Carlos Olarte, Catuscia Palamides...
LREC
2008
107views Education» more  LREC 2008»
15 years 6 months ago
The Construction and Evaluation of Word Space Models
Semantic similarity is a key issue in many computational tasks. This paper goes into the development and evaluation of two common ways of automatically calculating the semantic si...
Yves Peirsman, Simon De Deyne, Kris Heylen, Dirk G...
EKAW
2004
Springer
15 years 10 months ago
Knowledge Modelling for Deductive Web Mining
Abstract. Knowledge-intensive methods that can altogether be characterised as deductive web mining (DWM) already act as supporting technology for building the semantic web. Reusabl...
Vojtech Svátek, Martin Labský, Miros...
COLING
2002
15 years 4 months ago
Measuring the Similarity between Compound Nouns in Different Languages Using Non-Parallel Corpora
This paper presents a method that measures the similarity between compound nouns in different languages to locate translation equivalents from corpora. The method uses information...
Takaaki Tanaka
165
Voted
RWEB
2010
Springer
15 years 3 months ago
Reasoning and Explanation in EL and in Expressive Description Logics
Description Logics (DLs) are the formalism underlying the standard web ontology language OWL 2. DLs have formal semantics which are the basis for powerful reasoning services. In th...
Anni-Yasmin Turhan