Arash Karimi

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 6

Top Topics

Semantics For Logic Programs

Top Venues

Description Logics

IEEE Trans. Intell. Veh.

Publications

Shahab Karimi, Arash Karimi, Ardalan Vahidi
Level-$K$ Reasoning, Deep Reinforcement Learning, and Monte Carlo Decision Process for Fast and Safe Automated Lane Change and Speed Management. IEEE Trans. Intell. Veh. 8 (6) (2023)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation. Theory Pract. Log. Program. 21 (1) (2021)
Arash Karimi, Jia-Huai You
Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies. RuleML+RR (2020)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation. CoRR (2020)
Arash Karimi, Heng Zhang, Jia-Huai You
Restricted Chase Termination: A Hierarchical Approach and Experimentation. RuleML+RR (2018)
Arash Karimi, Heng Zhang, Jia-Huai You
Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant. Description Logics (2017)
Md. Solimul Chowdhury, Fangfang Liu, Wu Chen, Arash Karimi, Jia-Huai You
Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies. LOPSTR (2014)
Mahdieh Karimi Lakhani, Hamid Behnam, Arash Karimi
Secure transmission of images based on chaotic systems and cipher block chaining. J. Electronic Imaging 22 (1) (2013)