Baidu
map

Founded (Auto) Epistemic Equilibrium Logic Satisfies Epistemic Splitting

Fandinno, J

Fandinno, J (reprint author), Univ Toulouse, IRIT, CNRS, Toulouse, France.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2019; 19 (5-6): 671

Abstract

In a recent line of research, two familiar concepts from logic programming semantics (unfounded sets and splitting) were extrapolated to the case of e......

Full Text Link


Baidu
map
Baidu
map
Baidu
map