Bita Banihashemi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
7
Active years
2008–2023
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | IJCAI | Abstraction of Nondeterministic Situation Calculus Action Theories. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2022 | AAAI | From Actions to Programs as Abstract Actual Causes. | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2021 | ICLP | When is a Program an Actual Cause? | Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski |
| 2020 | AINA | Towards an Approach for Validating the Internet-of-Transactional-Things. | Zakaria Maamar, Mohamed Sellami, Nanjangud C. Narendra, Ikbel Guidara, Emir Ugljanin, Bita Banihashemi |
| 2020 | MEDES | Thing Mutation as a Countermeasure to Safeguard IoT. | Bita Banihashemi, Zakaria Maamar, Noura Faci, Emir Ugljanin |
| 2018 | IJCAI | Abstraction of Agents Executing Online and their Abilities in the Situation Calculus. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2017 | AAAI | Abstraction in Situation Calculus Action Theories. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2016 | IJCAI | Online Agent Supervision in the Situation Calculus. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2016 | KR | Online Situation-Determined Agents and their Supervision. | Bita Banihashemi, Giuseppe De Giacomo, Yves Lesprance |
| 2008 | COMMA | Arguments in OWL: A Progress Report. | Iyad Rahwan, Bita Banihashemi |