7430 search results - page 310 / 1486 » Programming Applications in CIFF |
135
click to vote
AAAI
2006
15 years 6 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
139
click to vote
FLAIRS
2004
15 years 6 months ago
2004
We present a preventive model of tutoring for novice programming derived from a human corpus and describe our intelligent tutoring system PROPL embodying that model. The system co...
185
click to vote
EMNLP
2006
15 years 6 months ago
2006
Integer Linear Programming has recently been used for decoding in a number of probabilistic models in order to enforce global constraints. However, in certain applications, such a...
172
Voted
IJCAI
1997
15 years 6 months ago
1997
We propose a method of compiling circumscription into Extended Logic Programs which is widely applicable to a class of parallel circumscription as well as a class of prioritized c...
134
click to vote
CASCON
1996
15 years 6 months ago
1996
For almost a decade we have been working at developing and using template-based models for coarse-grained parallel computing. Our initial system, FrameWorks, was positively receiv...