research
∙
08/30/2023
SharpSAT-TD in Model Counting Competitions 2021-2023
We describe SharpSAT-TD, our submission to the unweighted and weighted t...
share
research
∙
08/18/2023
Learning MDL logic programs from noisy data
Many inductive logic programming approaches struggle to learn programs f...
research
∙
08/09/2021
Harnessing Incremental Answer Set Solving for Reasoning in Assumption-Based Argumentation
Assumption-based argumentation (ABA) is a central structured argumentati...
research
∙
04/23/2018
Cautious reasoning in ASP via minimal models and unsatisfiable cores
Answer Set Programming (ASP) is a logic-based knowledge representation f...
research
∙
02/25/2016
Causal Discovery from Subsampled Time Series Data by Constraint Optimization
This paper focuses on causal structure estimation from time series data ...
research
∙
09/26/2013
Discovering Cyclic Causal Models with Latent Variables: A General SAT-Based Procedure
We present a very general approach to learning the structure of causal m...
research
∙
09/09/2011
Structure-Based Local Search Heuristics for Circuit-Level Boolean Satisfiability
This work focuses on improving state-of-the-art in stochastic local sear...
research
∙
11/23/2010