Výsledky vyhľadávania - Extensional higher-order logic programming

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

“…Extensional higher-order logic programming has been introduced as a generalization of classical logic programming…”
Získať plný text

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

“…Two distinct research approaches have been proposed for assigning extensional semantics to higher-order logic programming…”
Získať plný text

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

“…M. Bezem defined an extensional semantics for positive higher-order logic programs…”
Získať plný text

Extensional Higher-Order Logic Programming Autor 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…”
Získať plný text

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

“…Extensional higher-order logic programming has been introduced as a generalization of classical logic programming…”
Získať plný text

Extensional Semantics for Higher-Order Logic Programs with Negation Autor 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…”
Získať plný text

Extensional Semantics for Higher-Order Logic Programs with Negation Autor 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…”
Získať plný text

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

“…Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming…”
Získať plný text

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

“…Two distinct research approaches have been proposed for assigning a purely extensional semantics to higher-order logic programming…”
Získať plný text

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

“…We define a novel, extensional, three-valued semantics for higher-order logic programs with negation…”
Získať plný text

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

“…We define a novel, extensional, three-valued semantics for higher-order logic programs with negation…”
Získať plný text

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

“…In (Bezem 1999; Bezem 2001), M. Bezem defined an extensional semantics for positive higher-order logic programs…”
Získať plný text

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

“…The objective of this thesis is to provide a formal basis for higher-order features in the paradigm of logic programming…”
Získať plný text

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

“…Automation of classical higher-order logic faces various theoretical and practical challenges…”
Získať plný 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 Autor 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…”
Získať plný text

Decalf: A Directed, Effectful Cost-Aware Logical Framework Autor 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…”
Získať plný text

The Full Abstraction Problem for Higher Order Functional-Logic Programs Autor 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…”
Získať plný text

Linear dependent types in a call-by-value scenario Autor 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…”
Získať plný text

Bistable Biorders: A Sequential Domain Theory Autor 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…”
Získať plný text

Higher-order functional languages and intensional logic Autor 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…”
Získať plný text