In a recent paper, Ferraris, Lee and Lifschitz conjectured that the concept of a stable model of a first-order formula can be used to treat some answer set programming expressions...
Abstract Limited capacity of communication channels has brought to the attention of many researchers the analysis of control systems subject to a quantized input set. In some funda...
This paper deals with the task of "nding a set of prototypes from the training set. A reduced set is obtained which is used instead of the training set when nearest neighbour...
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
Sabrina Baselice, Piero A. Bonatti, Michael Gelfon...
The choice of relevant features is very decisive in handwriting recognition rate. Our aim is to present some useful structural and statistical features and see their degree of var...