Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation

Extensional higher-order logic programming has been introduced as a generalization of classical logic programming. An important characteristic of this paradigm is that it preserves all the well-known properties of traditional logic programming. In this paper we consider the semantics of negation in...

Full description

Saved in:
Bibliographic Details
Published in:Theory and practice of logic programming Vol. 14; no. 4-5; pp. 725 - 737
Main Authors: CHARALAMBIDIS, ANGELOS, ÉSIK, ZOLTÁN, RONDOGIANNIS, PANOS
Format: Journal Article
Language:English
Published: Cambridge, UK Cambridge University Press 01.07.2014
Subjects:
Logic programming
Paradoxes
Preserves
Regular Papers
Semantics
ISSN:1471-0684, 1475-3081
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first