Logic Programming with Default, Weak and Strict Negations

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

This paper treats logic programming with three kinds of negation: default, weak and strict negations. A 3-valued logic model theory is discussed for logic programs with three kinds of negation. The procedure is constructed for negations so that a soundness of the procedure is guaranteed in terms of 3-valued logic model theory.
14 pages, to appear in Theory and Practice of Logic Programming (TPLP)

Keywords

Logic in Computer Science, F.3.2; F.4.1; I.2.3

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/104399

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/cs/0511041
 http://arxiv.org/abs/cs/0511041

Collections

arXiv