Netvouz / airpocket / tag / logic http://netvouz.com/airpocket/tag/logic?feed=rss airpocket's bookmarks tagged "logic" on Netvouz Description Logics http://www.dl.kr.org/ airpocket Sun, 12 Mar 2006 07:04:53 GMT DESCRIPTION LOGICS course http://www.inf.unibz.it/~franconi/dl/course/ airpocket Sun, 12 Mar 2006 06:53:20 GMT Goedel's Theorem and Information http://www.cs.umaine.edu/~chaitin/georgia.html airpocket Sun, 16 Jul 2006 23:03:22 GMT Index of Bongard Problems http://www.cs.indiana.edu/~hfoundal/res/bps/bpidx.htm airpocket Sun, 14 May 2006 11:00:46 GMT Monotonic Reasoning on the Semantic Web ? http://robustai.net/papers/Monotonic_Reasoning_on_the_Semantic_Web.html airpocket Sun, 12 Mar 2006 21:17:17 GMT Prolog Tutorial http://cs.wwc.edu/~cs_dept/KU/PR/Prolog.html airpocket Sun, 27 Nov 2005 07:46:05 GMT Prolog Tutorial -- Contents http://www.csupomona.edu/~jrfisher/www/prolog_tutorial/contents.html airpocket Sun, 27 Nov 2005 07:46:34 GMT The Haskell Road to Logic, Maths and Programming http://homepages.cwi.nl/~jve/HR/ airpocket Mon, 05 Dec 2005 08:10:03 GMT