Bita Banihashemi

According to our database, Bita Banihashemi authored at least 13 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

CoRR, 2023

Abstraction of Nondeterministic Situation Calculus Action Theories.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

From Actions to Programs as Abstract Actual Causes.

Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

Proceedings of the Thirty-Sixth AAAI Conference on Artificial Intelligence, 2022

2021

When is a Program an Actual Cause?

Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming (ICLP 2021), 2021

2020

Thing Mutation as a Countermeasure to Safeguard IoT.

Bita Banihashemi, Zakaria Maamar, Noura Faci, Emir Ugljanin

Proceedings of the MEDES '20: 12th International Conference on Management of Digital EcoSystems, 2020

Towards an Approach for Validating the Internet-of-Transactional-Things.

Zakaria Maamar, Mohamed Sellami, Nanjangud C. Narendra, Ikbel Guidara, Emir Ugljanin, Bita Banihashemi

Proceedings of the Advanced Information Networking and Applications, 2020

2018

Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

Hierarchical Agent Supervision.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Proceedings of the 17th International Conference on Autonomous Agents and MultiAgent Systems, 2018

2017

Abstraction in Situation Calculus Action Theories.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

Online Situation-Determined Agents and their Supervision.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Online Agent Supervision in the Situation Calculus.

Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2011

Representing and classifying arguments on the Semantic Web.

Iyad Rahwan, Bita Banihashemi, Chris Reed, Douglas Walton, Sherief Abdallah

Knowl. Eng. Rev., 2011

2008

Arguments in OWL: A Progress Report.

Iyad Rahwan, Bita Banihashemi

Proceedings of the Computational Models of Argument: Proceedings of COMMA 2008, 2008