Elsevier

Theoretical Computer Science

Volume 66, Issue 2, 20 August 1989, Pages 205-232
Theoretical Computer Science

A logico-algebraic approach to the model theory of knowledge

https://doi.org/10.1016/0304-3975(89)90135-7Get rights and content
Under an Elsevier user license
open archive

Abstract

In this paper we combine concepts from algebraic semantics and first-order logic programming in order to build an extended logic programming framework. This framework is applied to obtain a computational formalization of the model theory of knowledge of McCarthy et al. (1978).

Cited by (0)