| Publication | Date of Publication | Type |
|---|
| Generating explainable rule sets from tree-ensemble learning methods by answer set programming | 2024-12-03 | Paper |
| Combinatorial reconfiguration with answer set programming: algorithms, encodings, and empirical analysis | 2024-07-19 | Paper |
| A differentiable first-order rule learner for inductive logic programming | 2024-07-03 | Paper |
| Hamiltonian cycle reconfiguration with answer set programming | 2024-05-29 | Paper |
| Recongo: bounded combinatorial reconfiguration with answer set programming | 2024-05-29 | Paper |
| Differentiable learning of matricized DNFs and its application to Boolean networks | 2023-08-22 | Paper |
| Gradient-based supported model computation in vector spaces | 2023-04-04 | Paper |
| Learning any memory-less discrete semantics for dynamical systems represented by logic programs | 2022-11-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5869620 | 2022-09-28 | Paper |
| Embedding circumscriptive theories in general disjunctive programs | 2022-08-30 | Paper |
| Learning from interpretation transition using differentiable logic programming semantics | 2022-04-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020978 | 2022-01-11 | Paper |
| Logic programming in tensor spaces | 2021-12-17 | Paper |
| Reproducible efficient parallel SAT solving | 2021-04-07 | Paper |
| Static analysis and stochastic search for reachability problem | 2021-02-22 | Paper |
| Inductive learning from state transitions over continuous domains | 2021-02-08 | Paper |
| Learning Dynamics with Synchronous, Asynchronous and General Semantics | 2021-02-08 | Paper |
| Ordering argumentation frameworks | 2020-02-20 | Paper |
| Non-horn magic sets to incorporate top-down inference into bottom-up theorem proving | 2019-10-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4631187 | 2019-04-24 | Paper |
| \textit{teaspoon}: solving the curriculum-based course timetabling problems with answer set programming | 2019-03-06 | Paper |
| Abduction, conversational implicature and misleading in human dialogues | 2019-01-08 | Paper |
| Exploiting Answer Set Programming with External Sources for Meta-Interpretive Learning | 2018-12-04 | Paper |
| Modeling delayed dynamics in biological regulatory networks from time series data | 2018-08-20 | Paper |
| Inference of delayed biological regulatory networks from time series data | 2018-03-22 | Paper |
| Coverage-based clause reduction heuristics for CDCL solvers | 2017-11-15 | Paper |
| Characterization of logic program revision as an extension of propositional revision | 2017-11-09 | Paper |
| Catnap: generating test suites of constrained combinatorial testing with answer set programming | 2017-09-05 | Paper |
| Coordination in answer set programming | 2017-07-12 | Paper |
| Learning Inference by Induction | 2016-10-19 | Paper |
| aspartame: Solving Constraint Satisfaction Problems with Answer Set Programming | 2015-11-04 | Paper |
| A BDD-Based Algorithm for Learning from Interpretation Transition | 2015-09-07 | Paper |
| Completing SBGN-AF Networks by Logic-Based Hypothesis Finding | 2015-08-06 | Paper |
| Abduction, unpredictability and Garden of Eden | 2015-02-24 | Paper |
| Identification of biological regulatory networks from process hitting models | 2015-01-28 | Paper |
| Learning from interpretation transition | 2014-07-14 | Paper |
| Answer set programming as a modeling language for course timetabling | 2014-02-27 | Paper |
| Generating Event-Sequence Test Cases by Answer Set Programming with the Incidence Matrix | 2014-02-25 | Paper |
| Completing causal networks by meta-level abduction | 2013-10-22 | Paper |
| Encoding Higher Level Extensions of Petri Nets in Answer Set Programming | 2013-10-10 | Paper |
| Characterization Theorems for Revision of Logic Programs | 2013-10-10 | Paper |
| Conditional answer computation in SOL as speculative computation in multi-agent environments | 2013-08-20 | Paper |
| Inverse subsumption for complete explanatory induction | 2012-07-31 | Paper |
| Oscillating Behavior of Logic Programs | 2012-07-23 | Paper |
| Analyzing Pathways Using ASP-Based Approaches | 2012-06-08 | Paper |
| Inductive equivalence in clausal logic and nonmonotonic logic programming | 2012-05-08 | Paper |
| Constraint-based probabilistic modeling for statistical abduction | 2012-05-08 | Paper |
| Probabilistic Rule Learning in Nonmonotonic Domains | 2011-09-16 | Paper |
| Hypothesizing about Causal Networks with Positive and Negative Effects by Meta-level Abduction | 2011-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3005898 | 2011-06-10 | Paper |
| Exploring Relations between Answer Set Programs | 2011-05-19 | Paper |
| Identifying Necessary Reactions in Metabolic Pathways by Minimal Model Generation | 2011-05-11 | Paper |
| Abduction of distributed theories through local interactions | 2011-05-11 | Paper |
| Query-Driven Coordination of Multiple Answer Sets | 2011-05-11 | Paper |
| Generating Combinatorial Test Cases by Efficient SAT Encodings Suitable for CDCL SAT Solvers | 2010-10-12 | Paper |
| Brave induction: a logical framework for learning from incomplete information | 2010-10-07 | Paper |
| Discovering Rules by Meta-level Abduction | 2010-08-24 | Paper |
| SOLAR: An automated deduction system for consequence finding | 2010-06-17 | Paper |
| Automated Reasoning with Analytic Tableaux and Related Methods | 2010-03-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3408143 | 2010-02-24 | Paper |
| Equivalence issues in abduction and induction | 2009-08-14 | Paper |
| Reconsideration of circumscriptive induction with pointwise circumscription | 2009-08-14 | Paper |
| Combining Answer Sets of Nonmonotonic Logic Programs | 2009-04-28 | Paper |
| Nonseparating Induced Cycles Consisting of Contractible Edges in k-Connected Graphs | 2008-12-05 | Paper |
| Brave Induction | 2008-12-02 | Paper |
| Mode-Directed Inverse Entailment for Full Clausal Theories | 2008-03-28 | Paper |
| Generality Relations in Answer Set Programming | 2008-03-11 | Paper |
| Constructing Consensus Logic Programs | 2007-09-10 | Paper |
| A competitive and cooperative approach to propositional satisfiability | 2007-01-09 | Paper |
| Abductive Equivalence in First-order Logic | 2006-11-30 | Paper |
| Theoretical Aspects of Computing – ICTAC 2005 | 2006-11-01 | Paper |
| Inductive Logic Programming | 2006-11-01 | Paper |
| Inductive Logic Programming | 2006-11-01 | Paper |
| Logics in Artificial Intelligence | 2006-10-25 | Paper |
| Inductive Logic Programming | 2006-10-19 | Paper |
| Computational Logic in Multi-Agent Systems | 2005-11-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5708572 | 2005-11-18 | Paper |
| Induction as consequence finding | 2005-11-07 | Paper |
| Logic Programming | 2005-08-26 | Paper |
| Induction as consequence finding | 2005-01-19 | Paper |
| Speculative computation through consequence-finding in multi-agent environments | 2005-01-17 | Paper |
| An abductive framework for computing knowledge base updates | 2004-09-24 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4812968 | 2004-08-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4530882 | 2004-02-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4415235 | 2003-07-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4708922 | 2003-06-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707770 | 2003-06-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4796702 | 2003-04-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2767098 | 2002-01-28 | Paper |
| Radius of \((2k-1)\)-connected graphs | 2001-12-17 | Paper |
| Prioritized logic programming and its application to commonsense reasoning | 2000-12-12 | Paper |
| Computing extended abduction through transaction programs | 2000-06-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4955335 | 2000-05-25 | Paper |
| Abductive logic programming and disjunctive logic programming: their relationship and transferability | 2000-05-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4704995 | 1999-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4703071 | 1999-12-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4239113 | 1999-11-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264729 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4249902 | 1999-09-15 | Paper |
| Negation as failure in the head | 1999-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4388074 | 1999-01-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4381363 | 1998-06-22 | Paper |
| A fixpoint characterization of abductive logic programs | 1997-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5688894 | 1997-01-23 | Paper |
| Paraconsistent Stable Semantics for Extended Disjunctive Programs | 1995-06-06 | Paper |
| An alternative approach to the semantics of disjunctive logic programs and deductive databases | 1995-02-22 | Paper |
| Hypothetical reasoning in logic programs | 1995-01-08 | Paper |
| Poincaré series for discrete Moebius groups acting on the upper half space | 1994-08-28 | Paper |
| Incorporating top-down information into bottom-up hypothetical reasoning | 1994-02-06 | Paper |
| Linear resolution for consequence finding | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4012182 | 1992-09-27 | Paper |
| Limit sets of geometrically finite free Kleinian groups | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3660064 | 1982-01-01 | Paper |
| Remarks on the limit sets of Kleinian groups | 1980-01-01 | Paper |
