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
https://portal.mardi4nfdi.de/entity/Q5014440	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
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 Higher-Order Logic Programming	2015-09-17	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