3468 search results - page 121 / 694 » An open logical framework |
100
Voted
DLOG
2006
15 years 2 months ago
2006
A variety of fuzzy description logics are proposed to extend classical description logics with fuzzy capability. However, reasoning with general TBoxes is still an open problem in...
90
Voted
JSYML
2002
15 years 13 days ago
2002
Fibring is recognized as one of the main mechanisms in combining logics, with great significance in the theory and applications of mathematical logic. However, an open challenge t...
105
Voted
RSFDGRC
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we propose a logical framework for reasoning about uncertain belief fusion. The framework is a combination of multi-agent epistemic logic and possibilistic...
110
click to vote
JLP
2000
15 years 16 days ago
2000
The independent choice logic (ICL) is part of a project to combine logic and decision/game theory into a coherent framework. The ICL has a simple possible-worlds semantics charact...
140
click to vote
DSRT
2005
IEEE
15 years 6 months ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...