1699 search results - page 153 / 340 » On the Expressive Power of QLTL |
132
click to vote
ECAI
2008
Springer
15 years 8 months ago
2008
Springer
This paper presents advances in Set Attributive Logic and its application to develop tabular rule-based systems within the XTT framework. The primary goal is to extend the expressi...
217
click to vote
AIML
2008
15 years 8 months ago
2008
abstract. We establish that the quantifier alternation hierarchy of formulae of Second-Order Propositional Modal Logic (SOPML) induces an infinite corresponding semantic hierarchy ...
176
click to vote
FOIS
2006
15 years 8 months ago
2006
A critical problem for practical KR is dealing with relationships that change over time. This problem is compounded by representation languages such as OWL that are biased towards ...
158
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
Abstract. PiLib is a library written in Scala that implements the concurrency constructs of the π-calculus. Some features of the programming language Scala, examined in the paper,...
138
click to vote
NIPS
2001
15 years 7 months ago
2001
This article presents a Support Vector Machine (SVM) like learning system to handle multi-label problems. Such problems are usually decomposed into many two-class problems but the...