BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Panos Rondogiannis
SearchCollections
Map detail
Panos Rondogiannis9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipPanos RondogiannisAPanos RondogiannisResearcherMinimum Model Semantics for Logic Programs with Negation-as-FailureWMinimum Model Semantics...preprint / 2003A Logical Characterization of the Preferred Models of Logic Programs with Ordered DisjunctionWA Logical Characterizat...preprint / 2021A Fixed Point Theorem for Non-Monotonic FunctionsWA Fixed Point Theorem f...preprint / 2015Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic ProgramsWEquivalence of two Fixe...preprint / 2015Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical PerspectiveWStrong Equivalence of L...preprint / 2022The Expressive Power of Higher-Order DatalogWThe Expressive Power of...preprint / 2019Minimum Model Semantics for Extensional Higher-order Logic Programming with NegationWMinimum Model Semantics...preprint / 2014The Power of Negation in Higher-Order DatalogWThe Power of Negation i...preprint / 2025
Person8 links

Panos Rondogiannis

Researcher

PaperMinimum Model Semantics for Logic Programs with Negation-as-FailureAuthorship / preprint / 2003PaperA Logical Characterization of the Preferred Models of Logic Programs with Ordered DisjunctionAuthorship / preprint / 2021PaperA Fixed Point Theorem for Non-Monotonic FunctionsAuthorship / preprint / 2015PaperEquivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic ProgramsAuthorship / preprint / 2015PaperStrong Equivalence of Logic Programs with Ordered Disjunction: a Logical PerspectiveAuthorship / preprint / 2022PaperThe Expressive Power of Higher-Order DatalogAuthorship / preprint / 2019PaperMinimum Model Semantics for Extensional Higher-order Logic Programming with NegationAuthorship / preprint / 2014PaperThe Power of Negation in Higher-Order DatalogAuthorship / preprint / 2025

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)