First Page | Document Content | |
---|---|---|
Date: 2008-06-17 04:51:14Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic | Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of ChinaAdd to Reading ListSource URL: www.cs.ust.hkDownload Document from Source WebsiteFile Size: 164,77 KBShare Document on Facebook |