External Links

    Journal: TPLP

    Volume 19, Issue 1

    1 -- 26Ho-Pun Lam, Mustafa Hashmi. Enabling reasoning with LegalRuleML
    27 -- 82Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub. Multi-shot ASP solving with clingo
    83 -- 108Clémence Frioux, Torsten Schaub, Sebastian Schellhorn, Anne Siegel, Philipp Wanko. Hybrid metabolic network completion
    runs on