Back to Results
First PageMeta Content
Philosophical logic / Logic in computer science / Model theory / Modal logic / First-order logic / Stable model semantics / Intuitionistic logic / Propositional calculus / Theorem / Logic / Mathematical logic / Non-classical logic


Discovering Classes of Strongly Equivalent Logic Programs∗ Fangzhen Lin Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong
Add to Reading List

Document Date: 2005-05-27 05:14:47

Open Document

File Size: 103,30 KB

Share Result on Facebook

Currency

pence / /

Facility

Yin Chen Software Institute Sun Yat-Sen University / Computer Science Hong Kong University of Science / /

IndustryTerm

machine learning tools / automated deduction tools / /

NaturalFeature

Technology Clear Water Bay / /

OperatingSystem

Solaris / /

Organization

Computer Science Hong Kong University of Science and Technology Clear Water Bay / Strongly Equivalent Logic Programs∗ Fangzhen Lin Department / Yin Chen Software Institute Sun Yat-Sen University Guangzhou / /

Person

Donald Michie / Jean Hayes / L. I. Mikulich / Yan Zhang / K.R. Apt / V / Donald Knuth / /

Position

Prime Minister / Some General / Forward / head / /

ProgrammingLanguage

FL / L / /

ProvinceOrState

Florida / Massachusetts / /

PublishedMedium

the Art advances / /

Technology

RAM / machine learning / artificial intelligence / /

URL

http /

SocialTag