Sciweavers

4401 search results - page 94 / 881
» Computing with Default Logic
Sort
View
ICLP
2007
Springer
14 years 20 days ago
Computing Fuzzy Answer Sets Using dlvhex
Fuzzy answer set programming has been introduced as a framework that successfully combines the concepts of answer set programming and fuzzy logic. In this paper, we show how the fu...
Davy Van Nieuwenborgh, Martine De Cock, Dirk Verme...
IPL
2006
99views more  IPL 2006»
13 years 8 months ago
Computational complexity of queries based on itemsets
We investigate determining the exact bounds of the frequencies of conjunctions based on frequent sets. Our scenario is an important special case of some general probabilistic logi...
Nikolaj Tatti
EUSFLAT
2009
679views Fuzzy Logic» more  EUSFLAT 2009»
13 years 6 months ago
Combining Wavelets and Computational Intelligence Methods with Applications on Multi-class Classification Datasets
In this paper, we propose a novel algorithm for wavelet feature extraction as input to a supervised Multi-Class Classifier to improve classification performance. In particular, to ...
Carlos Campos Bracho
STACS
2009
Springer
14 years 3 months ago
Weak MSO with the Unbounding Quantifier
Abstract. A new class of languages of infinite words is introduced, called the maxregular languages, extending the class of ω-regular languages. The class has two equivalent desc...
Mikolaj Bojanczyk
BIRTHDAY
2008
Springer
13 years 10 months ago
Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
We survey some of the problems associated with checking whether a given behavior (a sequence, a Boolean signal or a continuous signal) satisfies a property specified in an appropri...
Oded Maler, Dejan Nickovic, Amir Pnueli