3793 search results - page 404 / 759 » Expressive Description Logics |
189
click to vote
TPHOL
2007
IEEE
16 years 1 months ago
2007
IEEE
In Mizar, unlike in most other proof assistants, the types are not part of the foundations of the system. Mizar is based on untyped set theory, which means that in Mizar expression...
181
click to vote
ICDT
2005
ACM
16 years 8 days ago
2005
ACM
We give two sufficient conditions on XPath like languages for having first order expressivity, meaning that every first order definable set of paths in an ordered node-labeled t...
184
click to vote
CP
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. One of the most appealing features of constraint programming is its rich constraint language for expressing combinatorial optimization problems. This paper demonstrates t...
190
click to vote
DEXA
2004
Springer
16 years 4 days ago
2004
Springer
Although many spatio-temporal conceptual models has been proposed in the last years, users must express their queries on the underlying physical data structures. In the context of ...
177
click to vote
MFCS
2004
Springer
16 years 3 days ago
2004
Springer
A binary language-theoretic operation is proposed, which is dual to the concatenation of languages in the same sense as the universal quantifier in logic is dual to the existenti...