Abstract. We introduce a new proof procedure for abductive logic programming and present two soundness results. Our procedure extends that of Fung and Kowalski by integrating abduc...
Ulrich Endriss, Paolo Mancarella, Fariba Sadri, Gi...
— This paper proposes a numerical method for characterizing the achievable rate region for a Gaussian multiple access channel with ISI under the frequency division multiple acces...
In this paper, we introduce a new restricted Bayesian network classifier that extends naive Bayes by relaxing the conditional independence assumptions, and show that it is partly ...
Sommerville and Davies classified the spherical triangles that can tile the sphere in an edge-to-edge fashion. However, if the edge-to-edge restriction is relaxed, there are othe...
—In this letter we point out that multilayer neural networks (MLP’s) with either sigmoidal units or radial basis functions can be given a canonical form with positive interunit...