Search Results for author:
Found 5 papers, 0 papers with code
Knowledge Representation Analysis of Graph Mining
For IDP and ASP, which have no native support for higher order logic, we propose the use of encoding techniques such as the disjoint union technique and the saturation technique.
Implementing a Relevance Tracker Module
PC(ID) extends propositional logic with inductive definitions: rule sets under the well-founded semantics.
The KB paradigm and its application to interactive configuration
The knowledge base paradigm aims to express domain knowledge in a rich formal language, and to use this domain knowledge as a knowledge base to solve various problems and tasks that arise in the domain by applying multiple forms of inference.
Inference and learning in probabilistic logic programs using weighted Boolean formulas
This paper investigates how classical inference and learning tasks known from the graphical model community can be tackled for probabilistic logic programs.
