| Algorithms for decision problems in argument systems under preferred semantics S Nofal, K Atkinson, PE Dunne Artificial Intelligence 207, 23-51, 2014 | 63 | 2014 |
| Looking-ahead in backtracking algorithms for abstract argumentation S Nofal, K Atkinson, PE Dunne International Journal of Approximate Reasoning 78, 265-282, 2016 | 21 | 2016 |
| On Preferred Extension Enumeration in Abstract Argumentation. S Nofal, PE Dunne, K Atkinson COMMA 12, 205-216, 2012 | 19 | 2012 |
| Algorithms for argumentation semantics: labeling attacks as a generalization of labeling arguments S Nofal, K Atkinson, PE Dunne Journal of Artificial Intelligence Research 49, 635-668, 2014 | 13 | 2014 |
| An integrated methodology for big data classification and security for improving cloud systems data mobility I Hababeh, A Gharaibeh, S Nofal, I Khalil IEEE Access 7, 9153-9163, 2018 | 11 | 2018 |
| Towards Experimental Algorithms for Abstract Argumentation. S Nofal, PE Dunne, K Atkinson COMMA, 217-228, 2012 | 5 | 2012 |
| Algorithms for argument systems S Nofal University of Liverpool, 2013 | 3 | 2013 |
| Towards Average-case Algorithms for Abstract Argumentation. S Nofal, PE Dunne, K Atkinson ICAART (1), 225-230, 2012 | 3 | 2012 |
| Algorithms for Acceptance in Argument Systems. S Nofal, PE Dunne, K Atkinson ICAART (2), 34-43, 2013 | 2 | 2013 |
| Computing grounded extensions of abstract argumentation frameworks S Nofal, K Atkinson, PE Dunne The Computer Journal 64 (1), 54-63, 2021 | 1 | 2021 |
| On checking skeptical and ideal admissibility in abstract argumentation frameworks S Nofal, K Atkinson, PE Dunne Information Processing Letters 148, 7-12, 2019 | 1 | 2019 |
| AO (log n) signature-based string matching algorithm S Nofal 2009 Sixth International Conference on Information Technology: New …, 2009 | 1 | 2009 |
| A Smart Backtracking Algorithm for Computing Set Partitions with Parts of Certain Sizes S Nofal arXiv preprint arXiv:2011.03004, 2020 | | 2020 |
| Formal Validation of Recursive Backtracking Algorithms: The Case of Listing Stable Extensions in the Directed Graphs of Argumentation Frameworks S Nofal, AA Jabal, A Alfarrarjeh, I Hababeh arXiv preprint arXiv:2011.01489, 2020 | | 2020 |
| A New Labelling Algorithm for Generating Preferred Extensions of Abstract Argumentation Frameworks S Nofal, K Atkinson, PE Dunne, I Hababeh ICEIS 1, 340-348, 2019 | | 2019 |
| On Deciding Admissibility in Abstract Argumentation Frameworks. S Nofal, K Atkinson, PE Dunne KEOD, 67-75, 2019 | | 2019 |
| ArgTools: a Labelling-based Solver for Abstract Argumentation S Nofal, K Atkinson, PE Dunne | | 2017 |
| An Algorithm for Arabic Lexicon Generator Using Morphological Analysis S Nofal Natural Language Understanding and Cognitive Science, Proceedings of the 3rd …, 2006 | | 2006 |
