Bita Banihashemi

17 papers A* 6A 1B 1C 2Journal 5Unranked 1
YearRankTypeTitle / Venue / Authors
2025 J jnl
Abstracting situation calculus action theories.
Artif. Intell.
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2025 J jnl
Using Large Language Models for Abstraction of Planning Domains - Extended Version.
CoRR
Bita Banihashemi, Megh Patel, Yves Lespérance
2024 J jnl
Abstracting Situation Calculus Action Theories.
CoRR
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2023 J jnl
Abstraction of Nondeterministic Situation Calculus Action Theories - Extended Version.
CoRR
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2023 A* conf
Abstraction of Nondeterministic Situation Calculus Action Theories.
IJCAI
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2022 A* conf
From Actions to Programs as Abstract Actual Causes.
AAAI
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
2021 — conf
When is a Program an Actual Cause?
ICLP Workshops
Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski
2020 C conf
Thing Mutation as a Countermeasure to Safeguard IoT.
MEDES
Bita Banihashemi, Zakaria Maamar, Noura Faci, Emir Ugljanin
2020 B conf
Towards an Approach for Validating the Internet-of-Transactional-Things.
AINA
Zakaria Maamar, Mohamed Sellami, Nanjangud C. Narendra, Ikbel Guidara, Emir Ugljanin, Bita Banihashemi
2018 A* conf
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.
IJCAI
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2018 A conf
Hierarchical Agent Supervision.
AAMAS
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2017 A* conf
Abstraction in Situation Calculus Action Theories.
AAAI
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016 A* conf
Online Agent Supervision in the Situation Calculus.
IJCAI
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2016 A* conf
Online Situation-Determined Agents and their Supervision.
KR
Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance
2011 J jnl
Representing and classifying arguments on the Semantic Web.
Knowl. Eng. Rev.
Iyad Rahwan, Bita Banihashemi, Chris Reed, Douglas Walton, Sherief Abdallah
2008 C conf
Arguments in OWL: A Progress Report.
COMMA
Iyad Rahwan, Bita Banihashemi
2008 — —
Infrastructure for Mass Argumentation Support on the Semantic Web.
Bita Banihashemi