Back to Results
First PageMeta Content
Predicate logic / Model theory / Quantification / First-order logic / Structure / Integration by substitution / FO / Function / Abductive logic programming / Logic / Mathematics / Mathematical logic


Abductive Logic Programming by Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department of Computer Science
Add to Reading List

Document Date: 2008-04-09 23:20:46

Open Document

File Size: 142,42 KB

Share Result on Facebook

Facility

Oxford University / Computing Science University of Alberta Edmonton / Computer Science Hong Kong University of Science / /

NaturalFeature

Technology Clear Water Bay / /

Organization

Nonground Rewrite Systems Fangzhen Lin Jia-Huai You Department / Artificial Copyright Intelligence / Hong Kong Department / Computer Science Hong Kong University of Science and Technology Clear Water Bay / Association for the Advancement / Computing Science University of Alberta Edmonton / Oxford University / /

Person

Lin Jia-Huai / Ai / Alberta Edmonton / /

Product

Sangean SR3 Radio / /

Technology

artificial intelligence / /

URL

www.aaai.org / /

SocialTag