Follow
Rehan Abdul Aziz
Rehan Abdul Aziz
Verified email at student.unimelb.edu.au
Title
Cited by
Cited by
Year
SAT: Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
International Conference on Theory and Applications of Satisfiability …, 2015
642015
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
242015
Stable model semantics for founded bounds
RA Aziz, G Chu, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013
152013
Answer set programming: founded bounds and model counting
RA Aziz
University of Melbourne, Department of Computing and Information Systems, 2015
132015
Distributed Model Checking Using Hadoop
RA Aziz
Technical report, Technical Report, Department of Computer Science, 2010
62010
Inductive definitions in constraint programming
RA Aziz, PJ Stuckey, Z Somogyi
Proceedings of the Thirty-Sixth Australasian Computer Science Conference …, 2013
52013
Distributed deadlock handling for resource allocation in smart spaces
RA Aziz, T Janhunen, V Luukkala
Conference on Smart Spaces, 87-98, 2011
52011
Bound founded answer set programming
RA Aziz
arXiv preprint arXiv:1405.3367, 2014
32014
Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
arXiv preprint arXiv:1507.07648, 2015
22015
Grounding bound founded answer set programs
RA Aziz, G Chu, PJ Stuckey
arXiv preprint arXiv:1405.3362, 2014
12014
Testing scalability of SSLS rule engine
RA Aziz
12011
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
The system can't perform the operation now. Try again later.
Articles 1–13