Author of the publication

Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant.

, , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies., and . RuleML+RR, volume 12173 of Lecture Notes in Computer Science, page 140-149. Springer, (2020)Level-$K$ Reasoning, Deep Reinforcement Learning, and Monte Carlo Decision Process for Fast and Safe Automated Lane Change and Speed Management., , and . IEEE Trans. Intell. Veh., 8 (6): 3556-3571 (June 2023)Restricted Chase Termination: A Hierarchical Approach and Experimentation., , and . RuleML+RR, volume 11092 of Lecture Notes in Computer Science, page 98-114. Springer, (2018)Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation., , and . Theory Pract. Log. Program., 21 (1): 4-50 (2021)Polynomial Approximation to Well-Founded Semantics for Logic Programs with Generalized Atoms: Case Studies., , , , and . LOPSTR, volume 8981 of Lecture Notes in Computer Science, page 279-296. Springer, (2014)Beyond Skolem Chase: A Study of Finite Chase under Standard Chase Variant., , and . Description Logics, volume 1879 of CEUR Workshop Proceedings, CEUR-WS.org, (2017)Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation., , and . CoRR, (2020)Secure transmission of images based on chaotic systems and cipher block chaining., , and . J. Electronic Imaging, 22 (1): 013025 (2013)