8031 search results - page 161 / 1607 » Knowledge and Workflow Systems |
NIPS
2003
14 years 11 months ago
2003
We show that temporal logic and combinations of temporal logics and modal logics of knowledge can be effectively represented in artificial neural networks. We present a Translat...
ESWA
2006
14 years 10 months ago
2006
As knowledge emerges as the primary strategic resource in the 21st century, many firms in the manufacturing and service sectors alike are beginning to introduce and implement Know...
ICMCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Content-based image retrieval (CBIR) systems have been actively investigated over the past decade. Several existing CBIR prototypes claim to be designed based on perceptual charac...
IJCAI
1989
14 years 11 months ago
1989
In this paper a knowledge based assembly control system for automobile manufacturing is presented which has been implemented for the B M W manufacturing facilities in Munich. The ...
CORR
2010
Springer
14 years 10 months ago
2010
Springer
Justification logics are epistemic logics that explicitly include justifications for the agents' knowledge. We develop a multi-agent justification logic with evidence terms fo...