Aziz, Rehan Abdul
- Stable Model Counting and Its Application in Probabilistic Logic Programming
2014/11/20 by Aziz, Rehan Abdul, Chu, Geoffrey, Muise, Christian +1 · 2 citations
#Artificial Intelligence (cs.AI) #FOS: Computer and information sciences
- Projected Model Counting
2015/07/28 by Rehan Aziz, Aziz, Rehan Abdul, Geoffrey Chu +5 · 1 citation
Computer Science · #Artificial Intelligence (cs.AI) #Bayesian Modeling and Causal Inference #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge