research
∙
05/10/2022
Strong Equivalence of Logic Programs with Ordered Disjunction: a Logical Perspective
Logic Programs with Ordered Disjunction (LPODs) extend classical logic p...
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
∙
07/23/2019
The Expressive Power of Higher-Order Datalog
A classical result in descriptive complexity theory states that Datalog ...
research
∙
08/13/2018
Predicate Specialization for Definitional Higher-order Logic Programs
Higher-order logic programming is an interesting extension of traditiona...
research
∙
04/23/2018
Approximation Fixpoint Theory and the Well-Founded Semantics of Higher-Order Logic Programs
We define a novel, extensional, three-valued semantics for higher-order ...
research
∙
07/20/2017
An extension of SPARQL for expressing qualitative preferences
In this paper we present SPREFQL, an extension of the SPARQL language th...
research
∙
05/15/2014