Sciweavers

1317 search results - page 86 / 264
» Fusions of Description Logics and Abstract Description Syste...
Sort
View
GPC
2010
Springer
16 years 26 days ago
Distributed Island-Based Query Answering for Expressive Ontologies
Scalability of reasoning systems is one of the main criteria which will determine the success of Semantic Web systems in the future. The focus of recent work is either on (a) expre...
Sebastian Wandelt, Ralf Möller
SIAMSC
2008
125views more  SIAMSC 2008»
15 years 6 months ago
Hybrid Simulations of Reaction-Diffusion Systems in Porous Media
Abstract. Hybrid or multiphysics algorithms provide an efficient computational tool for combining micro- and macroscale descriptions of physical phenomena. Their use becomes impera...
Alexandre M. Tartakovsky, Daniel M. Tartakovsky, T...
FSKD
2005
Springer
94views Fuzzy Logic» more  FSKD 2005»
15 years 12 months ago
Incremental Target Recognition Algorithm Based on Improved Discernibility Matrix
Abstract. An incremental target recognition algorithm based on improved discernibility matrix in rough set theory is presented. Some comparable experiments have been completed in o...
Yong Liu, Congfu Xu, Zhiyong Yan, Yunhe Pan
JAPLL
2006
112views more  JAPLL 2006»
15 years 6 months ago
Intuitionistic hybrid logic
Hybrid logics are a principled generalization of both modal logics and description logics, a standard formalism for knowledge representation. In this paper we give the first const...
Torben Braüner, Valeria de Paiva
ILP
2005
Springer
15 years 12 months 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...