850 search results - page 86 / 170 » A Logic Programming Language Based on Binding Algebras |
222
click to vote
AI
2011
Springer
14 years 8 months ago
2011
Springer
An important question for the upcoming Semantic Web is how to best combine open world ontology languages, such as the OWL-based ones, with closed world rule-based languages. One o...
162
click to vote
POPL
2012
ACM
13 years 9 months ago
2012
ACM
Differential privacy is a notion of confidentiality that protects the privacy of individuals while allowing useful computations on their private data. Deriving differential priva...
119
click to vote
DBPL
1999
Springer
15 years 5 months ago
1999
Springer
Abstract. Based on the recursion mechanism of the XML transformation language XSL, the document transformation language DTL is defined. First the instantiation DTLreg is considere...
118
click to vote
LPNMR
2005
Springer
15 years 7 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...
EOR
2006
15 years 1 months ago
2006
This paper presents a new data classification method based on mixed-integer programming. Traditional approaches that are based on partitioning the data sets into two groups perfor...