Panos Rondogiannis

Available identifiers

zbMath Open rondogiannis.panosMaRDI QIDQ169899

List of research outcomes

Publication	Date of Publication	Type
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
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
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
On the expressive power of univariate equations over sets of natural numbers	2012-05-24	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
https://portal.mardi4nfdi.de/entity/Q5487109	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Panos Rondogiannis