SAT: Projected model counting RA Aziz, G Chu, C Muise, P Stuckey International Conference on Theory and Applications of Satisfiability …, 2015 | 67 | 2015 |
Stable model counting and its application in probabilistic logic programming R Aziz, G Chu, C Muise, P Stuckey Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 25 | 2015 |
Stable model semantics for founded bounds RA Aziz, G Chu, PJ Stuckey Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013 | 15 | 2013 |
Answer set programming: founded bounds and model counting RA Aziz University of Melbourne, Department of Computing and Information Systems, 2015 | 13 | 2015 |
Distributed Model Checking Using Hadoop RA Aziz Technical report, Technical Report, Department of Computer Science, 2010 | 6 | 2010 |
Inductive definitions in constraint programming RA Aziz, PJ Stuckey, Z Somogyi Proceedings of the Thirty-Sixth Australasian Computer Science Conference …, 2013 | 5 | 2013 |
Distributed deadlock handling for resource allocation in smart spaces RA Aziz, T Janhunen, V Luukkala Conference on Smart Spaces, 87-98, 2011 | 5 | 2011 |
Bound founded answer set programming RA Aziz arXiv preprint arXiv:1405.3367, 2014 | 3 | 2014 |
Projected model counting RA Aziz, G Chu, C Muise, P Stuckey arXiv preprint arXiv:1507.07648, 2015 | 2 | 2015 |
Grounding bound founded answer set programs RA Aziz, G Chu, PJ Stuckey arXiv preprint arXiv:1405.3362, 2014 | 1 | 2014 |
Testing scalability of SSLS rule engine RA Aziz | 1 | 2011 |
Subjected to sexually inappropriate behavior? Set LIMITS R Aziz, J Marshall Current Psychiatry 16 (5), 53-54, 2017 | | 2017 |
Том. 5. Proceedings of the 29th AAAI Conference on Artificial Intelligence, AAAI 2015 and the 27th Innovative Applications of Artificial Intelligence Conference, IAAI 2015.-Сер … RA Aziz, G Chu, C Muise, P Stuckey, T Keller, F Geißer, A Ramdas, ... | | 2015 |