Robuta

https://portal.mardi4nfdi.de/wiki/Propositional_semantics_for_disjunctive_logic_programs Propositional semantics for disjunctive logic programs - MaRDI portal propositional semantics disjunctive logic programs https://portal.mardi4nfdi.de/wiki/Publication:2326731 Evaluation of disjunctive programs in WASP - MaRDI portal evaluation disjunctive programs wasp mardi https://arxiv.org/abs/2507.11655 [2507.11655] Counting Answer Sets of Disjunctive Answer Set Programs Abstract page for arXiv paper 2507.11655: Counting Answer Sets of Disjunctive Answer Set Programs disjunctive set counting answer sets programs https://portal.mardi4nfdi.de/wiki/Implementing_Prioritized_Circumscription_by_Computing_Disjunctive_Stable_Models Implementing Prioritized Circumscription by Computing Disjunctive Stable Models - MaRDI portal implementing prioritized circumscription computing disjunctive