Back to Results
First PageMeta Content
Mathematics / Non-classical logic / Model theory / Predicate logic / Modal logic / Stable model semantics / First-order logic / Interpretation / Autoepistemic logic / Logic / Mathematical logic / Logic programming


From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong
Add to Reading List

Document Date: 2006-10-13 03:43:14

Open Document

File Size: 186,73 KB

Share Result on Facebook

Facility

Computer Science Hong Kong University of Science / /

NaturalFeature

Technology Clear Water Bay / /

Organization

Computer Science Hong Kong University of Science and Technology Clear Water Bay / GK Fangzhen Lin and Yi Zhou Department / /

Person

K.R. Apt / V / Vladimir Lifschitz / /

Position

General / /

Product

Latte W10 Portable Audio Device / /

PublishedMedium

Annals of Mathematics / /

SocialTag