An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs

DOI10.1023/A:1018982106545zbMath0940.68019OpenAlexW1527351072MaRDI QIDQ1978009

Yanyan Li

Publication date: 7 June 2000

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1018982106545

zbMATH Keywords

Kripke-Kleene semanticssmodels

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

This page was built for publication: An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs