147 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Christos Diou2 profiles9 · h 9
- Aristotelis Ballas6 · h 6
- Georgios Th. Papadopoulos2 profiles6 · h 6
- Iraklis Varlamis2 profiles6 · h 29
- Ioannis Mademlis5 · h 6
- K. Tserpes4 · h 40
- T. Varvarigou4 · h 37
- Vasileios Papapanagiotou4 · h 12
- A. Alsalemi3 · h 27
- A. Amira3 · h 50
- Adamantia Anna Rebolledo Chrysochoou3 · h 3
- B. Kostopoulos3 · h 1
- National Technical University of AthensGR7 papers
- Vrije Universiteit BrusselBE4 papers
- Aristotle University of ThessalonikiGR3 papers
- Centre for Research and Technology HellasGR3 papers
- De Montfort UniversityGB3 papers
- National and Kapodistrian University of AthensGR3 papers
- Qatar UniversityQA3 papers
- University of the AegeanGR3 papers
- Athens University of Economics and BusinessGR2 papers
- Centre National de la Recherche ScientifiqueFR2 papers
- École de Technologie SupérieureCA2 papers
- Frontier Science Foundation-HellasGR2 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2024★ 4 cited
The Stable Model Semantics for Higher-Order Logic Programming
Bart Bogaerts, Angelos Charalambidis, Giannos Chatziagapis +3
We propose a stable model semantics for higher-order logic programs. Our semantics is developed using Approximation Fixpoint Theory (AFT), a powerful formalism that has successfull…
cs.LO2024
A Category-Theoretic Perspective on Higher-Order Approximation Fixpoint Theory
Samuele Pollaci, Babis Kostopoulos, Marc Denecker +1
Approximation Fixpoint Theory (AFT) is an algebraic framework designed to study the semantics of non-monotonic logics. Despite its success, AFT is not readily applicable to higher-…