Netvouz / airpocket / tag / reasoning http://netvouz.com/airpocket/tag/reasoning?feed=rss airpocket's bookmarks tagged "reasoning" on Netvouz Invalid techniques of proof http://www.maths.uwa.edu.au/~berwin/humour/invalid.proofs.html airpocket Wed, 28 Feb 2007 22:27:47 GMT JTP: An Object Oriented Modular Reasoning System http://www.ksl.stanford.edu/software/JTP/ airpocket Tue, 21 Jun 2005 06:08:07 GMT OWLLisaKB: A rule-based OWL reasoner http://www.mindswap.org/~katz/OWLLisaKB/ airpocket Sun, 12 Mar 2006 07:02:18 GMT Probability Theory With Applications in Science and Engineering by Edwin Jaynes http://bayes.wustl.edu/etj/science.pdf.html airpocket Thu, 29 Nov 2007 10:52:19 GMT The Classic Knowledge Representation System http://www.bell-labs.com/project/classic/ airpocket Sun, 12 Mar 2006 07:53:36 GMT