630 search results - page 28 / 126 » Combining Two Formalism for Reasoning about Concepts |
ICFP
2003
ACM
14 years 7 months ago
2003
ACM
A three-year study collected information bearing on the question of whether studying mathematics improves programming skills. An analysis of the data revealed significant differen...
IJVR
2007
13 years 7 months ago
2007
—Dance is one form of entertainment where physical movement is the key factor. The main reason why robots are experiencing a kind of “boom” is that they have a physical body....
KR
1998
Springer
13 years 11 months ago
1998
Springer
The paper investigates the characterisation of vague concepts within the framework of modal logic. This work builds on the supervaluation approach of Fine and exploits the idea of...
RSFDGRC
2005
Springer
14 years 29 days 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...
AEI
2004
13 years 7 months ago
2004
Knowledge intensive engineering aims at flexible applications of a variety of product life cycle knowledge, such as design, manufacturing, operations, maintenance, and recycling. ...