Follow
Bita Banihashemi
Bita Banihashemi
Research Scholar, Ronin Institute
Verified email at ronininstitute.org
Title
Cited by
Cited by
Year
Representing and classifying arguments on the semantic web
I Rahwan, B Banihashemi, C Reed, D Walton, S Abdallah
The Knowledge Engineering Review 26 (4), 487-511, 2011
722011
Abstraction in situation calculus action theories
B Banihashemi, G De Giacomo, Y Lespérance
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
432017
Arguments in OWL: A progress report
I Rahwan, B Banihashemi
COMMA 2008, 297-310, 2008
332008
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus.
B Banihashemi, G De Giacomo, Y Lespérance
IJCAI, 1699-1706, 2018
14*2018
Hierarchical agent supervision
B Banihashemi, G De Giacomo, Y Lespérance
PROCEEDINGS OF THE INTERNATIONAL JOINT CONFERENCE ON AUTONOMOUS AGENTS AND …, 2018
82018
Towards an approach for validating the internet-of-transactional-things
Z Maamar, M Sellami, NC Narendra, I Guidara, E Ugljanin, ...
Advanced Information Networking and Applications: Proceedings of the 34th …, 2020
52020
Online Agent Supervision in the Situation Calculus.
B Banihashemi, G De Giacomo, Y Lespérance
IJCAI, 922-928, 2016
42016
Online situation-determined agents and their supervision
B Banihashemi, G De Giacomo, Y Lespérance
Fifteenth International Conference on the Principles of Knowledge …, 2016
42016
Online agent supervision in the situation calculus-Extended version
B Banihashemi, G De Giacomo, Y Lespérance
Technical Report EECS-2016-02, York University, 2016
32016
Abstraction of Nondeterministic Situation Calculus Action Theories
B Banihashemi, G De Giacomo, Y Lespérance
IJCAI, 2023
22023
From Actions to Programs as Abstract Actual Causes
B Banihashemi, SM Khan, M Soutchanski
Proceedings of the AAAI Conference on Artificial Intelligence 36 (5), 5470-5478, 2022
22022
Abstraction in situation calculus action theories-Extended version
B Banihashemi, G De Giacomo, Y Lespérance
Technical Report EECS-2016-04, York University, 2016
22016
Abstraction of Nondeterministic Situation Calculus Action Theories--Extended Version
B Banihashemi, G De Giacomo, Y Lespérance
arXiv preprint arXiv:2305.14222, 2023
12023
Thing Mutation as a Countermeasure to Safeguard IoT
B Banihashemi, Z Maamar, N Faci, E Ugljanin
Proceedings of the 12th International Conference on Management of Digital …, 2020
12020
When is a Program an Actual Cause?
B Banihashemi, SM Khan, M Soutchanski
ICLP Workshops, 2021
2021
Hierarchical Agent Supervision- Extended Version
B Banihashemi, G De Giacomo, Y Lespérance
2018
Abstraction of Agents Executing Online and their Abilities in the Situation Calculus - Extended Version
B Banihashemi, G De Giacomo, Y Lespérance
2018
Online and Hierarchical Agent Supervision
B Banihashemi
York University, 2018
2018
Infrastructure for Mass Argumentation Support on the Semantic Web
B Banihashemi
The British University in Dubai (BUiD), 2008
2008
The system can't perform the operation now. Try again later.
Articles 1–19