Search Results - Extensional higher-order logic programming

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation by CHARALAMBIDIS, ANGELOS, ÉSIK, ZOLTÁN, RONDOGIANNIS, PANOS

“…Extensional higher-order logic programming has been introduced as a generalization of classical logic programming…”
Get full text

Equivalence of two fixed-point semantics for definitional higher-order logic programs by Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“…Two distinct research approaches have been proposed for assigning extensional semantics to higher-order logic programming…”
Get full text

The intricacies of three-valued extensional semantics for higher-order logic programs by RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“…M. Bezem defined an extensional semantics for positive higher-order logic programs…”
Get full text

Extensional Higher-Order Logic Programming by Charalambidis, A, Handjopoulos, K, Rondogiannis, P, Wadge, W W

“…We propose a purely extensional semantics for higher-order logic programming. In this semantics program predicates denote sets of ordered tuples, and two predicates are equal iff they are equal as sets…”
Get full text

Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation by Charalambidis, Angelos, Ésik, Zoltán, Rondogiannis, Panos

“…Extensional higher-order logic programming has been introduced as a generalization of classical logic programming…”
Get full text

Extensional Semantics for Higher-Order Logic Programs with Negation by Rondogiannis, Panos, Symeonidou, Ioanna

“…We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01…”
Get full text

Extensional Semantics for Higher-Order Logic Programs with Negation by Rondogiannis, Panos, Symeonidou, Ioanna

“…We develop an extensional semantics for higher-order logic programs with negation, generalizing the technique that was introduced in [Bezem99,Bezem01…”
Get full text

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs by Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“…Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming…”
Get full text

Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs by Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“…Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming…”
Get full text

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs by Charalambidis, Angelos, Rondogiannis, Panos, Symeonidou, Ioanna

“…We define a novel, extensional, three-valued semantics for higher-order logic programs with negation…”
Get full text

Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs by CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, SYMEONIDOU, IOANNA

“…We define a novel, extensional, three-valued semantics for higher-order logic programs with negation…”
Get full text

The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs by Rondogiannis, Panos, Symeonidou, Ioanna

“…In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics for positive higher-order logic programs…”
Get full text

A HIGHER-ORDER LOGIC AS THE BASIS FOR LOGIC PROGRAMMING by NADATHUR, GOPALAN

“…The objective of this thesis is to provide a formal basis for higher-order features in the paradigm of logic programming…”
Get full text

Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III by Steen, Alexander

“…Automation of classical higher-order logic faces various theoretical and practical challenges…”
Get full text

Programming languages and systems : 32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023 : proceedings by Wies, Thomas

“…This open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint…”
Get full text

Decalf: A Directed, Effectful Cost-Aware Logical Framework by Grodin, Harrison, Niu, Yue, Sterling, Jonathan, Harper, Robert

“…We present decalf, a directed, effectful cost-aware logical framework for studying quantitative aspects of functional programs with effects. Like calf, the…”
Get full text

The Full Abstraction Problem for Higher Order Functional-Logic Programs by López-Fraguas, F J, Rodríguez-Hortalá, J

“… In this work we address the question of full abstraction for the family of modern functional logic languages, in which functions can be higher order and non-deterministic, and where the…”
Get full text

Linear dependent types in a call-by-value scenario by Dal Lago, Ugo, Petit, Barbara

“…Linear dependent types were introduced recently (Dal Lago and Gaboardi, 2012) [26] as a formal system that allows to precisely capture both the extensional behavior and the time complexity…”
Get full text

Bistable Biorders: A Sequential Domain Theory by Laird, James

“… (with atomic constants), and an extension with arithmetic and recursion. We also construct a bistable model of SPCF, a higher-order functional programming language…”
Get full text

Higher-order functional languages and intensional logic by Rondogiannis, Panagiotis

“…The purpose of this dissertation is to demonstrate that higher-order functional programs can be transformed into zero-order intensional ones in a semantics preserving way…”
Get full text