abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
The problem of deciding whether the edge-set of a given graph can be partitioned into at most k cliques is well known to be NP-complete. In this paper we investigate this problem ...
One of the great challenges today is to index videos with high-level semantic concepts or features. The basis of our approach is to use a fuzzy decision trees (FDT) to construct t...
In Multiple Criteria Decision Analysis, the preferences of the decision maker regarding each criterion are classically modelled by a utility function depending on one single varia...
One of the main interests in the Web Information Retrieval research area is the identification of the user interests and needs so the search engines and tools can help the users t...