Výsledky vyhledávání - "Higher-Order Logic Programming"

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. The former approach [11] uses…”
Získat 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. The new semantics is based on interpreting the types of…”
Získat plný text

The Expressive Power of Higher-Order Datalog Autor CHARALAMBIDIS, ANGELOS, NOMIKOS, CHRISTOS, RONDOGIANNIS, PANOS

“…A classical result in descriptive complexity theory states that Datalog expresses exactly the class of polynomially computable queries on ordered databases…”
Získat 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. Recently, it was demonstrated by Rondogiannis and Symeonidou that Bezem's…”
Získat plný text

Overview of an Abstract Fixed Point Theory for Non-Monotonic Functions and its Applications to Logic Programming Autor Charalambidis, Angelos, Rondogiannis, Panos

“…The purpose of the present paper is to give an overview of our joint work with Zoltán Ésik, namely the development of an abstract fixed point theory for a…”
Získat plný text

A Framework for Object-Oriented Data Mining Based on Higher-Order Logic Programming Autor Zhang, Zhi Ping, Wang, Li Jun, Yu, Hai Yan, Li, Lin Na

“…Data mining discovers knowledge and useful information from large amounts of data stored in databases. With the increasing popularity of object-oriented…”
Získat plný text

Transformations of logic programs with goals as arguments Autor PETTOROSSI, ALBERTO, PROIETTI, MAURIZIO

“…We consider a simple extension of logic programming where variables may range over goals and goals may be arguments of predicates. In this language we can…”
Získat plný text

Polymorphic lemmas and definitions in $\lambda$Prolog and Twelf Autor APPEL, ANDREW W., FELTY, AMY P.

“…$\lambda$Prolog is known to be well-suited for expressing and implementing logics and inference systems. We show that lemmas and definitions in such logics can…”
Získat plný text