Sciweavers

7215 search results - page 279 / 1443
» Semantic search on the Web
Sort
View
ENTCS
2006
105views more  ENTCS 2006»
15 years 6 months ago
A Game Semantics for Proof Search: Preliminary Results
We describe an ongoing project in which we attempt to describe a neutral approach to proof and refutation. In particular, we present a language of neutral expressions which contai...
Dale Miller, Alexis Saurin
REST
2010
ACM
15 years 8 months ago
A formal definition of RESTful semantic web services
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
Antonio Garrote Hernández, María N. ...
IRCDL
2007
15 years 8 months ago
Semantic Routing for Effective Search in Heterogeneous and Distributed Digital Libraries
— Next generation Digital Libraries (DLs) will offer an entire ensemble of systems and services designed to help users to easily find and access the information they are looking...
Federica Mandreoli, Riccardo Martoglia, Wilma Penz...
AUSAI
2004
Springer
16 years 4 days ago
Embedding Memoization to the Semantic Tree Search for Deciding QBFs
Abstract. Quantified Boolean formulas (QBFs) play an important role in artificial intelligence subjects, specially in planning, knowledge representation and reasoning [20]. In th...
Mohammad GhasemZadeh, Volker Klotz, Christoph Mein...
EKAW
2008
Springer
15 years 8 months ago
A Visual Approach to Semantic Query Design Using a Web-Based Graphical Query Designer
Query formulation is a key aspect of information retrieval, contributing to both the efficiency and usability of many semantic applications. A number of query languages, such as SP...
Paul R. Smart, Alistair Russell, Dave Braines, Yan...