corpus.blog
41554 blogs · [ { "id": "01a0bb79-73c5-73a1-bcad-156d4c62116f", "title": "Interesting times in Silicon Valley by John Markoff", "url": "http://logic-forall.blogspot.com/2015/11/interesting-times-in-silicon-valley-by.html", "published_at": "2015-11-18T01:38:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852363a456", "title": "Interesting times in Silicon Valley by John Markoff", "url": "https://logic-forall.blogspot.com/2015/11/interesting-times-in-silicon-valley-by.html", "published_at": "2015-11-18T01:38:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4cb21feb", "title": "Google Translate and Deep Learning", "url": "http://logic-forall.blogspot.com/2015/11/google-translate-and-deep-learning.html", "published_at": "2015-11-18T01:30:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852438db5d", "title": "Google Translate and Deep Learning", "url": "https://logic-forall.blogspot.com/2015/11/google-translate-and-deep-learning.html", "published_at": "2015-11-18T01:30:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4cf73fdf", "title": "How well did Jeff Dean predict research in 2008?", "url": "http://logic-forall.blogspot.com/2015/11/how-well-did-jeff-dean-predict-research.html", "published_at": "2015-11-18T01:27:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb8525250328", "title": "How well did Jeff Dean predict research in 2008?", "url": "https://logic-forall.blogspot.com/2015/11/how-well-did-jeff-dean-predict-research.html", "published_at": "2015-11-18T01:27:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4d108b6f", "title": "Ada Lovelace Day 2015", "url": "http://logic-forall.blogspot.com/2015/10/ada-lovelace-day-2015.html", "published_at": "2015-10-31T23:22:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb8525e4389c", "title": "Ada Lovelace Day 2015", "url": "https://logic-forall.blogspot.com/2015/10/ada-lovelace-day-2015.html", "published_at": "2015-10-31T23:22:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4dad8247", "title": "Questions, Problems and Projects: Finding the wood from the trees", "url": "http://logic-forall.blogspot.com/2015/10/questions-problems-and-projects-finding.html", "published_at": "2015-10-05T00:42:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb8526d0630b", "title": "Questions, Problems and Projects: Finding the wood from the trees", "url": "https://logic-forall.blogspot.com/2015/10/questions-problems-and-projects-finding.html", "published_at": "2015-10-05T00:42:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4de57590", "title": "Nat@Logic 2015", "url": "http://logic-forall.blogspot.com/2015/09/natlogic-2015.html", "published_at": "2015-09-15T10:52:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852719ef0e", "title": "Nat@Logic 2015", "url": "https://logic-forall.blogspot.com/2015/09/natlogic-2015.html", "published_at": "2015-09-15T10:52:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4ecc543e", "title": "Logic and Probabilistic Methods for Dialog", "url": "http://logic-forall.blogspot.com/2015/09/logic-and-probabilistic-methods-for.html", "published_at": "2015-09-15T10:28:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb8527d646e5", "title": "Logic and Probabilistic Methods for Dialog", "url": "https://logic-forall.blogspot.com/2015/09/logic-and-probabilistic-methods-for.html", "published_at": "2015-09-15T10:28:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d4f7f8c91", "title": "Where are we now?", "url": "http://logic-forall.blogspot.com/2015/09/where-are-we-now.html", "published_at": "2015-09-10T14:18:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb8527eabe97", "title": "Where are we now?", "url": "https://logic-forall.blogspot.com/2015/09/where-are-we-now.html", "published_at": "2015-09-10T14:18:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d50400ba6", "title": "Mathematicians in the Interwebs", "url": "http://logic-forall.blogspot.com/2015/07/mathematicians-in-interwebs.html", "published_at": "2015-07-26T17:27:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb8528875cb0", "title": "Mathematicians in the Interwebs", "url": "https://logic-forall.blogspot.com/2015/07/mathematicians-in-interwebs.html", "published_at": "2015-07-26T17:27:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d50b16ea6", "title": "A very old post from May 2013: Learning to love stats", "url": "http://logic-forall.blogspot.com/2015/07/a-very-old-post-from-may-2013-learning.html", "published_at": "2015-07-15T01:22:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852941f8c2", "title": "A very old post from May 2013: Learning to love stats", "url": "https://logic-forall.blogspot.com/2015/07/a-very-old-post-from-may-2013-learning.html", "published_at": "2015-07-15T01:22:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d5120ee4c", "title": "Every day is Ada Lovelace's day", "url": "http://logic-forall.blogspot.com/2015/07/every-day-is-ada-lovelaces-day.html", "published_at": "2015-07-11T23:12:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852a3e748f", "title": "Every day is Ada Lovelace's day", "url": "https://logic-forall.blogspot.com/2015/07/every-day-is-ada-lovelaces-day.html", "published_at": "2015-07-11T23:12:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d51846548", "title": "Why is this a Proof? Luiz Carlos Festschrift", "url": "http://logic-forall.blogspot.com/2015/07/why-is-this-proof-luiz-carlos.html", "published_at": "2015-07-08T14:26:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852a460236", "title": "Why is this a Proof? Luiz Carlos Festschrift", "url": "https://logic-forall.blogspot.com/2015/07/why-is-this-proof-luiz-carlos.html", "published_at": "2015-07-08T14:26:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d52505d44", "title": "Stanford's Workshop on Logic, Rationality, and Interaction", "url": "http://logic-forall.blogspot.com/2015/07/stanfords-workshop-on-logic-rationality.html", "published_at": "2015-07-02T20:57:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852a465a3f", "title": "Stanford's Workshop on Logic, Rationality, and Interaction", "url": "https://logic-forall.blogspot.com/2015/07/stanfords-workshop-on-logic-rationality.html", "published_at": "2015-07-02T20:57:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d531e4b90", "title": "Advice on Constructive Modal Logic", "url": "http://logic-forall.blogspot.com/2015/06/advice-on-constructive-modal-logic.html", "published_at": "2015-06-27T15:51:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852b1ab864", "title": "Advice on Constructive Modal Logic", "url": "https://logic-forall.blogspot.com/2015/06/advice-on-constructive-modal-logic.html", "published_at": "2015-06-27T15:51:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d53420b8d", "title": "Plans, plans and expectations", "url": "http://logic-forall.blogspot.com/2015/06/plans-plans-and-expectations.html", "published_at": "2015-06-13T23:54:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852b2c893b", "title": "Plans, plans and expectations", "url": "https://logic-forall.blogspot.com/2015/06/plans-plans-and-expectations.html", "published_at": "2015-06-13T23:54:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d53949a68", "title": "Logic Spring at Stanford", "url": "http://logic-forall.blogspot.com/2015/06/logic-spring-at-stanford.html", "published_at": "2015-06-08T05:56:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852b5a73c9", "title": "Logic Spring at Stanford", "url": "https://logic-forall.blogspot.com/2015/06/logic-spring-at-stanford.html", "published_at": "2015-06-08T05:56:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d53d704d8", "title": "Relevant Logic Revisited", "url": "http://logic-forall.blogspot.com/2015/05/relevant-logic-revisited.html", "published_at": "2015-05-31T00:26:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852b888467", "title": "Relevant Logic Revisited", "url": "https://logic-forall.blogspot.com/2015/05/relevant-logic-revisited.html", "published_at": "2015-05-31T00:26:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d54040408", "title": "Maude for Textual Entailment", "url": "http://logic-forall.blogspot.com/2015/05/maude-for-textual-entailment.html", "published_at": "2015-05-27T22:06:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852c1442a1", "title": "Maude for Textual Entailment", "url": "https://logic-forall.blogspot.com/2015/05/maude-for-textual-entailment.html", "published_at": "2015-05-27T22:06:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d5426865c", "title": "Transfer vs. Glue Semantics?", "url": "http://logic-forall.blogspot.com/2015/05/transfer-vs-glue-semantics.html", "published_at": "2015-05-27T15:20:00+00:00" }, { "id": "01a0bb79-75ec-700f-b09d-cb852ccf2d66", "title": "Transfer vs. Glue Semantics?", "url": "https://logic-forall.blogspot.com/2015/05/transfer-vs-glue-semantics.html", "published_at": "2015-05-27T15:20:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d5459b4db", "title": "Remembrance of things long past", "url": "http://logic-forall.blogspot.com/2015/05/remembrance-of-things-long-past.html", "published_at": "2015-05-15T09:52:00+00:00" }, { "id": "01a0bb79-75ed-730c-8d6d-c9214cc420ea", "title": "Remembrance of things long past", "url": "https://logic-forall.blogspot.com/2015/05/remembrance-of-things-long-past.html", "published_at": "2015-05-15T09:52:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d54bf19ef", "title": "Logic in the Pub, again?", "url": "http://logic-forall.blogspot.com/2015/05/logic-in-pub-again.html", "published_at": "2015-05-15T09:36:00+00:00" }, { "id": "01a0bb79-75ed-730c-8d6d-c9214d652134", "title": "Logic in the Pub, again?", "url": "https://logic-forall.blogspot.com/2015/05/logic-in-pub-again.html", "published_at": "2015-05-15T09:36:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d54f763ab", "title": "Rejected!", "url": "http://logic-forall.blogspot.com/2015/03/rejected.html", "published_at": "2015-03-31T21:24:00+00:00" }, { "id": "01a0bb79-75ed-730c-8d6d-c9214d7f0b68", "title": "Rejected!", "url": "https://logic-forall.blogspot.com/2015/03/rejected.html", "published_at": "2015-03-31T21:24:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d555c31b5", "title": "Browsing OpenwordNet-PT and other things I need to remember", "url": "http://logic-forall.blogspot.com/2015/02/browsing-openwordnet-pt-and-other.html", "published_at": "2015-02-20T20:17:00+00:00" }, { "id": "01a0bb79-75ed-730c-8d6d-c9214e004742", "title": "Browsing OpenwordNet-PT and other things I need to remember", "url": "https://logic-forall.blogspot.com/2015/02/browsing-openwordnet-pt-and-other.html", "published_at": "2015-02-20T20:17:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d56331d3f", "title": "The Joys of Christmas Catching-up", "url": "http://logic-forall.blogspot.com/2014/12/the-joys-of-christmas-catching-up.html", "published_at": "2014-12-28T21:04:00+00:00" }, { "id": "01a0bb79-75ed-730c-8d6d-c9214ef12d51", "title": "The Joys of Christmas Catching-up", "url": "https://logic-forall.blogspot.com/2014/12/the-joys-of-christmas-catching-up.html", "published_at": "2014-12-28T21:04:00+00:00" }, { "id": "01a0bb79-73c5-73a1-bcad-156d57299f88", "title": "D for Dummett", "url": "http://logic-forall.blogspot.com/2014/12/d-for-dummett.html", "published_at": "2014-12-14T17:57:00+00:00" }, { "id": "01a0bb79-75ed-730c-8d6d-c9214f535083", "title": "D for Dummett", "url": "https://logic-forall.blogspot.com/2014/12/d-for-dummett.html", "published_at": "2014-12-14T17:57:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afaa7ee8ae", "title": "Temporality in Natural Logic", "url": "https://logic-forall.blogspot.com/2014/12/temporality-in-natural-logic.html", "published_at": "2014-12-10T23:18:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079768c0b6", "title": "Temporality in Natural Logic", "url": "http://logic-forall.blogspot.com/2014/12/temporality-in-natural-logic.html", "published_at": "2014-12-10T23:18:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afaaba33de", "title": "Recalculating...", "url": "https://logic-forall.blogspot.com/2014/12/recalculating.html", "published_at": "2014-12-10T00:36:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-800797bd02e7", "title": "Recalculating...", "url": "http://logic-forall.blogspot.com/2014/12/recalculating.html", "published_at": "2014-12-10T00:36:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afaafe5b31", "title": "Math Quotes to remember", "url": "https://logic-forall.blogspot.com/2014/12/math-quotes-to-remember.html", "published_at": "2014-12-08T23:46:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-800797edab88", "title": "Math Quotes to remember", "url": "http://logic-forall.blogspot.com/2014/12/math-quotes-to-remember.html", "published_at": "2014-12-08T23:46:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afab2da7a7", "title": "K for Kripke", "url": "https://logic-forall.blogspot.com/2014/12/k-for-kripke.html", "published_at": "2014-12-06T16:46:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079891cb5d", "title": "K for Kripke", "url": "http://logic-forall.blogspot.com/2014/12/k-for-kripke.html", "published_at": "2014-12-06T16:46:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afac0159cb", "title": "DannyFest 2008", "url": "https://logic-forall.blogspot.com/2014/11/dannyfest-2008.html", "published_at": "2014-11-26T01:28:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007989feb02", "title": "DannyFest 2008", "url": "http://logic-forall.blogspot.com/2014/11/dannyfest-2008.html", "published_at": "2014-11-26T01:28:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afac99ddad", "title": "Wow!!! Google Translate is using our work!", "url": "https://logic-forall.blogspot.com/2014/11/wow-google-translate-is-using-our-work.html", "published_at": "2014-11-24T02:05:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007992aa3a4", "title": "Wow!!! Google Translate is using our work!", "url": "http://logic-forall.blogspot.com/2014/11/wow-google-translate-is-using-our-work.html", "published_at": "2014-11-24T02:05:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afacf1405a", "title": "Publishing Models", "url": "https://logic-forall.blogspot.com/2014/11/publishing-models.html", "published_at": "2014-11-05T23:21:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-800799461cfb", "title": "Publishing Models", "url": "http://logic-forall.blogspot.com/2014/11/publishing-models.html", "published_at": "2014-11-05T23:21:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afad23f40b", "title": "Happy Ada Lovelace Day 2014!", "url": "https://logic-forall.blogspot.com/2014/10/happy-ada-lovelace-day-2014.html", "published_at": "2014-10-15T01:13:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079a25f4c1", "title": "Happy Ada Lovelace Day 2014!", "url": "http://logic-forall.blogspot.com/2014/10/happy-ada-lovelace-day-2014.html", "published_at": "2014-10-15T01:13:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afad4c2dd0", "title": "World domination Brain-style", "url": "https://logic-forall.blogspot.com/2014/10/world-domination-brain-style.html", "published_at": "2014-10-14T05:25:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079a96cd3b", "title": "World domination Brain-style", "url": "http://logic-forall.blogspot.com/2014/10/world-domination-brain-style.html", "published_at": "2014-10-14T05:25:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afad6e068c", "title": "MAA Profile", "url": "https://logic-forall.blogspot.com/2014/10/maa-profile.html", "published_at": "2014-10-09T18:34:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079b738e1a", "title": "MAA Profile", "url": "http://logic-forall.blogspot.com/2014/10/maa-profile.html", "published_at": "2014-10-09T18:34:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afad8ff5a8", "title": "Natural Language and Computer Science (NLCS2) in Vienna", "url": "https://logic-forall.blogspot.com/2014/10/natural-language-and-computer-science.html", "published_at": "2014-10-09T14:01:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079bae8ff0", "title": "Natural Language and Computer Science (NLCS2) in Vienna", "url": "http://logic-forall.blogspot.com/2014/10/natural-language-and-computer-science.html", "published_at": "2014-10-09T14:01:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afadebc12c", "title": "FashionMall Semantics in Vienna", "url": "https://logic-forall.blogspot.com/2014/10/fashionmall-semantics-in-vienna.html", "published_at": "2014-10-03T11:48:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079c12d19c", "title": "FashionMall Semantics in Vienna", "url": "http://logic-forall.blogspot.com/2014/10/fashionmall-semantics-in-vienna.html", "published_at": "2014-10-03T11:48:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afae14803c", "title": "Logics and Ontologies for Natural Language 2014", "url": "https://logic-forall.blogspot.com/2014/09/logics-and-ontologies-for-natural.html", "published_at": "2014-09-27T11:04:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079c581e18", "title": "Logics and Ontologies for Natural Language 2014", "url": "http://logic-forall.blogspot.com/2014/09/logics-and-ontologies-for-natural.html", "published_at": "2014-09-27T11:04:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afae72111d", "title": "Formal Ontology Meets Industry", "url": "https://logic-forall.blogspot.com/2014/09/formal-ontology-meets-industry.html", "published_at": "2014-09-26T11:56:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079d0e6dd3", "title": "Formal Ontology Meets Industry", "url": "http://logic-forall.blogspot.com/2014/09/formal-ontology-meets-industry.html", "published_at": "2014-09-26T11:56:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afaf1e6734", "title": "Edwardian Proofs in Salvador", "url": "https://logic-forall.blogspot.com/2014/09/edwardian-proofs-in-salvador.html", "published_at": "2014-09-23T23:02:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079d6398dc", "title": "Edwardian Proofs in Salvador", "url": "http://logic-forall.blogspot.com/2014/09/edwardian-proofs-in-salvador.html", "published_at": "2014-09-23T23:02:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afaf7ec956", "title": "A Modest Proposal for Portuguese NLP (Four Years Later...)", "url": "https://logic-forall.blogspot.com/2014/09/a-modest-proposal-for-portuguese-nlp.html", "published_at": "2014-09-14T16:35:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079e4fa90d", "title": "A Modest Proposal for Portuguese NLP (Four Years Later...)", "url": "http://logic-forall.blogspot.com/2014/09/a-modest-proposal-for-portuguese-nlp.html", "published_at": "2014-09-14T16:35:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afaff9e0fa", "title": "Textual Entailment Proving LSFA 2014", "url": "https://logic-forall.blogspot.com/2014/09/textual-entailment-proving-lsfa-2014.html", "published_at": "2014-09-14T15:27:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079eed0c50", "title": "Textual Entailment Proving LSFA 2014", "url": "http://logic-forall.blogspot.com/2014/09/textual-entailment-proving-lsfa-2014.html", "published_at": "2014-09-14T15:27:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb05923c4", "title": "Women in Computing...", "url": "https://logic-forall.blogspot.com/2014/09/women-in-computing-round-table-bcc-40.html", "published_at": "2014-09-14T14:45:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-80079fa077a5", "title": "Women in Computing...", "url": "http://logic-forall.blogspot.com/2014/09/women-in-computing-round-table-bcc-40.html", "published_at": "2014-09-14T14:45:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb1295128", "title": "Digital Humanities? Sure, why not?", "url": "https://logic-forall.blogspot.com/2014/08/digital-humanities-sure-why-not.html", "published_at": "2014-08-13T12:45:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a03f3ef9", "title": "Digital Humanities? Sure, why not?", "url": "http://logic-forall.blogspot.com/2014/08/digital-humanities-sure-why-not.html", "published_at": "2014-08-13T12:45:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb16c0cad", "title": "Maude and Isabelle...", "url": "https://logic-forall.blogspot.com/2014/08/maude-and-isabelle.html", "published_at": "2014-08-12T13:18:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a0ab21e1", "title": "Maude and Isabelle...", "url": "http://logic-forall.blogspot.com/2014/08/maude-and-isabelle.html", "published_at": "2014-08-12T13:18:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb1f4f100", "title": "BACAT? yes!", "url": "https://logic-forall.blogspot.com/2014/07/bacat-yes.html", "published_at": "2014-07-08T18:27:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a0db853b", "title": "BACAT? yes!", "url": "http://logic-forall.blogspot.com/2014/07/bacat-yes.html", "published_at": "2014-07-08T18:27:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb22af32c", "title": "Whitehead's Lost Letter", "url": "https://logic-forall.blogspot.com/2014/06/whiteheads-lost-letter.html", "published_at": "2014-06-22T17:29:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a1910307", "title": "Whitehead's Lost Letter", "url": "http://logic-forall.blogspot.com/2014/06/whiteheads-lost-letter.html", "published_at": "2014-06-22T17:29:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb2c902bd", "title": "The pleasure of open source tools", "url": "https://logic-forall.blogspot.com/2014/06/the-pleasure-of-open-source-tools.html", "published_at": "2014-06-19T17:36:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a1cb7521", "title": "The pleasure of open source tools", "url": "http://logic-forall.blogspot.com/2014/06/the-pleasure-of-open-source-tools.html", "published_at": "2014-06-19T17:36:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb3bb4abe", "title": "Chocolate Boxes", "url": "https://logic-forall.blogspot.com/2014/06/chocolate-boxes.html", "published_at": "2014-06-03T05:33:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a1e3a4e1", "title": "Chocolate Boxes", "url": "http://logic-forall.blogspot.com/2014/06/chocolate-boxes.html", "published_at": "2014-06-03T05:33:00+00:00" }, { "id": "01a0bb7d-9074-718f-9653-e8afb45b71c7", "title": "The Perils of Propaganda", "url": "https://logic-forall.blogspot.com/2014/05/the-perils-of-propaganda.html", "published_at": "2014-05-25T01:31:00+00:00" }, { "id": "01a0bb7d-9272-7237-8d0d-8007a2890a7f", "title": "The Perils of Propaganda", "url": "http://logic-forall.blogspot.com/2014/05/the-perils-of-propaganda.html", "published_at": "2014-05-25T01:31:00+00:00" } ] posts Claim your blog
Back to logic-forall.blogspot.com
Blog · corpus.blog/blogs/logic-forall.blogspot.com/posts

logic-forall.blogspot.com

logic-forall.blogspot.com

2015

Interesting times in Silicon Valley by John Markofforiginal ↗
18 Nov 2015
Interesting times in Silicon Valley by John Markofforiginal ↗
18 Nov 2015
Google Translate and Deep Learningoriginal ↗
18 Nov 2015
Google Translate and Deep Learningoriginal ↗
18 Nov 2015
How well did Jeff Dean predict research in 2008?original ↗
18 Nov 2015
How well did Jeff Dean predict research in 2008?original ↗
18 Nov 2015
Ada Lovelace Day 2015original ↗
31 Oct 2015
Ada Lovelace Day 2015original ↗
31 Oct 2015
Questions, Problems and Projects: Finding the wood from the treesoriginal ↗
5 Oct 2015
Questions, Problems and Projects: Finding the wood from the treesoriginal ↗
5 Oct 2015
Nat@Logic 2015original ↗
15 Sept 2015
Nat@Logic 2015original ↗
15 Sept 2015
Logic and Probabilistic Methods for Dialogoriginal ↗
15 Sept 2015
Logic and Probabilistic Methods for Dialogoriginal ↗
15 Sept 2015
Where are we now?original ↗
10 Sept 2015
Where are we now?original ↗
10 Sept 2015
Mathematicians in the Interwebsoriginal ↗
26 Jul 2015
Mathematicians in the Interwebsoriginal ↗
26 Jul 2015
A very old post from May 2013: Learning to love statsoriginal ↗
15 Jul 2015
A very old post from May 2013: Learning to love statsoriginal ↗
15 Jul 2015
Every day is Ada Lovelace's dayoriginal ↗
11 Jul 2015
Every day is Ada Lovelace's dayoriginal ↗
11 Jul 2015
Why is this a Proof? Luiz Carlos Festschriftoriginal ↗
8 Jul 2015
Why is this a Proof? Luiz Carlos Festschriftoriginal ↗
8 Jul 2015
Stanford's Workshop on Logic, Rationality, and Interactionoriginal ↗
2 Jul 2015
Stanford's Workshop on Logic, Rationality, and Interactionoriginal ↗
2 Jul 2015
Advice on Constructive Modal Logicoriginal ↗
27 Jun 2015
Advice on Constructive Modal Logicoriginal ↗
27 Jun 2015
Plans, plans and expectationsoriginal ↗
13 Jun 2015
Plans, plans and expectationsoriginal ↗
13 Jun 2015
Logic Spring at Stanfordoriginal ↗
8 Jun 2015
Logic Spring at Stanfordoriginal ↗
8 Jun 2015
Relevant Logic Revisitedoriginal ↗
31 May 2015
Relevant Logic Revisitedoriginal ↗
31 May 2015
Maude for Textual Entailmentoriginal ↗
27 May 2015
Maude for Textual Entailmentoriginal ↗
27 May 2015
Transfer vs. Glue Semantics?original ↗
27 May 2015
Transfer vs. Glue Semantics?original ↗
27 May 2015
Remembrance of things long pastoriginal ↗
15 May 2015
Remembrance of things long pastoriginal ↗
15 May 2015
Logic in the Pub, again?original ↗
15 May 2015
Logic in the Pub, again?original ↗
15 May 2015
Rejected!original ↗
31 Mar 2015
Rejected!original ↗
31 Mar 2015
Browsing OpenwordNet-PT and other things I need to rememberoriginal ↗
20 Feb 2015
Browsing OpenwordNet-PT and other things I need to rememberoriginal ↗
20 Feb 2015

2014

The Joys of Christmas Catching-uporiginal ↗
28 Dec 2014
The Joys of Christmas Catching-uporiginal ↗
28 Dec 2014
D for Dummettoriginal ↗
14 Dec 2014
D for Dummettoriginal ↗
14 Dec 2014
Temporality in Natural Logicoriginal ↗
10 Dec 2014
Temporality in Natural Logicoriginal ↗
10 Dec 2014
Recalculating...original ↗
10 Dec 2014
Recalculating...original ↗
10 Dec 2014
Math Quotes to rememberoriginal ↗
8 Dec 2014
Math Quotes to rememberoriginal ↗
8 Dec 2014
K for Kripkeoriginal ↗
6 Dec 2014
K for Kripkeoriginal ↗
6 Dec 2014
DannyFest 2008original ↗
26 Nov 2014
DannyFest 2008original ↗
26 Nov 2014
Wow!!! Google Translate is using our work!original ↗
24 Nov 2014
Wow!!! Google Translate is using our work!original ↗
24 Nov 2014
Publishing Modelsoriginal ↗
5 Nov 2014
Publishing Modelsoriginal ↗
5 Nov 2014
Happy Ada Lovelace Day 2014!original ↗
15 Oct 2014
Happy Ada Lovelace Day 2014!original ↗
15 Oct 2014
World domination Brain-styleoriginal ↗
14 Oct 2014
World domination Brain-styleoriginal ↗
14 Oct 2014
MAA Profileoriginal ↗
9 Oct 2014
MAA Profileoriginal ↗
9 Oct 2014
Natural Language and Computer Science (NLCS2) in Viennaoriginal ↗
9 Oct 2014
Natural Language and Computer Science (NLCS2) in Viennaoriginal ↗
9 Oct 2014
FashionMall Semantics in Viennaoriginal ↗
3 Oct 2014
FashionMall Semantics in Viennaoriginal ↗
3 Oct 2014
Logics and Ontologies for Natural Language 2014original ↗
27 Sept 2014
Logics and Ontologies for Natural Language 2014original ↗
27 Sept 2014
Formal Ontology Meets Industryoriginal ↗
26 Sept 2014
Formal Ontology Meets Industryoriginal ↗
26 Sept 2014
Edwardian Proofs in Salvadororiginal ↗
23 Sept 2014
Edwardian Proofs in Salvadororiginal ↗
23 Sept 2014
A Modest Proposal for Portuguese NLP (Four Years Later...)original ↗
14 Sept 2014
A Modest Proposal for Portuguese NLP (Four Years Later...)original ↗
14 Sept 2014
Textual Entailment Proving LSFA 2014original ↗
14 Sept 2014
Textual Entailment Proving LSFA 2014original ↗
14 Sept 2014
Women in Computing...original ↗
14 Sept 2014
Women in Computing...original ↗
14 Sept 2014
Digital Humanities? Sure, why not?original ↗
13 Aug 2014
Digital Humanities? Sure, why not?original ↗
13 Aug 2014
Maude and Isabelle...original ↗
12 Aug 2014
Maude and Isabelle...original ↗
12 Aug 2014
BACAT? yes!original ↗
8 Jul 2014
BACAT? yes!original ↗
8 Jul 2014
Whitehead's Lost Letteroriginal ↗
22 Jun 2014
Whitehead's Lost Letteroriginal ↗
22 Jun 2014
The pleasure of open source toolsoriginal ↗
19 Jun 2014
The pleasure of open source toolsoriginal ↗
19 Jun 2014
Chocolate Boxesoriginal ↗
3 Jun 2014
Chocolate Boxesoriginal ↗
3 Jun 2014
The Perils of Propagandaoriginal ↗
25 May 2014
The Perils of Propagandaoriginal ↗
25 May 2014
Previous Next