7167 search results - page 238 / 1434 » Answer Set Programming |
130
click to vote
VL
2003
IEEE
15 years 7 months ago
2003
IEEE
A significant challenge in teaching programming to disadvantaged populations is preserving learners’ motivation and confidence. Because programming requires such a diverse set o...
84
Voted
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
Roles can be assigned to occurrences of variables in programs according to a small number of stereotypical patterns of use. Studies on explicitly teaching roles to novices learnin...
105
click to vote
AI
2006
Springer
15 years 2 months ago
2006
Springer
We consider how to forget a set of atoms in a logic program. Intuitively, when a set of atoms is forgotten from a logic program, all atoms in the set should be eliminated from thi...
188
Voted
SIGMOD
2004
ACM
16 years 2 months ago
2004
ACM
Database system architectures are undergoing revolutionary changes. Most importantly, algorithms and data are being unified by integrating programming languages with the database ...
132
Voted
SAT
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. We continue a study initiated by Kraj´ıˇcek of a Resolutionlike proof system working with clauses of linear inequalities, R(CP). For all proof systems of this kind Kra...