2909 search results - page 149 / 582 » Consistency of the theory of contexts |
155
click to vote
ACSC
2002
IEEE
15 years 11 months ago
2002
IEEE
A number of agent-oriented programming systems are based on a framework of beliefs, desires and intentions (BDI) and more explicitly on the BDI logic of Rao and Georgeff. In this ...
134
click to vote
ICRA
2006
IEEE
16 years 13 days ago
2006
IEEE
- This paper introduces a new approach to identify singularities of planar parallel manipulators (PPMs). This method is based on Maxwell’s reciprocal figure theory which establis...
241
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
Contemporary use of the term ’intension’ derives from the traditional logical Frege-Russell’s doctrine that an idea (logic formula) has both an extension and an intension. Al...
159
click to vote
ALT
2006
Springer
16 years 3 months ago
2006
Springer
Abstract. The present study aims at insights into the nature of incremental learning in the context of Gold’s model of identification in the limit. With a focus on natural requi...
157
click to vote
MKM
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...