research
∙
07/20/2023
Bounded Combinatorial Reconfiguration with Answer Set Programming
We develop an approach called bounded combinatorial reconfiguration for ...
share
research
∙
06/12/2023
Towards end-to-end ASP computation
We propose an end-to-end approach for answer set programming (ASP) and l...
research
∙
12/07/2022
Learning State Transition Rules from Hidden Layers of Restricted Boltzmann Machines
Understanding the dynamics of a system is important in many scientific a...
research
∙
05/05/2022
Action Languages Based Actual Causality in Ethical Decision Making Contexts
Moral responsibility is closely intermixed with causality, even if it ca...
research
∙
04/28/2022
Learning First-Order Rules with Differentiable Logic Program Semantics
Learning first-order logic programs (LPs) from relational facts which yi...
research
∙
09/17/2021
Generating Explainable Rule Sets from Tree-Ensemble Learning Methods by Answer Set Programming
We propose a method for generating explainable rule sets from tree-ensem...
research
∙
09/22/2020
Enhancing Linear Algebraic Computation of Logic Programs Using Sparse Representation
Algebraic characterization of logic programs has received increasing att...
research
∙
11/28/2018
Partial Evaluation of Logic Programs in Vector Spaces
In this paper, we introduce methods of encoding propositional logic prog...
research
∙
06/18/2018
A 1.2-V 162.9-pJ/cycle Bitmap Index Creation Core with 0.31-pW/bit Standby Power on 65-nm SOTB
The ability to maximize the performance during peak workload hours and m...
research
∙
04/30/2018
Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning
Meta-Interpretive Learning (MIL) learns logic programs from examples by ...
research
∙
03/28/2018
An Efficient I/O Architecture for RAM-based Content-Addressable Memory on FPGA
Despite the impressive search rate of one key per clock cycle, the updat...
research
∙
03/13/2018
An FPGA-Based Hardware Accelerator for Energy-Efficient Bitmap Index Creation
Bitmap index is recognized as a promising candidate for online analytics...
research
∙
12/20/2013
Aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming
Encoding finite linear CSPs as Boolean formulas and solving them by usin...
research
∙
11/19/2013
Post-Proceedings of the First International Workshop on Learning and Nonmonotonic Reasoning
Knowledge Representation and Reasoning and Machine Learning are two impo...
research
∙
06/15/2013
Encoding Higher Level Extensions of Petri Nets in Answer Set Programming
Answering realistic questions about biological systems and pathways simi...
research
∙
06/15/2013
Encoding Petri Nets in Answer Set Programming for Simulation Based Reasoning
One of our long term research goals is to develop systems to answer real...
research
∙
08/30/2011