Keywords: معنای به اصطلاح; Approximation fixpoint theory; Lattice operator; Inductive definitions; Induction process; Construction; Well-founded semantics; Groundedness; Logic programming; Autoepistemic logic; Abstract argumentation;
مقالات ISI معنای به اصطلاح (ترجمه نشده)
مقالات زیر هنوز به فارسی ترجمه نشده اند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
در صورتی که به ترجمه آماده هر یک از مقالات زیر نیاز داشته باشید، می توانید سفارش دهید تا مترجمان با تجربه این مجموعه در اسرع وقت آن را برای شما ترجمه نمایند.
Keywords: معنای به اصطلاح; Approximation fixpoint theory; Lattice operator; Stable semantics; Well-founded semantics; Groundedness; Logic programming; Autoepistemic logic; Abstract argumentation; Abstract dialectical frameworks
Keywords: معنای به اصطلاح; Argumentation; Logic programming; Well-founded semantics; Argumentation tools; Stable model semantics; Answer set programming
Three-valued semantics for hybrid MKNF knowledge bases revisited
Keywords: معنای به اصطلاح; Hybrid MKNF knowledge bases; Semantics of MKNF; Three-valued logic; Well-founded semantics; Guess-and-verify proof method;