Works citing this work

3 works

Work: First-Order Dynamic Logic

1. Hoare logic for GOLOG programs

   Yongmei Liu

   DissertationLogic, programming, and type systemsTSpace20000 citations

   ABIABI:AkademIndex/openalex/2000.dissertation.000005

2. Hybrid Ensemble Learning For Robust QRS Complex Detection

   Dushanov Begmamat, Boburjon Vafoev, Hamdam Homidov +2

   ArticleECG Monitoring and Analysis20250 citations

   ABIABI:AkademIndex/openalex/2025.article.019004

3. Rethinking Humanities Education: The Impact of Artificial Intelligence and Neural Networks on Pedagogical Strategies

   Iroda Shamsieva, Luiza Sayfullovna Makhmutkhodjaeva, Jumaev Tulkin +1

   ChapterIntelligent Tutoring Systems and Adaptive LearningLecture notes in computer science20250 citations

   ABIABI:AkademIndex/openalex/2025.chapter.000106