José A. Alonso · @Jose_A_Alonso
864 followers · 1853 posts · Server mathstodon.xyz
Declarative reasoning on explanations using constraint logic programming. ~ Laura State, Salvatore Ruggieri, Franco Turini. https://arxiv.org/abs/2309.00422 #XAI #CLP #Prolog #LogicProgramming
#logicprogramming #prolog #clp #xai
José A. Alonso · @Jose_A_Alonso
858 followers · 1825 posts · Server mathstodon.xyzReliable natural language understanding with large language models and answer set programming. ~ Abhiramon Rajasekharan, Yankai Zeng, Parth Padalkar, Gopal Gupta. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2023.27 #LLMs #ASP #LogicProgramming
José A. Alonso · @Jose_A_Alonso
858 followers · 1825 posts · Server mathstodon.xyzNatlog: Embedding logic programming into the Python deep-learning ecosystem. ~ Paul Tarau. https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?ICLP2023.15 #LLMs #LogicProgramming #Python
#python #logicprogramming #LLMs
José A. Alonso · @Jose_A_Alonso
836 followers · 1711 posts · Server mathstodon.xyzDeduccionNatural.pl: herramienta escrita en Prolog para el aprendizaje de la asignatura de Lógica. ~ Joaquín Arias, Iván Ramírez, Alessandra Gallinari. https://aenui.org/actas/pdf/JENUI_2023_016.pdf #Prolog #LogicProgramming #Logic
#logic #logicprogramming #prolog
José A. Alonso · @Jose_A_Alonso
832 followers · 1700 posts · Server mathstodon.xyzDatalog. ~ Markus Triska. https://youtu.be/M5fwAkJqAVw #Prolog #LogicProgramming
chris martens · @chrisamaphone
1519 followers · 3467 posts · Server hci.socialnot 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
#generativeArt #genartclub #generativeAI #procgen #proceduralcontentgeneration #programsynthesis #logicprogramming
#generativeart #genartclub #generativeAI #procgen #proceduralcontentgeneration #programsynthesis #logicprogramming
José A. Alonso · @Jose_A_Alonso
794 followers · 1524 posts · Server mathstodon.xyzThe DLV system for knowledge representation and reasoning. ~ Nicola Leone, Gerald Pfeifer, Wolfgang Faber, Thomas Eiter, Georg Gottlob, Simona Perri, Francesco Scarcello. https://arxiv.org/abs/cs/0211004 #ASP #LogicProgramming #KRR #Knowledge_representation_and_reasoning
#knowledge_representation_and_reasoning #KRR #logicprogramming #asp
José A. Alonso · @Jose_A_Alonso
794 followers · 1523 posts · Server mathstodon.xyzAnswer Set Solving in Practice. ~ Torsten Schaub. https://github.com/potassco-asp-course/course/releases/download/v1.15.0/main.pdf #ASP #LogicProgramming #KRR #Knowledge_representation_and_reasoning
#knowledge_representation_and_reasoning #KRR #logicprogramming #asp
José A. Alonso · @Jose_A_Alonso
771 followers · 1511 posts · Server mathstodon.xyzEfficiently learning efficient programs. ~ Andrew Cropper. https://drive.google.com/file/d/1ZmtEklnYfFxJDHVV8NMIdq6r8Gt5Thzh/view #PhDThesis #ILP #LogicProgramming #MachineLearning
#machinelearning #logicprogramming #ilp #phdthesis
José A. Alonso · @Jose_A_Alonso
771 followers · 1510 posts · Server mathstodon.xyzInductive logic programming at 30: a new introduction. ~ Andrew Cropper, Sebastijan Dumančić. https://arxiv.org/abs/2008.07912 #ILP #LogicProgramming #MachineLearning
#machinelearning #logicprogramming #ilp
José A. Alonso · @Jose_A_Alonso
771 followers · 1509 posts · Server mathstodon.xyzLearning logic programs by explaining their failures. ~ Rolf Morel, Andrew Cropper. https://arxiv.org/abs/2102.12551 #ILP #LogicProgramming #MachineLearning
#machinelearning #logicprogramming #ilp
José A. Alonso · @Jose_A_Alonso
771 followers · 1508 posts · Server mathstodon.xyzLearning programs by learning from failures. ~ Andrew Cropper, Rolf Morel. https://arxiv.org/abs/2005.02259 #ILP #LogicProgramming #MachineLearning
#machinelearning #logicprogramming #ilp
José A. Alonso · @Jose_A_Alonso
771 followers · 1507 posts · Server mathstodon.xyzThe automatic computer scientist. ~ Andrew Cropper. https://drive.google.com/file/d/1AH44O0aWZCH_V1rfBC5FUq4JMDldQTBO/view #ILP #LogicProgramming #MachineLearning
#machinelearning #logicprogramming #ilp
José A. Alonso · @Jose_A_Alonso
771 followers · 1506 posts · Server mathstodon.xyzInductive logic programming: an introduction and recent advances. ~ Andrew Cropper, Celine Hocquette, Sebastian Dumancic. https://sebdumancic.github.io/assets/pdf/AAAI23_ILPTutorial.pdf #ILP #InductiveLogicProgramming #MachineLearning #LogicProgramming
#logicprogramming #machinelearning #inductivelogicprogramming #ilp
José A. Alonso · @Jose_A_Alonso
769 followers · 1458 posts · Server mathstodon.xyzDemonstrating multiple Prolog programming techniques through a single operation. ~ Nick Bassiliades, Ilias Sakellariou, Petros Kefalas. https://www.researchgate.net/publication/371661553_Demonstrating_Multiple_Prolog_Programming_Techniques_Through_a_Single_Operation #Prolog #LogicProgramming
José A. Alonso · @Jose_A_Alonso
768 followers · 1456 posts · Server mathstodon.xyzDemonstrating multiple Prolog programming techniques through a single operation. ~ Nick Bassiliades, Ilias Sakellariou, Petros Kefalas. https://www.researchgate.net/profile/Nick-Bassiliades/publication/371661553_Demonstrating_Multiple_Prolog_Programming_Techniques_Through_a_Single_Operation/links/64903dff95bbbe0c6edaa03e/Demonstrating-Multiple-Prolog-Programming-Techniques-Through-a-Single-Operation.pdf #Prolog #LogicProgramming
José A. Alonso · @Jose_A_Alonso
766 followers · 1446 posts · Server mathstodon.xyz
José A. Alonso · @Jose_A_Alonso
756 followers · 1425 posts · Server mathstodon.xyzEncoding hard string problems with answer set programming. ~ Dominik Köppl. https://drops.dagstuhl.de/opus/volltexte/2023/17953/pdf/lipics-vol259-cpm2023-complete.pdf#page=309 #AnswerSetProgramming #LogicProgramming #Clingo
#clingo #logicprogramming #answersetprogramming
José A. Alonso · @Jose_A_Alonso
746 followers · 1386 posts · Server mathstodon.xyzNeuro-symbolic learning of answer set programs from raw data. ~ Daniel Cunnington, Mark Law, Jorge Lobo, Alessandra Russo. https://arxiv.org/abs/2205.12735 #ASP #LogicProgramming #MachineLearning #AI
#ai #machinelearning #logicprogramming #asp
José A. Alonso · @Jose_A_Alonso
735 followers · 1322 posts · Server mathstodon.xyzExternal behavior of a logic program and verification of refactoring. ~ Jorge Fandinno, Zachary Hansen, Yuliya Lierler, Vladimir Lifschitz, Nathan Temple. https://arxiv.org/abs/2305.17485 #ASP #LogicProgramming #ATP #Vampire
#vampire #atp #logicprogramming #asp