![این مقاله در پایگاه ساینس دایرکت منتشر شده است Elsevier - ScienceDirect - الزویر - ساینس دایرکت](/assets/img/Elsevier-Logo.png)
A game semantics for disjunctive logic programming
Keywords: برنامه ریزی منطق تفکیکی; 03B70; 68N17; 68Q55; 91A40; Logic programming; Disjunctive logic programming; Game semantics; Logic programming semantics;