| Publication | Date of Publication | Type |
|---|
| FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data | 2022-09-30 | Paper |
| Building Information Modeling Using Constraint Logic Programming | 2022-09-30 | Paper |
| Synthesizing Imperative Code from Answer Set Programming Specifications | 2022-08-25 | Paper |
| Modeling and Reasoning in Event Calculus Using Goal-Directed Constraint Answer Set Programming | 2022-08-25 | Paper |
| FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data | 2022-08-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020962 | 2022-01-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5020963 | 2022-01-11 | Paper |
| White-box Induction From SVM Models: Explainable AI with Logic Programming | 2020-12-13 | Paper |
| Steady state analysis of system size-based balking in \(M/M^b/1\) queue | 2020-10-20 | Paper |
| On finite buffer bulk arrival bulk service queue with queue length and batch size dependent service | 2019-04-18 | Paper |
| Constraint Answer Set Programming without Grounding | 2018-12-04 | Paper |
| On finite buffer \(BMAP/G/1\) queue with queue length dependent service | 2018-11-29 | Paper |
| A Physician Advisory System for Chronic Heart Failure management based on knowledge patterns | 2017-11-09 | Paper |
| A new algorithm to automate inductive learning of default theories | 2017-11-08 | Paper |
| Timed $$\pi $$-Calculus | 2016-11-09 | Paper |
| Efficient algorithms for the temporal precedence problem | 2016-06-09 | Paper |
| Dynamic Consistency Checking in Goal-Directed Answer Set Programming | 2014-11-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2849553 | 2013-09-20 | Paper |
| Coinductive Constraint Logic Programming | 2012-07-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2883094 | 2012-05-11 | Paper |
| Infinite Computation, Co-induction and Computational Logic | 2011-09-02 | Paper |
| Verifying Complex Continuous Real-Time Systems with Coinductive CLP(R) | 2010-05-26 | Paper |
| Coinductive Logic Programming with Negation | 2010-05-04 | Paper |
| Coinductive Logic Programming and Its Applications | 2009-03-05 | Paper |
| Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language | 2009-01-15 | Paper |
| Coinductive Logic Programming | 2008-03-11 | Paper |
| PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters | 2007-12-10 | Paper |
| Co-Logic Programming: Extending Logic Programming with Coinduction | 2007-11-28 | Paper |
| Using position extrema points to capture shape in on-line handwritten signature verification | 2007-07-11 | Paper |
| Hydrodynamic stability of the plane Poiseuille flow of an electrorheological fluid | 2007-03-28 | Paper |
| AI 2005: Advances in Artificial Intelligence | 2006-11-14 | Paper |
| Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms | 2006-10-27 | Paper |
| Logic Based Program Synthesis and Transformation | 2005-12-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736501 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4736512 | 2004-08-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4707740 | 2003-06-11 | Paper |
| Optimization schemas for parallel implementation of non‐deterministic languages and systems | 2002-05-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2751763 | 2002-04-08 | Paper |
| The temporal precedence problem | 2000-12-03 | Paper |
| Data structures for order-sensitive predicates in parallel nondeterministic systems | 2000-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4506393 | 2000-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4702567 | 2000-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4944895 | 2000-03-22 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4231951 | 1999-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4227005 | 1999-02-23 | Paper |
| Parallel symbolic computation in ACE | 1998-06-09 | Paper |
| Cuts and side-effects in and-or parallel Prolog | 1997-04-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320134 | 1995-01-17 | Paper |
| And—or parallelism on shared-memory multiprocessors | 1993-12-06 | Paper |
| Dynamic parallel evaluation of the cross-product set using time-stamps | 1993-05-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3782745 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3759832 | 1986-01-01 | Paper |
| Automatic integration of Euler-Lagrange equations with constraints | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3696414 | 1985-01-01 | Paper |
| Description and Evaluation of a Stiff ODE Code DSTIFF | 1985-01-01 | Paper |
| An evaluation of some new cyclic linear multistep formulas for stiff ODEs | 1985-01-01 | Paper |
| Polynomial Formulation of Second Derivative Multistep Methods | 1982-01-01 | Paper |
| A New Step-Size Changing Technique for Multistep Methods | 1979-01-01 | Paper |
| A Polynomial Representation of Hybrid Methods for Solving Ordinary Differential Equations | 1979-01-01 | Paper |
| Implementing Second-Derivative Multistep Methods Using the Nordsieck Polynomial Representation | 1978-01-01 | Paper |
| Some New High-Order Multistep Formulae for Solving Stiff Equations | 1976-01-01 | Paper |
| Some New Multistep Methods for Solving Ordinary Differential Equations | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5681477 | 1973-01-01 | Paper |
