Discovered Topics
language
logic
education
reference
philosophy
psychology
argument
ethics
debate
writing
[Discover] Critical Thinking http://www.criticalthinking.org.uk/
(philosophy language reference thinking) 
[Discover] Critical Thinking On The Web http://www.austhink.org/critical/ (philosophy critical culture criticalthinking)
[Discover] Brian Yoder's Fallacy Zoo http://www.goodart.org/fallazoo.htm (logic philosophy language reference)
[Discover] Glen Whitman's Debate Page http://www.csun.edu/~dgw61315/dgwdebate.html (debate logic philosophy reference)
[Discover] Logical Fallacies .info http://www.logicalfallacies.info/ (philosophy debate logic fallacy)
[Discover] Logical Fallacies: The Fallacy Files http://www.fallacyfiles.org/index.html (debate fallacy psychology language)
[Discover] Why smart people defend bad ideas - scottberkun.com http://www.scottberkun.com/essays/essay40.htm (logic psychology debate essay)
[Discover] Logic http://www.philosophypages.com/lg/index.htm (philosophy reference logic education)
[Discover] Logical Fallacies and How to Spot Them http://www.daltonator.net/durandal/creationism/fallacies.shtml (philosophy religion evolution science)
[Discover] What is Occam's Razor? http://math.ucr.edu/home/baez/physics/General/occam.html (philosophy history science law)
[Discover] Some paradoxes http://www.paradoxes.co.uk/ (philosophy paradox toread puzzles)
[Discover] The 'Greed' Fallacy http://www.realclearpolitics.com/articles/2007/01/the_greed_fallacy.html (economics fallacies logic)
[Discover] Fallacies http://www.nizkor.org/features/fallacies/ (debate argument reference philosophy)
[Discover] Why Smart People Believer Weird Things--Prof. Shermer http://skeptically.org/logicalthreads/id15.html (writing psychology logic culture)
[Discover] Critical thinking web http://philosophy.hku.hk/think/ (philosophy psychology tutorial criticalthinking)
[Discover] The Taxonomy of Logical Fallacies http://www.fallacyfiles.org/taxonomy.html (philosophy language logic reference)
[Discover] The Atheism Web: Logic & Fallacies http://www.infidels.org/news/atheism/logic.html (logic skeptic reference philosophy)
[Discover] Introduction to Logic http://philosophy.lander.edu/logic/index.html (reference logic)
[Discover] Argumentation theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Argumentation_theory (debate philosophy argumentation inference)

[Discover] Monotonic Reasoning on the Semantic Web ? http://robustai.net/papers/Monotonic_Reasoning_on_the_Semantic_Web.html (monotonic logic reasoning semweb)
[Discover] Peter Suber, "Translation Tips" http://www.earlham.edu/~peters/courses/log/transtip.htm#tup26 (tips logic language)
[Discover] Progic 2007 http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/volume.htm (logic probability bayesian cfp)
[Discover] IKL Guide http://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.html (knowledge logic representation common)
[Discover] Decidability (logic) - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Decidability_(logic) (fol logic)
[Discover] RDF, butt first http://dannyayers.com/2005/09/04/rdf-bottom-up/ (rdf tutorial sweo semweb)
[Discover] DatabasEsque - owl1-1 - Google Code http://code.google.com/p/owl1-1/wiki/DatabasEsque (semanticweb owl project dlp)
[Discover] LOPSTR 2007 http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ (programming conference logic)
[Discover] Processes and Causality http://www.jfsowa.com/ontology/causal.htm (network flow process chaos)
[Discover] E-Connections of Web Ontologies http://www.mindswap.org/2004/multipleOnt/ (ontology semanticweb research semweb)
[Discover] BOR - a Pragmatic DAML+OIL Reasoner http://www.ontotext.com/bor/ (inference daml owl description)
[Discover] Peter Suber: Logical Systems http://www.earlham.edu/~peters/courses/logsys/lshome.htm (reference mathematics logic philosophy)
[Discover] ALP Newsletter http://www.cs.kuleuven.ac.be/~dtai/projects/ALP//newsletter/dec07/ (weekly papers semweb newsletter)
[Discover] RIF Basic Logic Dialect http://www.w3.org/TR/rif-bld/ (rif rules logic rdf)
[Discover] Practical Temporal Reasoning with Notation 3 ✏Copia http://copia.ogbuji.net/blog/2006-04-24/practical_temporal_reasoning_with_N3 (temporal rdf time rules)
[Discover] Integrating Naïve Bayes and FOIL http://jmlr.csail.mit.edu/papers/v8/landwehr07a.html (programming paper ilp abstract)
[Discover] Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html (math mathematics logic free)
[Discover] The Reasoner http://www.thereasoner.org/ (philosophy research logic science)
[Discover] RDF(S), Rules, and OWL Dialects http://www.ontotext.com/inference/rdfs_rules_owl.html (semanticweb ontology owl rdf)
[Discover] USENIX 2003 Annual Technical Conference, General Track — Paper http://www.usenix.org/events/usenix03/tech/full_papers/padioleau/padioleau_html/index.html (paths database filesystem logic)
[Discover] Semiotic Development http://morenews.blogspot.com/2005/01/semiotic-development.html (logic)
[Discover] Phl 313K Logic, Sets and Functions http://www.utexas.edu/courses/phl313k/ (course sets functions logic)
[Discover] The Logical Foundations of Computer Science and Mathematics http://cs.wwc.edu/~aabyan/Logic/ (compsci logic philosophy book)
[Discover] Frank Cotham : “We’ll start out by speaking in simple declarative sentences.” - ... http://www.thenewyorkerstore.com/product_details.asp?mscssid=17QPRB0R3MS68L95JT1W2NDRNSTJ41JB&si ... (declarative cavemen cartoon logic)
[Discover] Stefano's Linotype ~ Closed World vs. Open World: the First Semantic Web Battle http://www.betaversion.org/~stefano/linotype/news/91/ (rdf semantic ontology semweb)
[Discover] Stove's Anything Goes: Origins of the Cult of Scientific Irrationalism. Critique by Rafe Champion http://www.the-rathouse.com/AnythingGoes.html (philosophy logic)
[Discover] RE: Evidence for backing statements from Eric Neumann on 2007-05-18 (public-semweb-lifesci@w3.org ... http://lists.w3.org/Archives/Public/public-semweb-lifesci/2007May/0164.html (uncertainty semanticweb logic)
[Discover] Building the Semantic Web on XML [1] http://www-db.research.bell-labs.com/user/pfps/talks/owl-meaning/ (inference semanticweb semweb reasoning)
[Discover] Description Logic Programs http://logic.aifb.uni-karlsruhe.de/ (descriptionlogics programming semanticweb owl)
[Discover] RIF-WG: W3C Rule Interchange Format Working Group Charter http://www.w3.org/2005/rules/wg/charter (rule group owl working)
[Discover] Mathematical Background http://www.jfsowa.com/logic/math.htm (math logic books science)
[Discover] ACL2 Version 3.2 http://www.cs.utexas.edu/users/moore/acl2/ (lisp tool programming theorem)
[Discover] Inductive Logic Programming http://www.doc.ic.ac.uk/~shm/ilp.html (programming logic reasoning research)
[Discover] PyCLIPS | Home Page http://pyclips.sourceforge.net/ (logic clips python inference)
[Discover] Who owns the fish? A Common Lisp solution to "Einstein's Riddle" http://www.weitz.de/einstein.html (lisp programming riddle code)
[Discover] David Stove, Philosopher http://web.maths.unsw.edu.au/~jim/davidstove.html (philosophy culture logic science)
[Discover] Description Logic Programs: Combining Logic Programs with Description Logic - Grosof, Horrocks, ... http://citeseer.ist.psu.edu/grosof03description.html (ontology programming paper language)
[Discover] MINS Reasoner http://tools.deri.org/mins/ (tool computer logic research)
[Discover] F-OWL: an Inference Engine for the Semantic Web (application/pdf Object) http://ebiquity.umbc.edu/_file_directory_/papers/128.pdf (inference semanticweb reasoning ontologyt)
[Discover] Informal Fallacies http://www.positiveatheism.org/writ/fallacy.htm (logic)
[Discover] A Problem Course in Mathematical Logic http://euclid.trentu.ca/math/sb/pcml/ (logic book mathematics books)
[Discover] Towards Soft Computing Object-Oriented Logic Programming - Baldwin, Cao, Martin, Rossiter ( ... http://citeseer.ist.psu.edu/baldwin00towards.html (programming softcomputing paper oop)
[Discover] FAQ: stratified class hierarchies vs. RDFS from Dan Connolly on 2002-06-20 (www-rdf-comments@w3. ... http://lists.w3.org/Archives/Public/www-rdf-comments/2002AprJun/0192.html (semweb set owl theory)
[Discover] My Definition of Semi-structured Data http://copia.ogbuji.net/blog/2006-05-16/definition-of-semi-structured-data (datamodelling rdf logic)
[Discover] Non-Axiomatic Reasoning System (NARS) http://www.cogsci.indiana.edu/farg/peiwang/papers.html (inference reasoning nonaxiomatic nars)
[Discover] Index (elo) http://www.logilab.org/ (python opensource code programming)
[Discover] Mathematical logic - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Mathematical_logic (semweb theory logic)
[Discover] Main Page - The Twelf Project http://twelf.plparty.org/wiki/Main_Page (mathematics research twelf logic)
[Discover] Vampire theorem prover - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Vampire_theorem_prover#External_links (theorem vampire prover reasoning)
[Discover] Critical Thinking On The Web http://www.austhink.org/critical/ (philosophy critical culture criticalthinking)
[Discover] Brian Yoder's Fallacy Zoo http://www.goodart.org/fallazoo.htm (logic philosophy language reference)
[Discover] Glen Whitman's Debate Page http://www.csun.edu/~dgw61315/dgwdebate.html (debate logic philosophy reference)
[Discover] Logical Fallacies .info http://www.logicalfallacies.info/ (philosophy debate logic fallacy)
[Discover] Logical Fallacies: The Fallacy Files http://www.fallacyfiles.org/index.html (debate fallacy psychology language)
[Discover] Why smart people defend bad ideas - scottberkun.com http://www.scottberkun.com/essays/essay40.htm (logic psychology debate essay)
[Discover] Logic http://www.philosophypages.com/lg/index.htm (philosophy reference logic education)
[Discover] Logical Fallacies and How to Spot Them http://www.daltonator.net/durandal/creationism/fallacies.shtml (philosophy religion evolution science)
[Discover] What is Occam's Razor? http://math.ucr.edu/home/baez/physics/General/occam.html (philosophy history science law)
[Discover] Some paradoxes http://www.paradoxes.co.uk/ (philosophy paradox toread puzzles)
[Discover] The 'Greed' Fallacy http://www.realclearpolitics.com/articles/2007/01/the_greed_fallacy.html (economics fallacies logic)
[Discover] Fallacies http://www.nizkor.org/features/fallacies/ (debate argument reference philosophy)
[Discover] Why Smart People Believer Weird Things--Prof. Shermer http://skeptically.org/logicalthreads/id15.html (writing psychology logic culture)
[Discover] Critical thinking web http://philosophy.hku.hk/think/ (philosophy psychology tutorial criticalthinking)
[Discover] The Taxonomy of Logical Fallacies http://www.fallacyfiles.org/taxonomy.html (philosophy language logic reference)
[Discover] The Atheism Web: Logic & Fallacies http://www.infidels.org/news/atheism/logic.html (logic skeptic reference philosophy)
[Discover] Introduction to Logic http://philosophy.lander.edu/logic/index.html (reference logic)
[Discover] Argumentation theory - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Argumentation_theory (debate philosophy argumentation inference)
[Discover] Informal logic - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Informal_logic (wikipedia writing informal argument)
[Discover] Monotonic Reasoning on the Semantic Web ? http://robustai.net/papers/Monotonic_Reasoning_on_the_Semantic_Web.html (monotonic logic reasoning semweb)
[Discover] Peter Suber, "Translation Tips" http://www.earlham.edu/~peters/courses/log/transtip.htm#tup26 (tips logic language)
[Discover] Progic 2007 http://www.kent.ac.uk/secl/philosophy/jw/2007/progic/volume.htm (logic probability bayesian cfp)
[Discover] IKL Guide http://www.ihmc.us/users/phayes/IKL/GUIDE/GUIDE.html (knowledge logic representation common)
[Discover] Decidability (logic) - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Decidability_(logic) (fol logic)
[Discover] RDF, butt first http://dannyayers.com/2005/09/04/rdf-bottom-up/ (rdf tutorial sweo semweb)
[Discover] DatabasEsque - owl1-1 - Google Code http://code.google.com/p/owl1-1/wiki/DatabasEsque (semanticweb owl project dlp)
[Discover] LOPSTR 2007 http://www.cs.kent.ac.uk/events/conf/2007/lopstr/ (programming conference logic)
[Discover] Processes and Causality http://www.jfsowa.com/ontology/causal.htm (network flow process chaos)
[Discover] E-Connections of Web Ontologies http://www.mindswap.org/2004/multipleOnt/ (ontology semanticweb research semweb)
[Discover] BOR - a Pragmatic DAML+OIL Reasoner http://www.ontotext.com/bor/ (inference daml owl description)
[Discover] Peter Suber: Logical Systems http://www.earlham.edu/~peters/courses/logsys/lshome.htm (reference mathematics logic philosophy)
[Discover] ALP Newsletter http://www.cs.kuleuven.ac.be/~dtai/projects/ALP//newsletter/dec07/ (weekly papers semweb newsletter)
[Discover] RIF Basic Logic Dialect http://www.w3.org/TR/rif-bld/ (rif rules logic rdf)
[Discover] Practical Temporal Reasoning with Notation 3 ✏Copia http://copia.ogbuji.net/blog/2006-04-24/practical_temporal_reasoning_with_N3 (temporal rdf time rules)
[Discover] Integrating Naïve Bayes and FOIL http://jmlr.csail.mit.edu/papers/v8/landwehr07a.html (programming paper ilp abstract)
[Discover] Practical Foundations of Mathematics http://www.cs.man.ac.uk/~pt/Practical_Foundations/index.html (math mathematics logic free)
[Discover] The Reasoner http://www.thereasoner.org/ (philosophy research logic science)
[Discover] RDF(S), Rules, and OWL Dialects http://www.ontotext.com/inference/rdfs_rules_owl.html (semanticweb ontology owl rdf)
[Discover] USENIX 2003 Annual Technical Conference, General Track — Paper http://www.usenix.org/events/usenix03/tech/full_papers/padioleau/padioleau_html/index.html (paths database filesystem logic)
[Discover] Semiotic Development http://morenews.blogspot.com/2005/01/semiotic-development.html (logic)
[Discover] Phl 313K Logic, Sets and Functions http://www.utexas.edu/courses/phl313k/ (course sets functions logic)
[Discover] The Logical Foundations of Computer Science and Mathematics http://cs.wwc.edu/~aabyan/Logic/ (compsci logic philosophy book)
[Discover] Frank Cotham : “We’ll start out by speaking in simple declarative sentences.” - ... http://www.thenewyorkerstore.com/product_details.asp?mscssid=17QPRB0R3MS68L95JT1W2NDRNSTJ41JB&si ... (declarative cavemen cartoon logic)
[Discover] Stefano's Linotype ~ Closed World vs. Open World: the First Semantic Web Battle http://www.betaversion.org/~stefano/linotype/news/91/ (rdf semantic ontology semweb)
[Discover] Stove's Anything Goes: Origins of the Cult of Scientific Irrationalism. Critique by Rafe Champion http://www.the-rathouse.com/AnythingGoes.html (philosophy logic)
[Discover] RE: Evidence for backing statements from Eric Neumann on 2007-05-18 (public-semweb-lifesci@w3.org ... http://lists.w3.org/Archives/Public/public-semweb-lifesci/2007May/0164.html (uncertainty semanticweb logic)
[Discover] Building the Semantic Web on XML [1] http://www-db.research.bell-labs.com/user/pfps/talks/owl-meaning/ (inference semanticweb semweb reasoning)
[Discover] Description Logic Programs http://logic.aifb.uni-karlsruhe.de/ (descriptionlogics programming semanticweb owl)
[Discover] RIF-WG: W3C Rule Interchange Format Working Group Charter http://www.w3.org/2005/rules/wg/charter (rule group owl working)
[Discover] Mathematical Background http://www.jfsowa.com/logic/math.htm (math logic books science)
[Discover] ACL2 Version 3.2 http://www.cs.utexas.edu/users/moore/acl2/ (lisp tool programming theorem)
[Discover] Inductive Logic Programming http://www.doc.ic.ac.uk/~shm/ilp.html (programming logic reasoning research)
[Discover] PyCLIPS | Home Page http://pyclips.sourceforge.net/ (logic clips python inference)
[Discover] Who owns the fish? A Common Lisp solution to "Einstein's Riddle" http://www.weitz.de/einstein.html (lisp programming riddle code)
[Discover] David Stove, Philosopher http://web.maths.unsw.edu.au/~jim/davidstove.html (philosophy culture logic science)
[Discover] Description Logic Programs: Combining Logic Programs with Description Logic - Grosof, Horrocks, ... http://citeseer.ist.psu.edu/grosof03description.html (ontology programming paper language)
[Discover] MINS Reasoner http://tools.deri.org/mins/ (tool computer logic research)
[Discover] F-OWL: an Inference Engine for the Semantic Web (application/pdf Object) http://ebiquity.umbc.edu/_file_directory_/papers/128.pdf (inference semanticweb reasoning ontologyt)
[Discover] Informal Fallacies http://www.positiveatheism.org/writ/fallacy.htm (logic)
[Discover] A Problem Course in Mathematical Logic http://euclid.trentu.ca/math/sb/pcml/ (logic book mathematics books)
[Discover] Towards Soft Computing Object-Oriented Logic Programming - Baldwin, Cao, Martin, Rossiter ( ... http://citeseer.ist.psu.edu/baldwin00towards.html (programming softcomputing paper oop)
[Discover] FAQ: stratified class hierarchies vs. RDFS from Dan Connolly on 2002-06-20 (www-rdf-comments@w3. ... http://lists.w3.org/Archives/Public/www-rdf-comments/2002AprJun/0192.html (semweb set owl theory)
[Discover] My Definition of Semi-structured Data http://copia.ogbuji.net/blog/2006-05-16/definition-of-semi-structured-data (datamodelling rdf logic)
[Discover] Non-Axiomatic Reasoning System (NARS) http://www.cogsci.indiana.edu/farg/peiwang/papers.html (inference reasoning nonaxiomatic nars)
[Discover] Index (elo) http://www.logilab.org/ (python opensource code programming)
[Discover] Mathematical logic - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Mathematical_logic (semweb theory logic)
[Discover] Main Page - The Twelf Project http://twelf.plparty.org/wiki/Main_Page (mathematics research twelf logic)
[Discover] Vampire theorem prover - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Vampire_theorem_prover#External_links (theorem vampire prover reasoning)

