A Bottom-up Semantics for Constructive Negation

A Bottom-up Semantics for Constructive Negation
Author: Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands).
Publisher:
Total Pages: 22
Release: 1994
Genre:
ISBN:


Download A Bottom-up Semantics for Constructive Negation Book in PDF, Epub and Kindle


A Bottom-up Semantics for Constructive Negation
Language: en
Pages: 22
Authors: Centrum voor Wiskunde en Informatica (Amsterdam, Netherlands).
Categories:
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK

A Bottum-up Semantics for Constructive Negation
Language: en
Pages: 22
Authors: Annalisa Bossi
Categories: Logic programming
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK

Abstract: "The constructive negation rule has been introduced by Chan [5,6] to overcome the main drawbacks of the negation-as-failure rule: the unsoundness of f
Report CS-R
Language: en
Pages: 324
Authors:
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK

Logic Programming and Nonmonotonic Reasoning
Language: en
Pages: 460
Authors: Thomas Eiter
Categories: Computers
Type: BOOK - Published: 2003-08-06 - Publisher: Springer

GET EBOOK

This book constitutes the refereed proceedings of the 6th International Conference on Logic Programming and Nonmonotonic Reasoning, LPNMR 2001, held in Vienna,
CWI Quarterly
Language: en
Pages: 454
Authors:
Categories: Computers
Type: BOOK - Published: 1994 - Publisher:

GET EBOOK