3319 search results - page 305 / 664 » Subshifts, Languages and Logic |
164
click to vote
ISEMANTICS
2010
15 years 8 months ago
2010
This paper gives an account of how traditional metadata application profiles are related to Web ontologies and Description Logics. It is shown that metadata profiles can be formal...
202
click to vote
ENTCS
2008
15 years 6 months ago
2008
The B+ tree is an ordered tree structure with a fringe list. It is the most widely used data structure for data organisation and searching in database systems specifically, and, p...
171
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
157
click to vote
IANDC
2007
15 years 6 months ago
2007
In many cases, the addition of metric operators to qualitative temporal logics (TLs) increases the complexity of satisfiability by at least one exponential: while common qualitat...
185
click to vote
JASIS
2000
15 years 6 months ago
2000
In the logical approach to information retrieval (IR), retrieval is considered as uncertain inference. Whereas classical IR models are based on propositional logic, we combine Dat...