Rehan Abdul Aziz

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 0

Top Topics

Satisfiability Testing

Probabilistic Logic

Logic Programming

Top Venues

Theory Pract. Log. Program.

Publications

Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter James Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. AAAI (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Projected Model Counting. CoRR (2015)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
#∃SAT: Projected Model Counting. SAT (2015)
Rehan Abdul Aziz
Bound Founded Answer Set Programming. CoRR (2014)
Rehan Abdul Aziz, Geoffrey Chu, Christian J. Muise, Peter J. Stuckey
Stable Model Counting and Its Application in Probabilistic Logic Programming. CoRR (2014)
Rehan Abdul Aziz, Geoffrey Chu, Peter James Stuckey
Grounding Bound Founded Answer Set Programs. CoRR (2014)
Rehan Abdul Aziz, Geoffrey Chu, Peter J. Stuckey
Stable model semantics for founded bounds. Theory Pract. Log. Program. 13 (4-5) (2013)
Rehan Abdul Aziz, Tomi Janhunen, Vesa Luukkala
Distributed Deadlock Handling for Resource Allocation in Smart Spaces. NEW2AN (2011)