2014
DOI: 10.1017/s1471068414000313
|View full text |Cite
|
Sign up to set email alerts
|

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

Abstract: 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 the context of the new paradigm. Using some recent results from non-monotonic fixed-point theory, we demonstrate that every higher-order logic program with negation has a unique minimum infinite-valued model. In thi… Show more

Help me understand this report
View preprint versions

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

1
59
0
6

Year Published

2015
2015
2023
2023

Publication Types

Select...
3
3

Relationship

2
4

Authors

Journals

citations
Cited by 19 publications
(66 citation statements)
references
References 10 publications
1
59
0
6
Order By: Relevance
“…One such case is extensional higherorder logic programming [CHRW13], which enhances classical logic programming with higherorder predicates. We have recently used the main results of the present paper in order to obtain a minimum model semantics for extensional higher-order logic programming extended with negation [CER14]. Other possible areas of logic programming that can benefit from the proposed fixed point theorem are disjunctive logic programming with negation [CPRW07] and logic programming with preferences [RT13].…”
Section: Discussionmentioning
confidence: 99%
“…One such case is extensional higherorder logic programming [CHRW13], which enhances classical logic programming with higherorder predicates. We have recently used the main results of the present paper in order to obtain a minimum model semantics for extensional higher-order logic programming extended with negation [CER14]. Other possible areas of logic programming that can benefit from the proposed fixed point theorem are disjunctive logic programming with negation [CPRW07] and logic programming with preferences [RT13].…”
Section: Discussionmentioning
confidence: 99%
“…This abstract theory was successfully developed and is described in detail in [4]. As an application of these results, this abstract theory was used in [1] in order to obtain the first extensional semantics for higher-order logic programs with negation. Another application of the new theory to the area of non-monotonic formal grammars was proposed in [3].…”
Section: Angelos Charalambidis and Panos Rondogianniśmentioning
confidence: 99%
“…We now have all we need in order to apply the main Theorem of [4], getting the following result [1]:…”
Section: Let Us Denote By [A Mmentioning
confidence: 99%
See 2 more Smart Citations