148 search results - page 26 / 30 » On the Fusion of Coalgebraic Logics |
CORR
2006
Springer
13 years 7 months ago
2006
Springer
: Recent works have investigated the problem of the conflict redistribution in the fusion rules of evidence theories. As a consequence of these works, many new rules have been prop...
SEMWEB
2004
Springer
14 years 24 days ago
2004
Springer
The standardization of the second generation Web Ontology Language, OWL, leaves a crucial issue for Web-based ontologies unsatisfactorily resolved: how to represent and reason with...
AUSAI
2006
Springer
13 years 11 months ago
2006
Springer
This paper introduces Fuzzy Neural Network controller to increase the ability of a mobile robot in reacting to the dynamic environments. States of robot and environment, for exampl...
IPPS
2006
IEEE
14 years 1 months ago
2006
IEEE
This paper presents a technique for memory optimization for a class of computations that arises in the field of correlated electronic structure methods such as coupled cluster and...
LOGCOM
2008
13 years 7 months ago
2008
Fibring is a metalogical constructor that permits to combine different logics by operating on their deductive systems under certain natural restrictions, as for example that the t...