The Stable Model Semantics for Higher-Order Logic Programming

We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfully been used to give meaning to diverse non-monotonic formalisms. The proposed semantics generalizes the classical two-va...

Full description

Saved in:

Bibliographic Details
Published in:	Theory and practice of logic programming Vol. 24; no. 4; pp. 737 - 754
Main Authors:	BOGAERTS, BART, CHARALAMBIDIS, ANGELOS, CHATZIAGAPIS, GIANNOS, KOSTOPOULOS, BABIS, POLLACI, SAMUELE, RONDOGIANNIS, PANOS
Format:	Journal Article
Language:	English
Published:	Cambridge, UK Cambridge University Press 01.07.2024
Subjects:	Boolean Formalism Logic programming Logic programs Original Article Power Programming languages Semantic web Semantics approximation fixpoint theory stable model semantics higher-order logic programming
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!