2830 search results - page 241 / 566 » No Science without Semantics |
104
click to vote
HICSS
2005
IEEE
15 years 8 months ago
2005
IEEE
Previous research has taught us that the typical nonprofessional information seeker on the World Wide Web submits very short queries resulting in low-precision results. We show th...
163
click to vote
ICNC
2005
Springer
15 years 8 months ago
2005
Springer
From the last decade, modeling of cognitive agents have drawn great attention and provide a new paradigm for addressing fundamental questions in cognitive science. In this paper, a...
111
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
In the design of type systems for XML programming languages based on regular expression types and patterns the focus has been over result analysis, with the main aim of statically ...
117
click to vote
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
We propose to build an automated reasoning system for first-order logic (FOL) by translating reasoning problems to a fragment of FOL called coherent logic (CL) and then solving t...
137
click to vote
TABLEAUX
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Description Logics (DLs) are a family of logic based knowledge representation formalisms. Although they have a range of applications (e.g., configuration and information...