1638 search results - page 147 / 328 » A General Semantics for Evaluation Logic |
167
click to vote
JOLLI
2011
14 years 9 months ago
2011
This paper presents a new take on how argument dependencies in natural language are established and constrained. The paper starts with a rather standard view that (quantificationa...
204
click to vote
CCS
2005
ACM
16 years 1 days ago
2005
ACM
This paper introduces the PeerAccess framework for reasoning about authorization in open distributed systems, and shows how a parameterization of the framework can be used to reas...
207
click to vote
KDD
2008
ACM
16 years 6 months ago
2008
ACM
Document classification presents difficult challenges due to the sparsity and the high dimensionality of text data, and to the complex semantics of the natural language. The tradi...
275
click to vote
PODS
2009
ACM
16 years 7 months ago
2009
ACM
We consider the problem of deciding query equivalence for a conjunctive language in which queries output complex objects composed from a mixture of nested, unordered collection ty...
183
click to vote
ESWS
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. The current state of the art regarding scalable reasoning consists of programs that run on a single machine. When the amount of data is too large, or the logic is too com...