research
∙
12/06/2022
A geospatial source selector for federated GeoSPARQL querying
Background: Geospatial linked data brings into the scope of the Semantic...
share
research
∙
08/07/2021
A Logical Characterization of the Preferred Models of Logic Programs with Ordered Disjunction
Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...
research
∙
12/20/2020
Lexicographic Logic: a Many-valued Logic for Preference Representation
Logical formalisms provide a natural and concise means for specifying an...
research
∙
08/13/2018
Predicate Specialization for Definitional Higher-order Logic Programs
Higher-order logic programming is an interesting extension of traditiona...
research
∙
07/20/2017
