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
nope · @stacked_automation
124 followers · 6541 posts · Server mastodon.socialMulti-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI: https://doi.org/10.1017/s1471068418000054
#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving
#my_bibtex
#asp #answer_set_programming #clingo #logic_programming #multi_shot_solving #my_bibtex
nope · @stacked_automation
127 followers · 6600 posts · Server mastodon.social
Multi-shot ASP solving with clingo
(2018) : Martin Gebser and Roland Kaminski and Benjamin Kaufmann and Torsten Schaub
DOI: https://doi.org/10.1017/s1471068418000054
#ASP #answer_set_programming #clingo #logic_programming #multi_shot_solving
#my_bibtex
#asp #answer_set_programming #clingo #logic_programming #multi_shot_solving #my_bibtex