4737 search results - page 603 / 948 » The LOGIC negotiation model |
176
click to vote
AUTOMATICA
2007
15 years 7 months ago
2007
This paper presents a new supervisory control scheme, which is based on a control-relevant switching logic. Unlike most of the existing switching methods considering only estimato...
174
Voted
JOLLI
2006
15 years 7 months ago
2006
Agents often interact strategically to meet conditions involving their own or other agents' knowledge. This interaction can be modeled using a new method of game construction...
202
click to vote
ISCI
2007
15 years 7 months ago
2007
Fusion of sensor and communication data currently can only be performed at a late processing stage after sensor and information are formulated as logical statements at appropriate...
196
Voted
ENTCS
2002
15 years 7 months ago
2002
In this paper we show that it is possible to model observable behaviour of coalgebras independently from their internal dynamics, but within the general framework of representing ...
204
Voted
LPAR
2010
Springer
15 years 6 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...