1024 search results - page 57 / 205 » Value complete, column complete, predicate complete |
170
click to vote
POPL
2003
ACM
16 years 1 months ago
2003
ACM
We present a type theory for higher-order modules that accounts for many central issues in module system design, including translucency, applicativity, generativity, and modules a...
112
click to vote
IFL
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...
112
click to vote
ICDT
2003
ACM
15 years 6 months ago
2003
ACM
XPath is a simple language for navigating an XML tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragm...
114
click to vote
DLOG
2007
15 years 3 months ago
2007
Abstract. In this paper, we propose an approach to translating any ALC ontology (possible inconsistent) into a logically consistent set of disjunctive datalog rules. We achieve thi...
111
click to vote
IJCAI
2007
15 years 3 months ago
2007
In this paper, we propose a new progression mechanism for a restricted form of incomplete knowledge formulated as a basic action theory in the situation calculus. Specifically, w...