https://jaalonso.github.io/vestigium/esContents © 2026 <a href="mailto:">José A. Alonso</a> <a rel="license" href="https://creativecommons.org/licenses/by-nc-sa/4.0/"> <img alt="Creative Commons License BY-NC-SA" style="border-width:0; margin-bottom:12px;" src="https://i.creativecommons.org/l/by-nc-sa/4.0/88x31.png"></a>Thu, 01 Oct 2026 12:59:59 GMTNikola (getnikola.com)http://blogs.law.harvard.edu/tech/rsshttps://jaalonso.github.io/vestigium/posts/2024/10/26-readings_shared_10-26-24/José A. Alonso<p>The readings shared in <a href="https://mathstodon.xyz/@Jose_A_Alonso">Mastodon</a> on 26 October 2024 are</p> <ul> <li><a href="https://jaalonso.github.io/vestigium/posts/2024/10/25-readings_shared_10-25-24">Readings shared October 25, 2024</a>. #ITP #LeanProver #IsabelleHOL #Math #Prolog #ASP #CLP #LogicProgramming #LLMs #GenerativeAI #Rust #Verification</li> <li><a href="http://platon.etsii.urjc.es/~jarias/ICLPWorkshops2024/short7GDE24.pdf">Neuro-symbolic agent with ASP for robust exception learning in text-based games</a>. ~ Kinjal Basu. #ILP #LogicProgramming #AI #MachineLearning</li> <li><a href="https://cacm.acm.org/opinion/an-ai-learning-hierarchy/">An AI learning hierarchy</a>. ~ Peter J. Denning, Ted G. Lewis. #AI</li> </ul>AIILPLogicProgrammingMachineLearninghttps://jaalonso.github.io/vestigium/posts/2024/10/26-readings_shared_10-26-24/Sat, 26 Oct 2024 04:00:00 GMT