research
∙
05/02/2023
Bilingual analogical proportions
Analogical proportions are expressions of the form “a is to b what c is ...
research
∙
03/08/2023
Logic-based similarity
This paper develops a qualitative and logic-based notion of similarity f...
research
∙
02/21/2023
Sequential decomposition of propositional logic programs
The sequential composition of propositional logic programs has been rece...
research
∙
02/13/2023
Generalization-based similarity
Detecting and exploiting similarities between seemingly distant objects ...
research
∙
01/20/2023
Algebraic characterizations of least model and uniform equivalence of propositional Krom logic programs
This research note provides algebraic characterizations of equivalence w...
research
∙
08/31/2022
Proportional algebras, homomorphisms, congruences, and functors
This paper introduces proportional algebras as algebras endowed with the...
research
∙
08/14/2022
Analogical proportions in monounary algebras and difference proportions
This paper studies analogical proportions in monounary algebras consisti...
research
∙
09/11/2021
On syntactically similar logic programs and sequential decompositions
Rule-based reasoning is an essential part of human intelligence prominen...
research
∙
09/01/2021
Boolean proportions
Analogy-making is at the core of human intelligence and creativity with ...
research
∙
04/25/2021
Sequential composition of answer set programs
Non-monotonic reasoning is an essential part of human intelligence promi...
research
∙
09/12/2020
Finite Horn Monoids via Propositional Horn Theory Composition
Describing complex objects as the composition of elementary ones is a co...
research
∙
06/04/2020
Analogical Proportions
Analogy-making is at the core of human and artificial intelligence and c...
research
∙
05/17/2020
Fixed Point Semantics for Stream Reasoning
Reasoning over streams of input data is an essential part of human intel...
research
∙
09/26/2018