Journal article
Stable model semantics for founded bounds
Rehan Abdul Aziz, Geoffrey Chu, Peter J Stuckey
Theory and Practice of Logic Programming | CAMBRIDGE UNIV PRESS | Published : 2013
Grants
Funding Acknowledgements
NICTA is funded by the Australian Government as represented by the Department of Broadband, Communications and the Digital Economy and the Australian Research Council through the ICT Centre of Excellence program.