First Page | Document Content | |
---|---|---|
Date: 2008-04-09 23:20:46Predicate 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 ScienceAdd to Reading ListSource URL: www.cs.ust.hkDownload Document from Source WebsiteFile Size: 142,42 KBShare Document on Facebook |