shakedown.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
A community for live music fans with roots in the jam scene. Shakedown Social is run by a team of volunteers (led by @clifff and @sethadam1) and funded by donations.

Administered by:

Server stats:

264
active users

#logicprogramming

0 posts0 participants0 posts today
José A. Alonso<p>Readings shared March 24, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/24-readings_shared_03-24-25" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">jaalonso.github.io/vestigium/p</span><span class="invisible">osts/2025/03/24-readings_shared_03-24-25</span></a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</span></a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Haskell</span></a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ITP</span></a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>IsabelleHOL</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Lisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lisp</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>MachineLearning</span></a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</span></a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Otter</span></a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prover9</span></a></p>
Dr. Anna Latour<p>I'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.</p><p>Some of the required reading is a paper (<a href="https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">eccc.weizmann.ac.il/eccc-repor</span><span class="invisible">ts/2003/TR03-003/index.html</span></a>) that was written by a great mentor of mine, prof. dr. Fahiem Bacchus. He passed away just over 2 years ago, and I am honoured to keep his memory alive by teaching his ideas to a new generation of students. Hope to do him proud. 🌱 </p><p>Please send good vibes? 🥺 </p><p><a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicChatter</span></a> <a href="https://mathstodon.xyz/tags/AcademicLife" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicLife</span></a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AcademicMastodon</span></a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Teaching</span></a> <a href="https://mathstodon.xyz/tags/Probability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Probability</span></a> <a href="https://mathstodon.xyz/tags/ProbabilisticInference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProbabilisticInference</span></a> <a href="https://mathstodon.xyz/tags/Probabilities" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Probabilities</span></a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/PropositionalModelCounting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalModelCounting</span></a> <a href="https://mathstodon.xyz/tags/ProbabilisticLogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProbabilisticLogicProgramming</span></a> <a href="https://mathstodon.xyz/tags/ModelCounting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ModelCounting</span></a> <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>PropositionalLogic</span></a> <a href="https://mathstodon.xyz/tags/WeightedModelCounting" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>WeightedModelCounting</span></a> <a href="https://mathstodon.xyz/tags/DPLL" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DPLL</span></a> <a href="https://mathstodon.xyz/tags/BayesianProbability" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BayesianProbability</span></a> <a href="https://mathstodon.xyz/tags/BayesNets" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BayesNets</span></a> <a href="https://mathstodon.xyz/tags/BasianStatistics" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BasianStatistics</span></a> <a href="https://mathstodon.xyz/tags/BayesianInference" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BayesianInference</span></a> <a href="https://mathstodon.xyz/tags/BayesianNetworks" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BayesianNetworks</span></a> <a href="https://mathstodon.xyz/tags/KnowledgeCompilation" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>KnowledgeCompilation</span></a> <a href="https://mathstodon.xyz/tags/DecisionDiagrams" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>DecisionDiagrams</span></a> <a href="https://mathstodon.xyz/tags/BinaryDecisionDiagrams" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>BinaryDecisionDiagrams</span></a></p>