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

Volltext

Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective von CHARALAMBIDIS, ANGELOS, NOMIKOS, CHRISTOS, RONDOGIANNIS, PANOS

Volltext

A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction von CHARALAMBIDIS, ANGELOS, RONDOGIANNIS, PANOS, TROUMPOUKIS, ANTONIS

Volltext

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

Volltext

A fixed point theorem for non-monotonic functions von Ésik, Zoltán, Rondogiannis, Panos

Volltext

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

Volltext

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

Volltext

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

Volltext

Categorical Approximation Fixpoint Theory von Charalambidis, Angelos, Rondogiannis, Panos

Volltext

Higher-order logic programming: An expressive language for representing qualitative preferences von Charalambidis, Angelos, Rondogiannis, Panos, Troumpoukis, Antonis

Volltext

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

Volltext

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

Volltext

On the expressive power of univariate equations over sets of natural numbers von Okhotin, Alexander, Rondogiannis, Panos

Volltext

Models and Games by Jouko Väänänen, Cambridge University Press, Cambridge Studies in Advanced Mathematics Series 132, 2011. Hardcover, ISBN 978-0-521-51812-3, 367 pp von Rondogiannis, Panos

Volltext

Game semantics for non-monotonic intensional logic programming von Galanaki, Chrysida, Nomikos, Christos, Rondogiannis, Panos

Volltext

Models and Games von Rondogiannis, Panos, Väänänen, Jouko

Volltext

A game-theoretic characterization of Boolean grammars von Kountouriotis, Vassilis, Nomikos, Christos, Rondogiannis, Panos

Volltext

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

Volltext

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

Volltext

Locally stratified Boolean grammars von Nomikos, Christos, Rondogiannis, Panos

Volltext