Sciweavers

2348 search results - page 250 / 470
» A Fuzzy Description Logic
Sort
View
ENTCS
2006
117views more  ENTCS 2006»
15 years 6 months ago
Monadic Second-Order Logic and Transitive Closure Logics over Trees
Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical for...
Hans-Jörg Tiede, Stephan Kepser
ICWS
2004
IEEE
15 years 8 months ago
Logic-based Web Services Composition: From Service Description to Process Model
This paper introduces a method for automatic composition of Semantic Web services using Linear Logic (LL) theorem proving. The method uses Semantic Web service language (DAML-S) f...
Jinghai Rao, Peep Küngas, Mihhail Matskin
CORR
1998
Springer
103views Education» more  CORR 1998»
15 years 6 months ago
The descriptive complexity approach to LOGCFL
Building upon the known generalized-quantifier-based first-order characterization of LOGCFL, we lay the groundwork for a deeper investigation. Specifically, we examine subclass...
Clemens Lautemann, Pierre McKenzie, Thomas Schwent...
ILP
2005
Springer
16 years 2 days ago
Logical Bayesian Networks and Their Relation to Other Probabilistic Logical Models
Abstract. Logical Bayesian Networks (LBNs) have recently been introduced as another language for knowledge based model construction of Bayesian networks, besides existing languages...
Daan Fierens, Hendrik Blockeel, Maurice Bruynooghe...
FUZZIEEE
2007
IEEE
16 years 27 days ago
Nonlinear Classification by Genetic Algorithm with Signed Fuzzy Measure
—In this paper, we propose a new nonlinear classier based on a generalized Choquet integral with signed fuzzy measures to enhance the classification power by capturing all possib...
Honggang Wang, Hua Fang, Hamid Sharif, Zhenyuan Wa...