Yong Hu, Li Yan Yuan
Abstract
We inv estigate the declarative semantics of logic programs with negation. First, we propose the extended well-founded model semantics. Then we establish three important criteria of declarative semantics for logic programs. Finally we justify our extension through the comparison of different semantics. 1.
OpenAlex reports 16 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
We inv estigate the declarative semantics of logic programs with negation. First, we propose the extended well-founded model semantics. Then we establish three important criteria of declarative semantics for logic programs. Finally we justify our extension through the comparison of different semantics. 1.
Key concepts: Stable model semantics, Negation, Programming language, Logic programming, Well-founded semantics, Autoepistemic logic, Computer science, Semantics (computer science)