Baidu
map

Founded semantics and constraint semantics of logic rules

Liu, YHA; Stoller, SD

Liu, YHA (corresponding author), SUNY Stony Brook, Comp Sci Dept, Stony Brook, NY 11794 USA.

JOURNAL OF LOGIC AND COMPUTATION, 2020; 30 (8): 1609

Abstract

Logic rules and inference are fundamental in computer science and have been studied extensively. However, prior semantics of logic languages can have ......

Full Text Link


Baidu
map
Baidu
map
Baidu
map