List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Hybrid super-twisting fractional-order terminal sliding mode control for rolling spherical robot Asian Journal of Control | 2024-07-25 | Paper |
| Restricted Chase Termination: A Hierarchical Approach and Experimentation Rules and Reasoning | 2023-06-28 | Paper |
| Restricted chase termination for existential rules: a hierarchical approach and experimentation Theory and Practice of Logic Programming | 2021-09-03 | Paper |
| Distributed reasoning for restricted weakly-linear disjunctive tuple-generating dependencies | 2021-02-23 | Paper |
| Polynomial approximation to well-founded semantics for logic programs with generalized atoms: case studies Logic-Based Program Synthesis and Transformation | 2015-10-02 | Paper |
Research outcomes over time
This page was built for person: Arash Karimi
