Implementing a Many-Valued Semantics for Logic Programs with Ordered Disjunction Using ASP.
Angelos Charalambidis, Georgios Nikolaou, Antonis Troumpoukis
Browse the full LOPSTR paper archive.
Angelos Charalambidis, Georgios Nikolaou, Antonis Troumpoukis
Browse the full LOPSTR paper archive.