Sign in
Hayyan Helal
ORCID
Publication Activity (10 Years)
Years Active: 2022-2023
Publications (10 Years): 6
Top Topics
Logical Formulas
Valued Logic
Process Mining
Higher Education
Top Venues
CoRR
LICS
ICPM Workshops
</>
Publications
</>
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)
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)