Arguments in OWL: A Progress Report. - Iyad Rahwan; Bita Banihashemi (COMMA, 2008)

Representing and classifying arguments on the Semantic Web. - Iyad Rahwan; Bita Banihashemi; Chris Reed 001; Douglas Walton; Sherief Abdallah (Knowl. Eng. Rev., 2011)

Online Agent Supervision in the Situation Calculus. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2016)

Online Situation-Determined Agents and their Supervision. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (KR, 2016)

Abstraction in Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (AAAI, 2017)

Hierarchical Agent Supervision. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (AAMAS, 2018)

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2018)

Towards an Approach for Validating the Internet-of-Transactional-Things. - Zakaria Maamar; Mohamed Sellami; Nanjangud C. Narendra; Ikbel Guidara; Emir Ugljanin; Bita Banihashemi (AINA, 2020)

Thing Mutation as a Countermeasure to Safeguard IoT. - Bita Banihashemi; Zakaria Maamar; Noura Faci; Emir Ugljanin (MEDES, 2020)

When is a Program an Actual Cause? - Bita Banihashemi; Shakil M. Khan 001; Mikhail Soutchanski (ICLP Workshops, 2021)

From Actions to Programs as Abstract Actual Causes. - Bita Banihashemi; Shakil M. Khan 001; Mikhail Soutchanski (AAAI, 2022)

Abstraction of Nondeterministic Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (IJCAI, 2023)

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (CoRR, 2023)

Abstracting Situation Calculus Action Theories. - Bita Banihashemi; Giuseppe De Giacomo; Yves Lespérance (CoRR, 2024)