Hayyan Helal

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 9

Top Topics

Logical Formulas

Quantifier Elimination

Top Venues

Publications

Gyunam Park, Majid Rafiei, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
Incorporating Behavioral Recommendations Mined from Event Logs into AI Planning. CAiSE Forum (2024)
Hayyan Helal, Gerhard Lakemeyer
An Analysis of the Decidability and Complexity of Numeric Additive Planning. ICAPS (2024)
Hayyan Helal, Gerhard Lakemeyer
Multi-Valued Partial Order Plans in Numeric Planning. CoRR (2023)
Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
Extracting Rules from Event Data for Study Planning. CoRR (2023)
Majid Rafiei, Duygu Bayrak, Mahsa Pourbafrani, Gyunam Park, Hayyan Helal, Gerhard Lakemeyer, Wil M. P. van der Aalst
Extracting Rules from Event Data for Study Planning. ICPM Workshops (2023)
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. LICS (2022)
Miriam Wagner, Hayyan Helal, Rene Roepke, Sven Judel, Jens Doveren, Sergej Görzen, Pouya Soudmand, Gerhard Lakemeyer, Ulrik Schroeder, Wil M. P. van der Aalst
A Combined Approach of Process Mining and Rule-based AI for Study Planning and Monitoring in Higher Education. CoRR (2022)
Erich Grädel, Hayyan Helal, Matthias Naaf, Richard Wilke
Zero-One Laws and Almost Sure Valuations of First-Order Logic in Semiring Semantics. CoRR (2022)
Miriam Wagner, Hayyan Helal, Rene Roepke, Sven Judel, Jens Doveren, Sergej Görzen, Pouya Soudmand, Gerhard Lakemeyer, Ulrik Schroeder, Wil M. P. van der Aalst
A Combined Approach of Process Mining and Rule-Based AI for Study Planning and Monitoring in Higher Education. ICPM Workshops (2022)