21 citations · 84 across the 35 of their papers we have counts for
4 papers · 1 filter
Equational properties of stratified least fixed points
Zoltan Esik
Recently, a novel fixed point operation has been introduced over certain non-monotonic functions between stratified complete lattices and used to give semantics to logic programs w…
Proceedings 14th International Conference on Automata and Formal Languages
Zoltán Ésik, Zoltán Fülöp
The 14th International Conference Automata and Formal Languages (AFL 2014) was held in Szeged, Hungary, from the 27th to the 29th of May, 2014. The conference was organized by the…
Minimum Model Semantics for Extensional Higher-order Logic Programming with Negation
Angelos Charalambidis, Zoltán Ésik, Panos Rondogiannis
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…
A Fixed Point Theorem for Non-Monotonic Functions
Zoltán Ésik, Panos Rondogiannis
We present a fixed point theorem for a class of (potentially) non-monotonic functions over specially structured complete lattices. The theorem has as a special case the Knaster-Tar…