Arash Karimi
From MaRDI portal
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
