Search Results for author:
Found 3 papers, 0 papers with code
Human Conditional Reasoning in Answer Set Programming
Given a conditional sentence "P=>Q" (if P then Q) and respective facts, four different types of inferences are observed in human reasoning.
Partial Evaluation of Logic Programs in Vector Spaces
In this paper, we introduce methods of encoding propositional logic programs in vector spaces.
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
On the other side, Inductive Logic Programming (ILP) realizes Machine Learning in logic programming, which provides a formal background to inductive learning and the techniques have been applied to the fields of relational learning and data mining.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
