1588 search results - page 211 / 318 » On the Logic of Constitutive Rules |
117
click to vote
TLCA
2009
Springer
15 years 8 months ago
2009
Springer
The straightforward elimination of union types is known to break subject reduction, and for some extensions of the lambda-calculus, to break strong normalization as well. Similarly...
130
click to vote
FBIT
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper describes a decision tree model and 3dimensional representation of information retrieved from various weblogs in relation to argumentative logics. The weblogs are consi...
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
Agents enacting business processes in large open environments need to adaptively accommodate exceptions. Work on multiagent approaches can flexibly model business processes. This...
108
click to vote
FSKD
2007
Springer
15 years 7 months ago
2007
Springer
A proposed KFCM-based fuzzy classifier was introduced. As for the process of constructing such classifier, firstly, the original sample space is mapped into a high dimensional fea...
105
click to vote
FSKD
2007
Springer
15 years 7 months ago
2007
Springer
Evidence theory has been widely applied to uncertainty reasoning. In this paper a finite state machine with evidential reasoning is proposed to control autonomous robots. The Khep...