Sciweavers

7690 search results - page 163 / 1538
» On the semantics of informational independence
Sort
View
SEMWEB
2007
Springer
16 years 16 days ago
Ontology-based Semantic Relevance Measure
Semantic relevance among information resources can play an effective role in information retrieval, and there are several different approaches to measure semantic similarities. H...
Sang Keun Rhee, Jihye Lee, Myon-Woong Park
SOCASE
2007
Springer
16 years 16 days ago
Executing Semantic Web Services with a Context-Aware Service Execution Agent
The need to add semantic information to web-accessible services has created a growing research activity in this area. Standard initiatives such as OWL-S and WSDL enable the automat...
António Lopes, Luís Miguel Botelho
COSIT
2003
Springer
118views GIS» more  COSIT 2003»
15 years 11 months ago
A Classification Framework for Approaches to Achieving Semantic Interoperability between GI Web Services
The discovery of services that are appropriate for answering a given question is a crucial task in the open and distributed environment of web services for geographic information. ...
Michael Lutz, Catharina Riedemann, Florian Probst
AUSAI
2007
Springer
15 years 10 months ago
Planning as Satisfiability with Relaxed $-Step Plans
Planning as satisfiability is a powerful approach to solving domain independent planning problems. In this paper, we consider a relaxed semantics for plans with parallel operator a...
Martin Wehrle, Jussi Rintanen
IANDC
2010
119views more  IANDC 2010»
15 years 5 months ago
Cut elimination in coalgebraic logics
We give two generic proofs for cut elimination in propositional modal logics, interpreted over coalgebras. We first investigate semantic coherence conditions between the axiomati...
Dirk Pattinson, Lutz Schröder