research
∙
07/30/2022
Typed SLD-Resolution: Dynamic Typing for Logic Programming
The semantic foundations for logic programming are usually separated int...
share
research
∙
01/26/2022
Fifty Years of Prolog and Beyond
Both logic programming in general, and Prolog in particular, have a long...
research
∙
08/14/2021
Data Type Inference for Logic Programming
In this paper we present a new static data type inference algorithm for ...
research
∙
05/04/2021
NeuralLog: a Neural Logic Language
Application domains that require considering relationships among objects...
research
∙
09/18/2019
A Three-Valued Semantics for Typed Logic Programming
Types in logic programming have focused on conservative approximations o...
research
∙
05/06/2019
Machine Learning to Predict Developmental Neurotoxicity with High-throughput Data from 2D Bio-engineered Tissues
There is a growing need for fast and accurate methods for testing develo...
research
∙
05/13/2014
Lifted Variable Elimination for Probabilistic Logic Programming
Lifted inference has been proposed for various probabilistic logical fra...
research
∙
10/19/2012
CLP(BN): Constraint Logic Programming for Probabilistic Knowledge
We present CLP(BN), a novel approach that aims at expressing Bayesian ne...
research
∙
10/15/2012
Introduction to the 28th International Conference on Logic Programming Special Issue
We are proud to introduce this special issue of the Journal of Theory an...
research
∙
06/27/2012
Demand-Driven Clustering in Relational Domains for Predicting Adverse Drug Events
Learning from electronic medical records (EMR) is challenging due to the...
research
∙
06/18/2012