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
342015
Stable model semantics for founded bounds
RA Aziz, G Chu, PJ Stuckey
Theory and Practice of Logic Programming 13 (4-5), 517-532, 2013
142013
Stable model counting and its application in probabilistic logic programming
RA Aziz, G Chu, C Muise, PJ Stuckey
Twenty-ninth AAAI conference on artificial intelligence, 2015
132015
Answer set programming: founded bounds and model counting
RA Aziz
132015
Inductive definitions in constraint programming
RA Aziz, PJ Stuckey, Z Somogyi
Proceedings of the Thirty-Sixth Australasian Computer Science Conference …, 2013
62013
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
Projected model counting
RA Aziz, G Chu, C Muise, P Stuckey
arXiv preprint arXiv:1507.07648, 2015
42015
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-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