Sciweavers

137 search results - page 13 / 28
» Proofnets and Context Semantics for the Additives
Sort
View
AIPS
1996
14 years 11 months ago
Expressive Planning and Explicit Knowledge
Weare concerned with the implications and interactions of three commonexpressive extensions to classical planning: conditional plans, context-dependent actions, and nondeterminist...
Robert P. Goldman, Mark S. Boddy
CORR
2006
Springer
122views Education» more  CORR 2006»
14 years 9 months ago
On the complexity of XPath containment in the presence of disjunction, DTDs, and variables
XPath is a simple language for navigating an XML-tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various frag...
Frank Neven, Thomas Schwentick
COMPLEXITY
2007
116views more  COMPLEXITY 2007»
14 years 9 months ago
Life, information, entropy, and time: Vehicles for semantic inheritance
abstractions provides an additional supra-phenotypic vehicle for semantic inheritance, which supports the cultural heritages around which civilizations revolve. The following three...
Antony R. Crofts
TKDE
2010
284views more  TKDE 2010»
14 years 8 months ago
Unsupervised Semantic Similarity Computation between Terms Using Web Documents
Abstract— In this work, web-based metrics for semantic similarity computation between words or terms are presented and compared with the state-of-the-art. Starting from the funda...
Elias Iosif, Alexandros Potamianos
GEOS
2007
Springer
15 years 3 months ago
Algorithm, Implementation and Application of the SIM-DL Similarity Server
Abstract. Semantic similarity measurement gained attention as a methodology for ontology-based information retrieval within GIScience over the last years. Several theories explain ...
Krzysztof Janowicz, Carsten Keßler, Mirco Sc...