You need JavaScript to view this

Semantic theory for logic programming

Conference:

Abstract

The author axiomatizes a number of meta theoretic concepts which have been used in logic programming, including: meaning, logical truth, nonentailment, assertion and erasure, thus showing that these concepts are logical in nature and need not be defined as they have previously been defined in terms of the operations of any particular interpreter for logic programs. 10 references.
Authors:
Publication Date:
Jan 01, 1981
Product Type:
Conference
Reference Number:
EDB-86-007515
Subject:
99 GENERAL AND MISCELLANEOUS//MATHEMATICS, COMPUTING, AND INFORMATION SCIENCE; ARTIFICIAL INTELLIGENCE; PROGRAMMING; 990200* - Mathematics & Computers
OSTI ID:
6363477
Country of Origin:
Netherlands
Language:
English
Submitting Site:
HEDB
Size:
Pages: 18
Announcement Date:
Jul 01, 1985

Conference:

Citation Formats

Brown, F M. Semantic theory for logic programming. Netherlands: N. p., 1981. Web.
Brown, F M. Semantic theory for logic programming. Netherlands.
Brown, F M. 1981. "Semantic theory for logic programming." Netherlands.
@misc{etde_6363477,
title = {Semantic theory for logic programming}
author = {Brown, F M}
abstractNote = {The author axiomatizes a number of meta theoretic concepts which have been used in logic programming, including: meaning, logical truth, nonentailment, assertion and erasure, thus showing that these concepts are logical in nature and need not be defined as they have previously been defined in terms of the operations of any particular interpreter for logic programs. 10 references.}
place = {Netherlands}
year = {1981}
month = {Jan}
}