Panos Rondogiannis

Available identifiers

zbMath Open rondogiannis.panosMaRDI QIDQ169899

List of research outcomes

Publication	Date of Publication	Type
Categorical approximation fixpoint theory	2024-05-29	Paper
Strong Equivalence of Logic Programs with Ordered Disjunction: A Logical Perspective	2022-09-30	Paper
A logical characterization of the preferred models of logic programs with ordered disjunction	2022-01-10	Paper
Equivalence of two fixed-point semantics for definitional higher-order logic programs	2021-12-02	Paper
A Fixed Point Theorem on Lexicographic Lattice Structures	2021-01-21	Paper
The expressive power of higher-order Datalog	2020-05-04	Paper
Approximation fixpoint theory and the well-founded semantics of higher-order logic programs	2018-12-04	Paper
The infinite-valued semantics: overview, recent results and future directions	2018-08-28	Paper
Extensional semantics for higher-order logic programs with negation	2018-08-15	Paper
The intricacies of three-valued extensional semantics for higher-order logic programs	2017-11-08	Paper
Overview of an abstract fixed point theory for non-monotonic functions and its applications to logic programming	2017-08-25	Paper
Minimum model semantics for logic programs with negation-as-failure	2017-07-12	Paper
Equivalence of two fixed-point semantics for definitional higher-order logic programs	2017-02-27	Paper
Game semantics for non-monotonic intensional logic programming	2016-12-02	Paper
Extensional semantics for higher-order logic programs with negation	2016-11-30	Paper
A fixed point theorem for non-monotonic functions	2015-02-24	Paper
Theorems on pre-fixed points of non-monotonic functions with applications in logic programming and formal grammars	2015-01-13	Paper
Minimum model semantics for extensional higher-order logic programming with negation	2014-11-25	Paper
Game semantics for non-monotonic intensional logic programming	2013-10-10	Paper
A game-theoretic characterization of Boolean grammars	2011-03-14	Paper
Extensional higher-order logic programming	2010-10-01	Paper
Strong equivalence of logic programs under the infinite-valued semantics	2010-08-16	Paper
Well-founded semantics for Boolean grammars	2009-09-14	Paper
A limit characterization for the number of spanning trees of graphs	2009-07-21	Paper
A Game-Theoretic Characterization of Boolean Grammars	2009-07-07	Paper
Well-Founded Semantics for Boolean Grammars	2009-03-26	Paper
Efficient intensional implementation for lazy functional languages	2009-02-17	Paper
Locally stratified Boolean grammars	2008-10-08	Paper
An infinite-game semantics for well-founded negation in logic programming	2008-03-06	Paper
A value-propagating transformation technique for Datalog programs based on non-deterministic constructs	2006-09-18	Paper
Logic Programming	2006-06-27	Paper
Temporal stratification tests for linear and branching-time deductive databases	2005-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4808806	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4708939	2003-06-20	Paper
The branching-time transformation technique for chain datalog programs	2002-01-22	Paper
Temporal disjunctive logic programming	2001-04-17	Paper
Branching-time logic programming: the language Cactus and its applications	2000-01-04	Paper

Research outcomes over time

This page was built for person: Panos Rondogiannis