Pinboard (aheilbut) https://pinboard.in/u:aheilbut/public/ recent bookmarks from aheilbut What are the Fallacy Files? 2018-04-09T21:16:56+00:00 http://www.fallacyfiles.org/whatarff.html aheilbutlogic https://pinboard.in/ https://pinboard.in/u:aheilbut/b:32d80bdb55e7/ Oregon Programming Languages Summer School 2014-12-21T18:37:43+00:00 https://www.cs.uoregon.edu/research/summerschool/summer12/curriculum.html aheilbutcs theory logic programming types https://pinboard.in/ https://pinboard.in/u:aheilbut/b:5d644387a161/ Thou shalt not commit logical fallacies | poster 2013-04-05T02:46:29+00:00 https://yourlogicalfallacyis.com/poster aheilbutlogic https://pinboard.in/ https://pinboard.in/u:aheilbut/b:31f9768a337d/ Archive for Intensional Programming II 2013-02-05T04:17:37+00:00 http://www.cse.unsw.edu.au/~plaice/archive/ISLIP/ip2/index.html aheilbutintensional cs logic https://pinboard.in/ https://pinboard.in/u:aheilbut/b:885963e46a60/ LCType Logic 2012-05-30T23:24:47+00:00 http://www.dsslab.com/lctypelogichtml.html aheilbutlogic olap types https://pinboard.in/ https://pinboard.in/u:aheilbut/b:4310e8be3924/ Markov logic network - Wikipedia, the free encyclopedia 2012-05-12T21:31:09+00:00 http://en.wikipedia.org/wiki/Markov_logic_network aheilbutdatabases bayesian logic https://pinboard.in/ https://pinboard.in/u:aheilbut/b:745c5062b13b/ Alchemy - Open Source AI 2012-05-09T22:17:06+00:00 http://alchemy.cs.washington.edu/ aheilbutmarkovlogic logic machinelearning relational https://pinboard.in/ https://pinboard.in/u:aheilbut/b:df478c808001/ framework for experimental design and network expansion 2010-06-28T16:16:07+00:00 http://meed.molgen.mpg.de/ aheilbutmodeling reverseengineering logic software https://pinboard.in/u:aheilbut/b:0965bb903915/ IST4 2009-10-14T01:35:53+00:00 http://paradise.caltech.edu/ist4/index.html aheilbutcourse cs information logic https://pinboard.in/u:aheilbut/b:8c564d4580d1/ All About Circuits : Free Electric Circuits Textbooks 2009-10-06T18:05:51+00:00 http://www.allaboutcircuits.com/ aheilbutcircuits logic https://pinboard.in/u:aheilbut/b:89a040cd17e1/ Automata studies - Google Books 2009-10-06T04:35:09+00:00 http://books.google.com/books?id=oL57iECEeEwC&dq=Automata+Studies&printsec=frontcover&source=bn&hl=en&ei=XMjKSu-lK8rTlAeVzJiSAw&sa=X&oi=book_result&ct=result&resnum=4#v=onepage&q=&f=false aheilbutfinitestate classics logic cs https://pinboard.in/u:aheilbut/b:553c173f916a/ Implementing Mealy and Moore Machines 2009-09-22T16:03:27+00:00 http://www.cs.umd.edu/class/sum2003/cmsc311/Notes/Seq/impl.html aheilbutlogic sequential https://pinboard.in/u:aheilbut/b:1949cabe9656/ Arithmetic module generator Based on ARITH 2009-09-15T05:54:12+00:00 http://www.aoki.ecei.tohoku.ac.jp/arith/mg/ aheilbutlogic arithmetic https://pinboard.in/u:aheilbut/b:42a28c1194c5/ SVILB - support vector inductive logic programming - michael sternberg 2008-07-19T19:15:14+00:00 http://www.doc.ic.ac.uk/~shm/Papers/svilp.pdf aheilbut algorithms svm logic cs https://pinboard.in/u:aheilbut/b:9ce94795e2fe/