The Difficulties of Learning Logic Programs With Cut
(1993) : Bergadano, F. Gunetti, D. Trin...
DOI: https://doi.org/10.1613/jair.26
#induction #prolog #inductive_logic #procedural_cut #logic_programming #cut_predicate #backtracking #my_bibtex
#induction #prolog #inductive_logic #procedural_cut #logic_programming #cut_predicate #Backtracking #my_bibtex
Ceptre Tutorial
(2021) : Chris Martens
url: https://github.com/chrisamaphone/interactive-lp
#ceptre #linear_logic #logic_programming #tutorial
#my_bibtex
#ceptre #linear_logic #logic_programming #tutorial #my_bibtex
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
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