lingo.lol is one of the many independent Mastodon servers you can use to participate in the fediverse.
A place for linguists, philologists, and other lovers of languages.

Server stats:

66
active users

#ASP

2 posts2 participants1 post today
José A. Alonso<p>Readings shared July 12, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/07/13-readings_shared_07-12-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/07/13-readings_shared_07-12-25</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/CategoryTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CategoryTheory</span></a> <a href="https://mathstodon.xyz/tags/CoqProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CoqProver</span></a> <a href="https://mathstodon.xyz/tags/Emacs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Emacs</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/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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</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/ProofTheory" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ProofTheory</span></a> <a href="https://mathstodon.xyz/tags/Prover9" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prover9</span></a></p>
José A. Alonso<p>Teaching logic programming: a review. ~ Serhiy O. Semerikov et als. <a href="https://elibrary.kdpu.edu.ua/bitstream/123456789/12019/1/CTE_838_Semerikov_et_al.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">elibrary.kdpu.edu.ua/bitstream</span><span class="invisible">/123456789/12019/1/CTE_838_Semerikov_et_al.pdf</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/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a></p>
jnpn<p>clingo answer set programming to compute efm</p><p><a href="https://github.com/maxm4/aspefm" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/maxm4/aspefm</span><span class="invisible"></span></a></p><p><a href="https://mastodon.social/tags/asp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>asp</span></a> <a href="https://mastodon.social/tags/efm" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>efm</span></a> <a href="https://mastodon.social/tags/logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>logic</span></a> <a href="https://mastodon.social/tags/medtech" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>medtech</span></a> <a href="https://mastodon.social/tags/research" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>research</span></a></p>
Eco LokiL'onde dangereuse<br> (Vipère aspic, Loir-et-cher, Fr, 05/25)<br> <br> <a href="https://pixelfed.fr/discover/tags/Photographie?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Photographie</a> <a href="https://pixelfed.fr/discover/tags/PhotographieNature?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#PhotographieNature</a> <a href="https://pixelfed.fr/discover/tags/Reptiles?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Reptiles</a> <a href="https://pixelfed.fr/discover/tags/Serpent?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Serpent</a> <a href="https://pixelfed.fr/discover/tags/Vipere?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Vipere</a> <a href="https://pixelfed.fr/discover/tags/VipereAspic?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#VipereAspic</a> <a href="https://pixelfed.fr/discover/tags/Etang?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Etang</a> <a href="https://pixelfed.fr/discover/tags/Sologne?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Sologne</a> <a href="https://pixelfed.fr/discover/tags/Nage?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Nage</a> <a href="https://pixelfed.fr/discover/tags/Observation?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Observation</a> <a href="https://pixelfed.fr/discover/tags/AnimalPhotography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#AnimalPhotography</a> <a href="https://pixelfed.fr/discover/tags/NaturePhotography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#NaturePhotography</a> <a href="https://pixelfed.fr/discover/tags/Vipera?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Vipera</a> <a href="https://pixelfed.fr/discover/tags/Snake?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Snake</a> <a href="https://pixelfed.fr/discover/tags/Asp?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Asp</a> <a href="https://pixelfed.fr/discover/tags/AspViper?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#AspViper</a> <a href="https://pixelfed.fr/discover/tags/Viper?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Viper</a> <a href="https://pixelfed.fr/discover/tags/Ponds?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#Ponds</a>
Jake BrownLove my Santa Cruz VX Twin-Tip (even if I noticeably use it for cruising these days) 🛹<br> 🎵 "alife" - Slowdive 🎶<br> <a href="https://youtube.com/watch?v=MhQht-YK8rw" rel="nofollow noopener" target="_blank">https://youtube.com/watch?v=MhQht-YK8rw</a><br> <br> <a href="https://pixelfed.social/discover/tags/archive?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#archive</a> <a href="https://pixelfed.social/discover/tags/portland?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#portland</a> <a href="https://pixelfed.social/discover/tags/oregon?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#oregon</a> <a href="https://pixelfed.social/discover/tags/pdx?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#pdx</a> <a href="https://pixelfed.social/discover/tags/pnw?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#pnw</a> <a href="https://pixelfed.social/discover/tags/photos?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#photos</a> <a href="https://pixelfed.social/discover/tags/photography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#photography</a> <a href="https://pixelfed.social/discover/tags/mobilephotography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#mobilephotography</a> <a href="https://pixelfed.social/discover/tags/digitalphotography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#digitalphotography</a> <a href="https://pixelfed.social/discover/tags/iphone?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#iphone</a> <a href="https://pixelfed.social/discover/tags/shotoniphone?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#shotoniphone</a> <a href="https://pixelfed.social/discover/tags/iphoneography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#iphoneography</a> <a href="https://pixelfed.social/discover/tags/smartphoneography?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#smartphoneography</a> <a href="https://pixelfed.social/discover/tags/fediverse?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#fediverse</a> <a href="https://pixelfed.social/discover/tags/pixelfed?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#pixelfed</a> <a href="https://pixelfed.social/discover/tags/skate?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#skate</a> <a href="https://pixelfed.social/discover/tags/sk8?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#sk8</a> <a href="https://pixelfed.social/discover/tags/skateboard?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#skateboard</a> <a href="https://pixelfed.social/discover/tags/sk8board?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#sk8board</a> <a href="https://pixelfed.social/discover/tags/skateboarding?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#skateboarding</a> <a href="https://pixelfed.social/discover/tags/sk8boarding?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#sk8boarding</a> <a href="https://pixelfed.social/discover/tags/santacruz?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#santacruz</a> <a href="https://pixelfed.social/discover/tags/yndiaraasp?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#yndiaraasp</a> <a href="https://pixelfed.social/discover/tags/asp?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#asp</a> <a href="https://pixelfed.social/discover/tags/snake?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#snake</a> <a href="https://pixelfed.social/discover/tags/independent?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#independent</a> <a href="https://pixelfed.social/discover/tags/powell?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#powell</a> <a href="https://pixelfed.social/discover/tags/dragon?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#dragon</a> <a href="https://pixelfed.social/discover/tags/dragons?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#dragons</a> <a href="https://pixelfed.social/discover/tags/cityscape?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#cityscape</a> <a href="https://pixelfed.social/discover/tags/city?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#city</a> <a href="https://pixelfed.social/discover/tags/slowdive?src=hash" class="u-url hashtag" rel="nofollow noopener" target="_blank">#slowdive</a>
José A. Alonso<p>Readings shared March 18, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/03/18-readings_shared_03-18-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/18-readings_shared_03-18-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/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/ATP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ATP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/CommonLisp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CommonLisp</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Datalog</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/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/Mace" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Mace</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> <a href="https://mathstodon.xyz/tags/SMT" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>SMT</span></a> <a href="https://mathstodon.xyz/tags/Z3" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Z3</span></a></p>
José A. Alonso<p>Teaching logic programming: a review. ~ Serhiy O. Semerikov, Iryna S. Mintii, Natalia V. Moiseienko. <a href="https://acnsci.org/journal/index.php/cte/article/view/838/860" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">acnsci.org/journal/index.php/c</span><span class="invisible">te/article/view/838/860</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/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</span></a> <a href="https://mathstodon.xyz/tags/Datalog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Datalog</span></a></p>
José A. Alonso<p>Readings shared January 10, 2025. <a href="https://jaalonso.github.io/vestigium/posts/2025/01/10-readings_shared_01-10-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/01/10-readings_shared_01-10-25</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/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</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/Python" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Python</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</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/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a> <a href="https://mathstodon.xyz/tags/NeuroSymbolicAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>NeuroSymbolicAI</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a></p>
lohikäärmekettu Saphira :therian:<p>Long shot: I have a concert ticket to spare!</p><p><a href="https://gotosocial-dev.svc.0x0a.network/tags/leipzig" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>leipzig</span></a> <a href="https://gotosocial-dev.svc.0x0a.network/tags/asp" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>asp</span></a> <a href="https://gotosocial-dev.svc.0x0a.network/tags/gothic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>gothic</span></a></p>
José A. Alonso<p>Readings shared October 30, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/10/30-readings_shared_10-30-24" 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/2024/10/30-readings_shared_10-30-24</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/Lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lean4</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</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/Prolog" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Prolog</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</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/LambdaCalculus" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LambdaCalculus</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>Prolog, Datalog, languages, resources, and beyond! <a href="https://github.com/llaisdy/PrologInfo" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">github.com/llaisdy/PrologInfo</span><span class="invisible"></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/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Combining logic with Large Language Models for automatic debugging and repair of ASP programs. ~ Ricardo Brancas, Vasco Manquinho, Ruben Martins. <a href="https://arxiv.org/abs/2410.20962v1" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="">arxiv.org/abs/2410.20962v1</span><span class="invisible"></span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>Readings shared October 29, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/10/29-readings_shared_10-29-24" 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/2024/10/29-readings_shared_10-29-24</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/XAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XAI</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/Logic" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Logic</span></a> <a href="https://mathstodon.xyz/tags/Reasoning" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Reasoning</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>A case study on TSP: What to optimize and how? ~ Martin Gebser. <a href="https://arxiv.org/pdf/2410.19738#page=48" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">arxiv.org/pdf/2410.19738#page=</span><span class="invisible">48</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Advancements in xASP, an XAI system for Answer Set Programming. ~ Mario Alviano, Ly Ly Trieu, Tran Son, Marcello Balduccini. <a href="https://ceur-ws.org/Vol-3428/paper2.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ceur-ws.org/Vol-3428/paper2.pd</span><span class="invisible">f</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/XAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>XAI</span></a></p>
José A. Alonso<p>Harnessing ASP and its extensions: Recent applications and role in Trustworthy AI. ~ Giuseppe Mazzotta, Francesco Ricca. <a href="https://arxiv.org/pdf/2410.19738#page=41" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">arxiv.org/pdf/2410.19738#page=</span><span class="invisible">41</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/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Readings shared October 25, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/10/25-readings_shared_10-25-24" 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/2024/10/25-readings_shared_10-25-24</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/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</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/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/CLP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>CLP</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/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a> <a href="https://mathstodon.xyz/tags/GenerativeAI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>GenerativeAI</span></a> <a href="https://mathstodon.xyz/tags/Rust" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Rust</span></a> <a href="https://mathstodon.xyz/tags/Verification" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Verification</span></a></p>
José A. Alonso<p>Desarrollo de sistema de resolución de rompecabezas en ASP mediante el uso de LLM. ~ Pedro Pazos Curra. <a href="https://ruc.udc.es/dspace/bitstream/handle/2183/39694/PazosCurra_Pedro_TFG_2024.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">ruc.udc.es/dspace/bitstream/ha</span><span class="invisible">ndle/2183/39694/PazosCurra_Pedro_TFG_2024.pdf</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LLMs" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LLMs</span></a></p>
José A. Alonso<p>Computational thinking with logic programming. ~ Gopal Gupta, Elmer Salazar, Joaquín Arias. <a href="https://prolog-lang.org/Education/2024_WS_papers/paper8PEG2.0.gupta.pdf" rel="nofollow noopener" translate="no" target="_blank"><span class="invisible">https://</span><span class="ellipsis">prolog-lang.org/Education/2024</span><span class="invisible">_WS_papers/paper8PEG2.0.gupta.pdf</span></a> <a href="https://mathstodon.xyz/tags/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</span></a> <a href="https://mathstodon.xyz/tags/LogicProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LogicProgramming</span></a></p>
José A. Alonso<p>Readings shared September 29, 2024. <a href="https://jaalonso.github.io/vestigium/posts/2024/09/29-readings_shared_09-29-24" 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/2024/09/29-readings_shared_09-29-24</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/LeanProver" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>LeanProver</span></a> <a href="https://mathstodon.xyz/tags/Lean4" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Lean4</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/Math" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>Math</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/FunctionalProgramming" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>FunctionalProgramming</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/ASP" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>ASP</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/AI" class="mention hashtag" rel="nofollow noopener" target="_blank">#<span>AI</span></a></p>