An implementation of Kripke-Kleene semantics

DOI10.1016/S0020-0255(97)10068-8zbMath0934.68057MaRDI QIDQ1292578

Faye F. Liu, Douglas H. Moore

Publication date: 22 June 1999

Published in: Information Sciences (Search for Journal in Brave)

zbMATH Keywords

Kripke-Kleene semantics

Mathematics Subject Classification ID

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

Related Items (2)

A semantic approach for web reasoning ⋮ Making assumptions in the automated derivation

Cites Work

• A kripke-kleene semantics for logic programs*
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An implementation of Kripke-Kleene semantics