#knowledge_representation_and_reasoning — Public Fediverse posts
Live and recent posts from across the Fediverse tagged #knowledge_representation_and_reasoning, aggregated by home.social.
-
The 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
-
Answer 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