Sciweavers

947 search results - page 63 / 190
» Declarative Programming in Prolog
Sort
View
PADL
2001
Springer
15 years 2 months ago
Interoperability between Bioinformatics Tools: A Logic Programming Approach
The goal of this project is to develop solutions to enhance interoperability between bioinformatics applications. Most existing applications adopt different data formats, forcing ...
Juan Raymundo Iglesias, Gopal Gupta, Enrico Pontel...
ICLP
1998
Springer
15 years 1 months ago
Efficient Implementation of a Linear Logic Programming Language
A number of logic programming languages based on Linear Logic [3] have been proposed. However, the implementation techniques proposed for these languages have relied heavily on th...
Joshua S. Hodas, K. M. Watkins, Naoyuki Tamura, Ky...
FGCS
1992
107views more  FGCS 1992»
14 years 11 months ago
Logic Programming, Abduction and Probability
Probabilistic Horn abduction is a simple framework to combine probabilistic and logical reasoning into a coherent practical framework. The numbers can be consistently interpreted ...
David Poole
CORR
2010
Springer
136views Education» more  CORR 2010»
14 years 9 months ago
On the Implementation of the Probabilistic Logic Programming Language ProbLog
The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have...
Angelika Kimmig, Bart Demoen, Luc De Raedt, V&iacu...
ICDE
2011
IEEE
258views Database» more  ICDE 2011»
14 years 1 months ago
SystemML: Declarative machine learning on MapReduce
Abstract—MapReduce is emerging as a generic parallel programming paradigm for large clusters of machines. This trend combined with the growing need to run machine learning (ML) a...
Amol Ghoting, Rajasekar Krishnamurthy, Edwin P. D....