884 search results - page 125 / 177 » A Proof Theory for DL-Lite |
111
click to vote
IMCSIT
2010
14 years 9 months ago
2010
In the present text, we deal with the problem of classification of speech emotion. Problems of speech processing are addressed through the use of artificial neural networks (ANN). ...
184
click to vote
COMMA
2010
14 years 6 months ago
2010
This paper addresses the problem of revising a Dung-style argumentation framework by adding finitely many new arguments which may interact with old ones. We study the behavior of t...
JSYML
2010
14 years 6 months ago
2010
We generalize the model theory of small profinite structures developed by Newelski to the case of compact metric spaces considered together with compact groups of homeomorphisms a...
101
click to vote
TCS
2010
14 years 6 months ago
2010
The theorem of factorization forests of Imre Simon shows the existence of nested factorizations -- `a la Ramsey -- for finite words. This theorem has important applications in sem...
102
click to vote
VMCAI
2012
Springer
13 years 7 months ago
2012
Springer
Abstract. Recently, a general framework on characteristic formulae was proposed by Aceto et al. It offers a simple theory that allows one to easily obtain characteristic formulae o...