Sciweavers

2106 search results - page 194 / 422
» Operational Semantics for MSC'96
Sort
View
FLAIRS
2007
15 years 8 months ago
Semantic Relations: Modelling Issues, Proposals and Possible Applications
Semantic relations are an important element in the construction of ontology-based linguistic resources and models of problem domains. Nevertheless, they remain under-specified. Th...
Francisco Álvarez, Antonio Vaquero, Fernand...
DLT
2006
15 years 7 months ago
Well-Founded Semantics for Boolean Grammars
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...
Vassilis Kountouriotis, Christos Nomikos, Panos Ro...
IS
2006
15 years 6 months ago
Composition of Semantic Web services using Linear Logic theorem proving
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses a Semantic Web service language (DAML-S)...
Jinghai Rao, Peep Küngas, Mihhail Matskin
RAS
2008
149views more  RAS 2008»
15 years 5 months ago
Robot task planning using semantic maps
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
Cipriano Galindo, Juan-Antonio Fernandez-Madrigal,...
CIKM
2009
Springer
15 years 9 months ago
A framework for semantic link discovery over relational data
Discovering links between different data items in a single data source or across different data sources is a challenging problem faced by many information systems today. In partic...
Oktie Hassanzadeh, Anastasios Kementsietsidis, Lip...