research
∙
09/18/2019
Exploiting Partial Knowledge in Declarative Domain-Specific Heuristics for ASP
Domain-specific heuristics are an important technique for solving combin...
share
research
∙
09/11/2019
Abstraction for Zooming-In to Unsolvability Reasons of Grid-Cell Problems
Humans are capable of abstracting away irrelevant details when studying ...
research
∙
07/24/2019
Partial Compilation of ASP Programs
Answer Set Programming (ASP) is a well-known declarative formalism in lo...
research
∙
01/31/2018
Technical Report: Adjudication of Coreference Annotations via Answer Set Optimization
We describe the first automatic approach for merging coreference annotat...
research
∙
07/13/2017
Constraints, Lazy Constraints, or Propagators in ASP Solving: An Empirical Analysis
Answer Set Programming (ASP) is a well-established declarative paradigm....
research
∙
07/10/2017
Best-Effort Inductive Logic Programming via Fine-grained Cost-based Hypothesis Generation
We describe the Inspire system which participated in the first competiti...
research
∙
06/16/2017
Improving Scalability of Inductive Logic Programming via Pruning and Best-Effort Optimisation
Inductive Logic Programming (ILP) combines rule-based and statistical ar...
research
∙
06/06/2017
Marmara Turkish Coreference Corpus and Coreference Resolution Baseline
We describe the Marmara Turkish Coreference Corpus, which is an annotati...
research
∙
07/26/2016
Technical Report: Giving Hints for Logic Programming Examples without Revealing Solutions
We introduce a framework for supporting learning to program in the parad...
research
∙
12/30/2015
Modeling Variations of First-Order Horn Abduction in Answer Set Programming
We study abduction in First Order Horn logic theories where all atoms ca...
research
∙
07/29/2013
Levels of Integration between Low-Level Reasoning and Task Planning
We provide a systematic analysis of levels of integration between discre...
research
∙
01/08/2013
Eliminating Unfounded Set Checking for HEX-Programs
HEX-programs are an extension of the Answer Set Programming (ASP) paradi...
research
∙
08/29/2011