( en | de | ru )

 

Disambiguation of "El-Menshawy, Mohamed"

Author of the publication

copydeleteadd this publication to your clipboard
Computational logics and verification techniques of multi-agent commitments: survey.

, , , , and . Knowl. Eng. Rev., 30 (5): 564-606 (2015)

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.

Mohamed Anter Menshawy

Mohamed El-Menuawy

Mohamed El-Shazly

Mohamed El-Kahlout

Mohamed El-kersch

 

Other publications of authors with the same name

Verifying Temporal Trust Logic using CTL Model Checking., , , and . TRUST@AAMAS, volume 2154 of CEUR Workshop Proceedings, page 62-74. CEUR-WS.org, (2018)On the interaction between knowledge and social commitments in multi-agent systems., , , and . Appl. Intell., 41 (1): 235-259 (2014)Modeling and Verifying Business Interactions via Commitments and Dialogue Actions., , and . KES-AMSTA (2), volume 6071 of Lecture Notes in Computer Science, page 11-21. Springer, (2010)An Integrated Semantics of Social Commitments and Associated Operations., , and . MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Real-Time Conditional Commitment Logic., , , , , and . PRIMA, volume 9387 of Lecture Notes in Computer Science, page 547-556. Springer, (2015)Symbolic model checking for agent interactions., , , and . AAMAS, page 1555-1556. IFAAMAS, (2010)A New Semantics of Social Commitments Using Branching Space-Time Logic., , and . Web Intelligence/IAT Workshops, page 492-496. IEEE Computer Society, (2009)978-0-7695-3801-3.Enhancing Engineering Methodology for Communities of Web Services., , and . MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Computational logics and verification techniques of multi-agent commitments: survey., , , , and . Knowl. Eng. Rev., 30 (5): 564-606 (2015)Using Simulation-Based Forecasting to Project Singapore's Future Residential Construction Demand and Impacts on Sustainability., , , , and . WSC, page 843-854. IEEE, (2022)