7868 search results - page 94 / 1574 » Learning by Answer Sets |
179
click to vote
ICLP
1994
Springer
15 years 8 months ago
1994
Springer
In many cases, a logic program can be divided into two parts, so that one of them, the \bottom" part, does not refer to the predicates de ned in the \top" part. The \bot...
120
click to vote
ETS
2000
IEEE
15 years 4 months ago
2000
IEEE
Collaborative learning supported through computers seems to be very promising, since advances in computational technology enable the widespread use of tools such as bulletin board...
137
click to vote
LREC
2010
15 years 5 months ago
2010
Question Answering (QA) technology aims at providing relevant answers to natural language questions. Most Question Answering research has focused on mining document collections co...
264
click to vote
POPL
2006
ACM
16 years 4 months ago
2006
ACM
We define a type system, which may also be considered as a simple Hoare logic, for a fragment of an assembly language that deals with code pointers and jumps. The typing is aimed ...
138
click to vote
VISUALIZATION
2005
IEEE
15 years 10 months ago
2005
IEEE
We present a practical and general-purpose approach to large and complex visual data analysis where visualization processing, rendering and subsequent human interpretation is cons...