7868 search results - page 165 / 1574 » Learning by Answer Sets |
139
click to vote
FOCS
2004
IEEE
15 years 8 months ago
2004
IEEE
A desirable goal for cryptographic protocols is to guarantee security when the protocol is composed with other protocol instances. Universally Composable (UC) protocols provide th...
114
click to vote
AIED
2005
Springer
15 years 10 months ago
2005
Springer
We briefly introduce the online learning environment INFACT, and then we describe its textual feedback system. The system automatically provides written comments to students as the...
236
click to vote
GIS
2008
ACM
16 years 6 months ago
2008
ACM
In order to deal with inconsistent databases, a repair semantics defines a set of admissible database instances that restore consistency, while staying close to the original insta...
132
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Often Web database users experience difficulty in articulating their needs using a precise query. Providing ranked set of possible answers would benefit such users. We propose to ...
135
click to vote
AMW
2010
15 years 6 months ago
2010
We address the problem of answering conjunctive queries over knowledge bases, specified by sets of first-order sentences called tuple-generating dependencies (TGDs). This problem i...