First Page | Document Content | |
---|---|---|
Date: 2010-04-28 01:22:31Metalogic Grammar Semantic Web Rule Interchange Format First-order logic Symbol Well-formed formula Knowledge representation and reasoning Semantics Logic Formal languages Logical syntax | The SILK Language December 22, 2009 This version:Add to Reading ListSource URL: www.stanford.eduDownload Document from Source WebsiteFile Size: 573,89 KBShare Document on Facebook |