pith. sign in

Panos Rondogiannis

Identifiers

  • name variant Panos Rondogiannis 0.60 · backfill

Papers (7)

  1. From Time to Space: The Impact of Linearity in Higher-Order Datalog cs.PL · 2026 · author #3
  2. Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs cs.LO · 2026 · author #4
  3. Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs cs.PL · 2018 · author #2
  4. The Intricacies of 3-Valued Extensional Semantics for Higher-Order Logic Programs cs.PL · 2017 · author #1
  5. Equivalence of two Fixed-Point Semantics for Definitional Higher-Order Logic Programs cs.LO · 2015 · author #2
  6. A Fixed Point Theorem for Non-Monotonic Functions cs.LO · 2014 · author #2
  7. Minimum Model Semantics for Logic Programs with Negation-as-Failure cs.LO · 2003 · author #1

Mentions

  • 1509.03013 #2 · backfill · confidence 0.70 Panos Rondogiannis
  • 2606.02394 #3 · arxiv_oai · confidence 0.70 Panos Rondogiannis
  • 2606.02387 #4 · arxiv_oai · confidence 0.70 Panos Rondogiannis
  • 1402.0299 #2 · backfill · confidence 0.70 Panos Rondogiannis

Frequent Coauthors