| Publication | Date of Publication | Type |
|---|
FOLD-RM: A Scalable, Efficient, and Explainable Inductive Learning Algorithm for Multi-Category Classification of Mixed Data
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Building Information Modeling Using Constraint Logic Programming
Theory and Practice of Logic Programming | 2022-09-30 | Paper |
Synthesizing Imperative Code from Answer Set Programming Specifications
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
Modeling and reasoning in event calculus using goal-directed constraint answer set programming
Logic-Based Program Synthesis and Transformation | 2022-08-25 | Paper |
FOLD-R++: a scalable toolset for automated inductive learning of default theories from mixed data
(available as arXiv preprint) | 2022-08-10 | Paper |
| scientific article; zbMATH DE number 7455706 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455706 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
| scientific article; zbMATH DE number 7455707 (Why is no real title available?) | 2022-01-11 | Paper |
scientific article; zbMATH DE number 7455707 (Why is no real title available?)
(available as arXiv preprint) | 2022-01-11 | Paper |
White-box induction from SVM models: explainable AI with logic programming
Theory and Practice of Logic Programming | 2020-12-13 | Paper |
Steady state analysis of system size-based balking in \(M/M^b/1\) queue
International Journal of Mathematics in Operational Research | 2020-10-20 | Paper |
On finite buffer bulk arrival bulk service queue with queue length and batch size dependent service
International Journal of Applied and Computational Mathematics | 2019-04-18 | Paper |
Constraint answer set programming without grounding
Theory and Practice of Logic Programming | 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
Theory and Practice of Logic Programming | 2017-11-09 | Paper |
A new algorithm to automate inductive learning of default theories
Theory and Practice of Logic Programming | 2017-11-08 | Paper |
Dynamic consistency checking in goal-directed answer set programming
Theory and Practice of Logic Programming | 2014-11-25 | Paper |
Infinite computation, co-induction and computational logic
Algebra and Coalgebra in Computer Science | 2011-09-02 | Paper |
Verifying complex continuous real-time systems with coinductive CLP(R)
Language and Automata Theory and Applications | 2010-05-26 | Paper |
Coinductive logic programming with negation
Logic-Based Program Synthesis and Transformation | 2010-05-04 | Paper |
Coinductive Logic Programming and Its Applications
Logic Programming | 2009-03-05 | Paper |
Design and Implementation of ${\mathcal A}_T$ : A Real-Time Action Description Language
Logic Based Program Synthesis and Transformation | 2009-01-15 | Paper |
Coinductive Logic Programming
Logic Programming | 2008-03-11 | Paper |
PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
Theory and Practice of Logic Programming | 2007-12-10 | Paper |
Co-Logic Programming: Extending Logic Programming with Coinduction
Automata, Languages and Programming | 2007-11-28 | Paper |
Using position extrema points to capture shape in on-line handwritten signature verification
Pattern Recognition | 2007-07-11 | Paper |
Hydrodynamic stability of the plane Poiseuille flow of an electrorheological fluid
International Journal of Non-Linear Mechanics | 2007-03-28 | Paper |
AI 2005: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2006-11-14 | Paper |
Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms
Journal of Parallel and Distributed Computing | 2006-10-27 | Paper |
Logic Based Program Synthesis and Transformation
Lecture Notes in Computer Science | 2005-12-27 | Paper |
| scientific article; zbMATH DE number 2085267 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 2085277 (Why is no real title available?) | 2004-08-09 | Paper |
| scientific article; zbMATH DE number 1926608 (Why is no real title available?) | 2003-06-11 | Paper |
The temporal precedence problem
Algorithmica | 2000-12-03 | Paper |
Data structures for order-sensitive predicates in parallel nondeterministic systems
Acta Informatica | 2000-10-10 | Paper |
| scientific article; zbMATH DE number 1508929 (Why is no real title available?) | 2000-09-18 | Paper |
| scientific article; zbMATH DE number 1368924 (Why is no real title available?) | 2000-04-04 | Paper |
| scientific article; zbMATH DE number 1420827 (Why is no real title available?) | 2000-03-22 | Paper |
| scientific article; zbMATH DE number 1261910 (Why is no real title available?) | 1999-09-29 | Paper |
| scientific article; zbMATH DE number 1254022 (Why is no real title available?) | 1999-02-23 | Paper |
Parallel symbolic computation in ACE
Annals of Mathematics and Artificial Intelligence | 1998-06-09 | Paper |
Cuts and side-effects in and-or parallel Prolog
The Journal of Logic Programming | 1997-04-27 | Paper |
| scientific article; zbMATH DE number 712424 (Why is no real title available?) | 1995-01-17 | Paper |
And—or parallelism on shared-memory multiprocessors
The Journal of Logic Programming | 1993-12-06 | Paper |
Dynamic parallel evaluation of the cross-product set using time-stamps
Information Processing Letters | 1993-05-16 | Paper |
| scientific article; zbMATH DE number 4045106 (Why is no real title available?) | 1987-01-01 | Paper |
| scientific article; zbMATH DE number 4009680 (Why is no real title available?) | 1986-01-01 | Paper |
Description and Evaluation of a Stiff ODE Code DSTIFF
SIAM Journal on Scientific and Statistical Computing | 1985-01-01 | Paper |
Automatic integration of Euler-Lagrange equations with constraints
Journal of Computational and Applied Mathematics | 1985-01-01 | Paper |
| scientific article; zbMATH DE number 3921866 (Why is no real title available?) | 1985-01-01 | Paper |
An evaluation of some new cyclic linear multistep formulas for stiff ODEs
ACM Transactions on Mathematical Software | 1985-01-01 | Paper |
| Polynomial Formulation of Second Derivative Multistep Methods | 1982-01-01 | Paper |
| A Polynomial Representation of Hybrid Methods for Solving Ordinary Differential Equations | 1979-01-01 | Paper |
| A New Step-Size Changing Technique for Multistep Methods | 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 |
| scientific article; zbMATH DE number 3418569 (Why is no real title available?) | 1973-01-01 | Paper |
