2 citations · 3 across the 2 of their papers we have counts for
3 papers
A geospatial source selector for federated GeoSPARQL querying
Antonis Troumpoukis, Stasinos Konstantopoulos, Nefeli Prokopaki-Kostopoulou
Background: Geospatial linked data brings into the scope of the Semantic Web and its technologies, a wealth of datasets that combine semantically-rich descriptions of resources wit…
Lexicographic Logic: a Many-valued Logic for Preference Representation
Angelos Charalambidis, Giorgos Papadimitriou, Panos Rondogiannis +1
Logical formalisms provide a natural and concise means for specifying and reasoning about preferences. In this paper, we propose lexicographic logic, an extension of classical prop…
Predicate Specialization for Definitional Higher-order Logic Programs
Antonis Troumpoukis, Angelos Charalambidis
Higher-order logic programming is an interesting extension of traditional logic programming that allows predicates to appear as arguments and variables to be used where predicates…