Bita Banihashemi

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 11

Top Topics

Situation Calculus

Top Venues

Publications

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Nondeterministic Situation Calculus Action Theories. IJCAI (2023)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version. CoRR (2023)
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
From Actions to Programs as Abstract Actual Causes. AAAI (2022)
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
When is a Program an Actual Cause? ICLP Workshops (2021)
Zakaria Maamar, Mohamed Sellami, Nanjangud C. Narendra, Ikbel Guidara, Emir Ugljanin, Bita Banihashemi
Towards an Approach for Validating the Internet-of-Transactional-Things. AINA (2020)
Bita Banihashemi, Zakaria Maamar, Noura Faci, Emir Ugljanin
Thing Mutation as a Countermeasure to Safeguard IoT. MEDES (2020)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. IJCAI (2018)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Hierarchical Agent Supervision. AAMAS (2018)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Abstraction in Situation Calculus Action Theories. AAAI (2017)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Online Situation-Determined Agents and their Supervision. KR (2016)
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
Online Agent Supervision in the Situation Calculus. IJCAI (2016)
Iyad Rahwan, Bita Banihashemi, Chris Reed, Douglas Walton, Sherief Abdallah
Representing and classifying arguments on the Semantic Web. Knowl. Eng. Rev. 26 (4) (2011)
Iyad Rahwan, Bita Banihashemi
Arguments in OWL: A Progress Report. COMMA (2008)