Emad Eldeen Elakehal

Publication Activity (10 Years)

Years Active: 2008-2021
Publications (10 Years): 1

Top Topics

Modulo Theories

Dynamic Adaptation

Top Venues

University of Bath, UK (PHD)

Education History

University of Bath, UK

PHD

Publications

Emad Eldeen Elakehal, Joost Vennekens
A Logic-based Multiagent Product Configuration Model. ACSOS-C (2021)
Julian A. Padget, Emad Eldeen Elakehal, Ken Satoh, Fuyuki Ishikawa
On requirements representation and reasoning using answer set programming. AIRE (2014)
Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
Run-Time Verification of MSMAS Norms Using Event Calculus. SASO Workshops (2014)
Emad Eldeen Elakehal, Marco Montali, Julian A. Padget
Verifying MSMAS Model Using CIFF. MATES (2013)
Emad Eldeen Elakehal, Julian A. Padget
MSMAS: Modelling Self-managing Multi Agent Systems. Scalable Comput. Pract. Exp. 13 (2) (2012)
Emad Eldeen Elakehal, Julian A. Padget
Market intelligence and price adaptation. ICEC (2012)
Emad Eldeen Elakehal, Julian A. Padget
A Practical Method for Developing Multi Agent Systems: APMDMAS. IDC (2011)
Emad Eldeen Elakehal, Julian A. Padget
Pan-supplier stock control in a virtual warehouse. AAMAS (Industry Track) (2008)