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

City

New York / /

Company

Cambridge University Press / MIT Press / Plenum Press / FAP / UAP / TAP / MPA / GP A / /

Country

China / /

Currency

pence / /

/

Facility

Jianmin Ji Fangzhen Lin University of Science / Engineering Hong Kong University of Science / /

IndustryTerm

database systems / polynomial time algorithm / computing / /

OperatingSystem

Linux / /

Organization

Cambridge University / University of Science and Technology of China / Department of Computer Science / MIT / Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology / Artificial Copyright Intelligence / Hong Kong University of Science and Technology / Association for the Advancement / P EA / /

Person

Van Gelder / /

Position

head / /

ProgrammingLanguage

ML / /

PublishedMedium

Journal of the ACM / Annals of Mathematics / Journal of Artificial Intelligence Research / /

Technology

RAM / artificial intelligence / polynomial time algorithm / Technology of China P. R. China xpchen@ustc.edu.cn / Linux / /

URL

http /

SocialTag