Search Results - "Foundations of Logic Programming"

A logical foundation for logic programming I: Biconsequence relations and nonmonotonic completion by Bochman, Alexander

“…We suggest a general logical formalism for Logic Programming based on a four-valued inference. We show that it forms a proper setting for representing logic…”
Get full text

A logical foundation for logic programming II: Semantics of general logic programs by Bochman, Alexander

“…We suggested in Part I of this study a general logical formalism for Logic Programming based on a four-valued inference. In this paper we give a uniform…”
Get full text