138 search results - page 22 / 28 » DATALOG with Nested Rules |
113
Voted
CIKM
2011
Springer
13 years 11 months ago
2011
Springer
Factoid questions often contain one or more assertions (facts) about their answers. However, existing question-answering (QA) systems have not investigated how the multiple facts ...
CSFW
2004
IEEE
15 years 3 months ago
2004
IEEE
We study the specification of access control policy in large-scale distributed systems. We present Cassandra, a language and system for expressing policy, and the results of a sub...
98
Voted
LPNMR
2005
Springer
15 years 5 months ago
2005
Springer
Equilibrium logic, introduced by David Pearce, extends the concept of an answer set from logic programs to arbitrary sets of formulas. Logic programs correspond to the special case...
132
click to vote
JMLR
2010
14 years 6 months ago
2010
We prove the statistical consistency of kernel Partial Least Squares Regression applied to a bounded regression learning problem on a reproducing kernel Hilbert space. Partial Lea...
104
click to vote
JLP
2010
14 years 6 months ago
2010
K is an executable semantic framework in which programming languages, calculi, as well as type systems or formal analysis tools can be defined making use of configurations, comput...