Back to Results
First PageMeta Content
Mathematics / 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 China
Add to Reading List

Document Date: 2008-06-17 04:51:14

Open Document

File Size: 164,77 KB

Share Result on Facebook
UPDATE