Quratul-ain Mahesar

According to our database, Quratul-ain Mahesar authored at least 16 papers between 2007 and 2024.

Collaborative distances:

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

2024

An Extension-based Approach for Computing and Verifying Preferences in Abstract Argumentation.

Quratul-ain Mahesar, Nir Oren, Wamberto Weber Vasconcelos

CoRR, 2024

2023

Argument Schemes and a Dialogue System for Explainable Planning.

Quratul-ain Mahesar, Simon Parsons

ACM Trans. Intell. Syst. Technol., October, 2023

2021

Argument Schemes and Dialogue for Explainable Planning.

Quratul-ain Mahesar, Simon Parsons

CoRR, 2021

2020

A decision support system for urban infrastructure inter-asset management employing domain ontologies and qualitative uncertainty-based reasoning.

Lijun Wei, Heshan Du, Quratul-ain Mahesar, Kareem Al Ammari, Derek R. Magee, Barry Clarke, Vania Dimitrova, David Gunn, David Entwisle, Helen Reeves, Anthony G. Cohn

Expert Syst. Appl., 2020

Argument Schemes for Explainable Planning.

Quratul-ain Mahesar, Simon Parsons

CoRR, 2020

Building Trust in Human-Machine Partnerships.

Gerard Canal, Rita Borgo, Andrew Coles, Archie Drake, Dong Huynh, Perry Keller, Senka Krivic, Paul Luff, Quratul-ain Mahesar, Luc Moreau, Simon Parsons, Menisha Patel, Elizabeth I. Sklar

Comput. Law Secur. Rev., 2020

Preference Elicitation in Assumption-Based Argumentation.

Quratul-ain Mahesar, Nir Oren, Wamberto Weber Vasconcelos

Proceedings of the PRIMA 2020: Principles and Practice of Multi-Agent Systems, 2020

2018

Computing Preferences in Abstract Argumentation.

Quratul-ain Mahesar, Nir Oren, Wamberto Weber Vasconcelos

Proceedings of the PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29, 2018

Automated Reasoning for City Infrastructure Maintenance Decision Support.

Lijun Wei, Derek R. Magee, Vania Dimitrova, Barry Clarke, Heshan Du, Quratul-ain Mahesar, Kareem Al Ammari, Anthony G. Cohn

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

Computing Argument Preferences and Explanations in Abstract Argumentation.

Quratul-ain Mahesar

Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

ATU-DSS: Knowledge-Driven Data Integration and Reasoning for Sustainable Subsurface Inter-asset Management.

Lijun Wei, Heshan Du, Quratul-ain Mahesar, Barry Clarke, Derek R. Magee, Vania Dimitrova, David Gunn, David Entwisle, Helen Reeves, Anthony G. Cohn

Proceedings of the Semantic Web: ESWC 2018 Satellite Events, 2018

2017

Uncertainty Management for Rule-Based Decision Support Systems.

Quratul-ain Mahesar, Vania Dimitrova, Derek R. Magee, Anthony G. Cohn

Proceedings of the 29th IEEE International Conference on Tools with Artificial Intelligence, 2017

2014

Computing relatively large algebraic structures by automated theory exploration.

Quratul-ain Mahesar

PhD thesis, 2014

2012

Algebraic Theory Exploration: A Comparison of Technologies.

Quratul-ain Mahesar, Volker Sorge

Proceedings of the 14th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2012

A Term Rewriting System for Kuratowski's Closure-Complement Problem.

Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012

2007

Securing XML Web Services by using a Proxy Web Service Model.

Quratul-ain Mahesar, Asadullah Shah

Proceedings of the Advances in Computer and Information Sciences and Engineering, 2007