| Representing and classifying arguments on the semantic web I Rahwan, B Banihashemi, C Reed, D Walton, S Abdallah The Knowledge Engineering Review 26 (4), 487-511, 2011 | 76 | 2011 |
| Abstraction in situation calculus action theories B Banihashemi, G De Giacomo, Y Lespérance Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017 | 48 | 2017 |
| Arguments in OWL: A progress report I Rahwan, B Banihashemi Computational Models of Argument: Proceedings of COMMA 2008 172, 297, 2008 | 33* | 2008 |
| Abstraction of agents executing online and their abilities in the situation calculus B Banihashemi, G De Giacomo, Y Lespérance Proceedings of the Twenty-Seventh International Joint Conference on …, 2018 | 16 | 2018 |
| Hierarchical agent supervision B Banihashemi, G De Giacomo, Y Lespérance PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND …, 2018 | 9 | 2018 |
| Towards an approach for validating the internet-of-transactional-things Z Maamar, M Sellami, NC Narendra, I Guidara, E Ugljanin, ... Advanced Information Networking and Applications: Proceedings of the 34th …, 2020 | 6 | 2020 |
| Abstraction of Nondeterministic Situation Calculus Action Theories B Banihashemi, G De Giacomo, Y Lespérance IJCAI, 2023 | 5 | 2023 |
| Online Agent Supervision in the Situation Calculus. B Banihashemi, G De Giacomo, Y Lespérance IJCAI, 922-928, 2016 | 4 | 2016 |
| Online situation-determined agents and their supervision B Banihashemi, G De Giacomo, Y Lespérance Fifteenth International Conference on the Principles of Knowledge …, 2016 | 4 | 2016 |
| From Actions to Programs as Abstract Actual Causes B Banihashemi, SM Khan, M Soutchanski Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5470-5478, 2022 | 3 | 2022 |
| Online agent supervision in the situation calculus-Extended version B Banihashemi, G De Giacomo, Y Lespérance Technical Report EECS-2016-02, York University, 2016 | 3 | 2016 |
| Abstraction in situation calculus action theories-Extended version B Banihashemi, G De Giacomo, Y Lespérance Technical Report EECS-2016-04, York University, 2016 | 2 | 2016 |
| Abstraction of Nondeterministic Situation Calculus Action Theories--Extended Version B Banihashemi, G De Giacomo, Y Lespérance arXiv preprint arXiv:2305.14222, 2023 | 1 | 2023 |
| Thing Mutation as a Countermeasure to Safeguard IoT B Banihashemi, Z Maamar, N Faci, E Ugljanin Proceedings of the 12th International Conference on Management of Digital …, 2020 | 1 | 2020 |
| Abstracting Situation Calculus Action Theories B Banihashemi, G De Giacomo, Y Lespérance arXiv preprint arXiv:2410.14712, 2024 | | 2024 |
| When is a Program an Actual Cause? B Banihashemi, SM Khan, M Soutchanski ICLP Workshops, 2021 | | 2021 |
| Hierarchical Agent Supervision- Extended Version B Banihashemi, G De Giacomo, Y Lespérance | | 2018 |
| Abstraction of Agents Executing Online and their Abilities in the Situation Calculus - Extended Version B Banihashemi, G De Giacomo, Y Lespérance | | 2018 |
| Online and Hierarchical Agent Supervision B Banihashemi York University, 2018 | | 2018 |
| Infrastructure for Mass Argumentation Support on the Semantic Web B Banihashemi The British University in Dubai (BUiD), 2008 | | 2008 |
