Disjunctive logic programming

Front Cover
J.C. Baltzer, 1994 - Disjunction (Logic) - 140 pages
0 Reviews
Abstract: "During the past several years a body of theoretical results has been developed in the field of logic programming. The book by Lloyd [Llo84] and the chapter by Apt [Apt89] present many of these theoretical results. In this paper we extend these results to disjunctive logic programming. We discuss and illustrate the semantics of Horn and disjunctive logic programs including negation. The material on disjunctive programming presented in this paper has been drawn from a series of papers written by the authors [MR90, MR88, RLM89b, LRM88, RM88, RLM89a, LMR89]."

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction
1
J Minker
12
Negation as failure for disjunctive logic programming
19
Copyright

3 other sections not shown

Common terms and phrases

Bibliographic information