Banihashemi, Bita

5 publications

IJCAI 2023 Abstraction of Nondeterministic Situation Calculus Action Theories Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

AAAI 2022 From Actions to Programs as Abstract Actual Causes Bita Banihashemi, Shakil M. Khan, Mikhail Soutchanski

IJCAI 2018 Abstraction of Agents Executing Online and Their Abilities in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

AAAI 2017 Abstraction in Situation Calculus Action Theories Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance

IJCAI 2016 Online Agent Supervision in the Situation Calculus Bita Banihashemi, Giuseppe De Giacomo, Yves Lespérance