Writing Exchange

0 posts0 participants0 posts today

José A. AlonsoBuilding AI for mathematical reasoning. ~ Chris Garcia. <a href="https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://ai.gopubby.com/building-ai-for-mathematical-reasoning-996a81eb8b72</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a>

José A. AlonsoReadings shared March 28, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/28-readings_shared_03-28-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calculemus</a> <a href="https://mathstodon.xyz/tags/CompSci" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CompSci</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Philosophy" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Philosophy</a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoReadings shared March 15, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/15-readings_shared_03-15-25</a> <a href="https://mathstodon.xyz/tags/ACL2" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ACL2</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/CHR" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CHR</a> <a href="https://mathstodon.xyz/tags/Constraint" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Constraint</a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Constraints</a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Emacs</a> <a href="https://mathstodon.xyz/tags/FormalVerification" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FormalVerification</a> <a href="https://mathstodon.xyz/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NLP</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoCurso "Programación declarativa (2006-07)". <a href="https://jaalonso.github.io/cursos/pd-06" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/pd-06</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NLP</a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Constraints</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a>

José A. AlonsoReadings shared March 12, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/03/12-readings_shared_03-12-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ATP</a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Constraints</a> <a href="https://mathstodon.xyz/tags/Haskell" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Haskell</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Jape" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Jape</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Mace" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mace</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NLP</a> <a href="https://mathstodon.xyz/tags/Otter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Otter</a> <a href="https://mathstodon.xyz/tags/PVS" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PVS</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a>

José A. AlonsoCurso "Programación lógica (2004-05)". <a href="https://jaalonso.github.io/cursos/d-pl-04" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/d-pl-04</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/NLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#NLP</a> <a href="https://mathstodon.xyz/tags/Constraints" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Constraints</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a>

José A. AlonsoCurso "Programación lógica (2003-04)" <a href="https://jaalonso.github.io/cursos/d-pl-03/index.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/cursos/d-pl-03/index.html</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a>

Panicz Maciej GodekIf you're interested in <a href="https://functional.cafe/tags/Scheme" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Scheme</a>, <a href="https://functional.cafe/tags/Lisp" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lisp</a>, <a href="https://functional.cafe/tags/MiniKanren" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MiniKanren</a> or <a href="https://functional.cafe/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>, I wholeheartedly recommend William Byrd's 'From Bronze to GM' youtube series: <a href="https://youtube.com/@williamebyrd" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://youtube.com/@williamebyrd</a>

José A. AlonsoReadings shared February 13, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/02/13-readings_shared_02-13-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/02/13-readings_shared_02-13-25</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/Autoformalization" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Autoformalization</a> <a href="https://mathstodon.xyz/tags/Coq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Coq</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a> <a href="https://mathstodon.xyz/tags/LeanProver" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LeanProver</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Programming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Programming</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/Rocq" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Rocq</a>

José A. AlonsoReadings shared January 21, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/01/21-readings_shared_01-21-25" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2025/01/21-readings_shared_01-21-25</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LLMs</a>

Dr. Anna LatourI'm teaching my first lecture at the new job today, about probabilistic logic programming, probabilistic inference, and (weighted) model counting.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 noreferrer" translate="no" target="_blank">https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-003/index.html</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. 🌱 Please send good vibes? 🥺 <a href="https://mathstodon.xyz/tags/AcademicChatter" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicChatter</a> <a href="https://mathstodon.xyz/tags/AcademicLife" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicLife</a> <a href="https://mathstodon.xyz/tags/AcademicMastodon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AcademicMastodon</a> <a href="https://mathstodon.xyz/tags/Teaching" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Teaching</a> <a href="https://mathstodon.xyz/tags/Probability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Probability</a> <a href="https://mathstodon.xyz/tags/ProbabilisticInference" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProbabilisticInference</a> <a href="https://mathstodon.xyz/tags/Probabilities" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Probabilities</a> <a href="https://mathstodon.xyz/tags/Logic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Logic</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/PropositionalModelCounting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalModelCounting</a> <a href="https://mathstodon.xyz/tags/ProbabilisticLogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProbabilisticLogicProgramming</a> <a href="https://mathstodon.xyz/tags/ModelCounting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ModelCounting</a> <a href="https://mathstodon.xyz/tags/PropositionalLogic" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#PropositionalLogic</a> <a href="https://mathstodon.xyz/tags/WeightedModelCounting" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#WeightedModelCounting</a> <a href="https://mathstodon.xyz/tags/DPLL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DPLL</a> <a href="https://mathstodon.xyz/tags/BayesianProbability" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BayesianProbability</a> <a href="https://mathstodon.xyz/tags/BayesNets" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BayesNets</a> <a href="https://mathstodon.xyz/tags/BasianStatistics" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BasianStatistics</a> <a href="https://mathstodon.xyz/tags/BayesianInference" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BayesianInference</a> <a href="https://mathstodon.xyz/tags/BayesianNetworks" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BayesianNetworks</a> <a href="https://mathstodon.xyz/tags/KnowledgeCompilation" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#KnowledgeCompilation</a> <a href="https://mathstodon.xyz/tags/DecisionDiagrams" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#DecisionDiagrams</a> <a href="https://mathstodon.xyz/tags/BinaryDecisionDiagrams" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#BinaryDecisionDiagrams</a>

José A. AlonsoReadings shared September 9, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/09/09-readings_shared_09-09-24" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://jaalonso.github.io/vestigium/posts/2024/09/09-readings_shared_09-09-24</a> <a href="https://mathstodon.xyz/tags/ITP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ITP</a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Lean4</a> <a href="https://mathstodon.xyz/tags/IsabelleHOL" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#IsabelleHOL</a> <a href="https://mathstodon.xyz/tags/Math" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Math</a> <a href="https://mathstodon.xyz/tags/Calculemus" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Calculemus</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/Python" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Python</a>

jnpn<a href="https://www.digitalaustria.gv.at/eng/insights/Digital-Austria-Events-EN/Scryer-Prolog-Meetup-2024.html" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://www.digitalaustria.gv.at/eng/insights/Digital-Austria-Events-EN/Scryer-Prolog-Meetup-2024.html</a><a href="https://mastodon.social/tags/scryer" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#scryer</a> <a href="https://mastodon.social/tags/prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#prolog</a> <a href="https://mastodon.social/tags/meetup" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#meetup</a> #2024 <a href="https://mastodon.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a>

Ramin HonaryminiKanren Advanced Series #4<a href="https://diode.zone/videos/watch/8a15addf-d292-4feb-81bf-0a09d3e1fed5" rel="nofollow noopener noreferrer" translate="no" target="_blank">https://diode.zone/videos/watch/8a15addf-d292-4feb-81bf-0a09d3e1fed5</a>

José A. AlonsoDeclarative reasoning on explanations using constraint logic programming. ~ Laura State, Salvatore Ruggieri, Franco Turini. <a href="https://arxiv.org/abs/2309.00422" rel="nofollow noopener noreferrer" target="_blank">https://arxiv.org/abs/2309.00422</a> <a href="https://mathstodon.xyz/tags/XAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#XAI</a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#CLP</a> <a href="https://mathstodon.xyz/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>

chris martensnot that the world really needs more computer science conferences, but i keep wondering if there’s appetite for one focused on procedural generation/generative computation, i.e. the union of PCG, generative art, program synthesis, &c.mostly, it would really help to have a name for this field that people don’t mistake for consisting entirely of text2image statistical models<a href="https://hci.social/tags/generativeArt" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#generativeArt</a> <a href="https://hci.social/tags/genartclub" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#genartclub</a> <a href="https://hci.social/tags/generativeAI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#generativeAI</a> <a href="https://hci.social/tags/procgen" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#procgen</a> <a href="https://hci.social/tags/proceduralcontentgeneration" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#proceduralcontentgeneration</a> <a href="https://hci.social/tags/programsynthesis" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#programsynthesis</a> <a href="https://hci.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a>

novatorine 🏴🏳️‍⚧️Does anyone on here know how to make a <a href="https://kolektiva.social/tags/backtracking" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#backtracking</a> <a href="https://kolektiva.social/tags/algorithm" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#algorithm</a> faster? I'm writing a <a href="https://kolektiva.social/tags/logicprogramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#logicprogramming</a> language ala <a href="https://kolektiva.social/tags/Prolog" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Prolog</a> in Rust and it's already pretty slow (takes 1.11 seconds to find 20 answers) at even four rules deep and a database with 84 facts. Might it be string comparisons for variable names and such? If so, how would I accelerate that?

José A. AlonsoNeuro-symbolic reasoning with Large Language Models and Answer Set Programming: A case study on logic puzzles. ~ Adam Ishay, Zhun Yang, Joohyung Lee. <a href="http://peace.eas.asu.edu/joolee/papers/gpt3-asp-kr.pdf" rel="nofollow noopener noreferrer" target="_blank">http://peace.eas.asu.edu/joolee/papers/gpt3-asp-kr.pdf</a> <a href="https://mathstodon.xyz/tags/AI" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#AI</a> <a href="https://mathstodon.xyz/tags/GPT" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#GPT</a> <a href="https://mathstodon.xyz/tags/MachineLearning" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MachineLearning</a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ASP</a>

Barry Schwartz 🫖I have added <a href="https://masto.ai/tags/ObjectIcon" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ObjectIcon</a> -- <a href="https://rosettacode.org/wiki/Modular_arithmetic#ObjectIcon" rel="nofollow noopener noreferrer" target="_blank">https://rosettacode.org/wiki/Modular_arithmetic#ObjectIcon</a><a href="https://masto.ai/tags/RosettaCode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RosettaCode</a> <a href="https://masto.ai/tags/ProceduralProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ProceduralProgramming</a> (I will not call this an example of <a href="https://masto.ai/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a>, given that I never use goal-direction or failure in any significant way. But <a href="https://masto.ai/tags/ObjectOriented" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#ObjectOriented</a> does apply.)

Barry Schwartz 🫖Now I have added <a href="https://masto.ai/tags/Mercury" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#Mercury</a> --<a href="https://rosettacode.org/wiki/Modular_arithmetic#Mercury" rel="nofollow noopener noreferrer" target="_blank">https://rosettacode.org/wiki/Modular_arithmetic#Mercury</a><a href="https://masto.ai/tags/RosettaCode" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#RosettaCode</a> <a href="https://masto.ai/tags/MercuryLang" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#MercuryLang</a> <a href="https://masto.ai/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#LogicProgramming</a> <a href="https://masto.ai/tags/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener noreferrer" target="_blank">#FunctionalProgramming</a> (For convenience I use higher-order functions, so that the Functional Programming hashtag makes sense. Also, Mercury is a language in which tail recursion is the preferred method of looping. And, it just occurs to me, I wrote the program mostly as ‘functions’ rather than ‘predicates’!)

Recent searches

Search options

Administered by:

Server stats:

#logicprogramming