Back to Results
First PageMeta Content
Logic programming / Propositional calculus / Boolean algebra / Rules of inference / Stable model semantics / Answer set programming / Resolution / Atomic formula / Negation / Logic / Mathematical logic / Mathematics


Document Date: 2004-12-10 03:34:14

Open Document

File Size: 236,50 KB

Share Result on Facebook

City

Kowloon / /

Currency

pence / /

/

Facility

Computer Science Hong Kong University of Science / /

IndustryTerm

search space / /

NaturalFeature

Technology Clear Water Bay / /

Organization

Computer Science Hong Kong University of Science and Technology Clear Water Bay / Logic Program By SAT Solvers Fangzhen Lin and Yuting Zhao Department / /

Position

head / /

ProvinceOrState

Pennsylvania / /

SocialTag