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
302015
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
142015
Stable model semantics for founded bounds.
RA Aziz, G Chu, PJ Stuckey
Theory Pract. Log. Program. 13 (4-5), 517-532, 2013
132013
Answer set programming: founded bounds and model counting
RA Aziz
122015
Distributed deadlock handling for resource allocation in smart spaces
RA Aziz, T Janhunen, V Luukkala
Smart Spaces and Next Generation Wired/Wireless Networking, 87-98, 2011
52011
Distributed Model Checking Using Hadoop
RA Aziz
Technical report, Technical Report, Department of Computer Science, 2010
52010
Inductive definitions in constraint programming
RA Aziz, PJ Stuckey, Z Somogyi
Proceedings of the Thirty-Sixth Australasian Computer Science Conference …, 2013
42013
Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
arXiv preprint arXiv:1507.07648, 2015
22015
Bound founded answer set programming
RA Aziz
arXiv preprint arXiv:1405.3367, 2014
22014
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, 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