research
∙
07/19/2022
Capturing the polynomial hierarchy by second-order revised Krom logic
We study the expressive power and complexity of second-order revised Kro...
share
research
∙
07/15/2022
Fuzzy Labeling Semantics for Quantitative Argumentation
The topic of evaluating argument strength in various quantitative argume...
research
∙
05/22/2017
View-Invariant Recognition of Action Style Self-Dissimilarity
Self-similarity was recently introduced as a measure of inter-class cong...
research
∙
05/22/2017
An Invariant Model of the Significance of Different Body Parts in Recognizing Different Actions
In this paper, we show that different body parts do not play equally imp...
research
∙
12/01/2014
Canonical Logic Programs are Succinctly Incomparable with Propositional Formulas
Canonical (logic) programs (CP) refer to normal logic programs augmented...
research
∙
08/30/2011