2012 search results - page 254 / 403 » CORAL - Control, Relations and Logic |
163
click to vote
SLOGICA
2010
15 years 4 months ago
2010
Abstract. The naive set theory problem is to begin with a full comprehension axiom, and to find a logic strong enough to prove theorems, but weak enough not to prove everything. T...
165
click to vote
NDJFL
2010
15 years 1 months ago
2010
l Abstraction via the Frege Quantifier G. Aldo Antonelli Abstract This paper presents a formalization of first-order aritharacterizing the natural numbers as abstracta of the equin...
150
click to vote
EACL
2009
ACL Anthology
16 years 7 months ago
2009
ACL Anthology
Lexical-semantic resources are used extensively for applied semantic inference, yet a clear quantitative picture of their current utility and limitations is largely missing. We pr...
244
click to vote
SIGMOD
2008
ACM
16 years 6 months ago
2008
ACM
The emergence of database languages with side effects, notably for XML, raises significant challenges for database compilers and optimizers. In this paper, we extend an algebra fo...
147
click to vote
EDBT
2004
ACM
16 years 6 months ago
2004
ACM
T-Araneus is a tool for the generation of Web sites with special attention to temporal aspects. It builds on previous experiences in the management of data-intensive Web-sites, an...