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


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.