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