8094 search results - page 331 / 1619 » Improvements in Formula Generalization |
155
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
Although normative systems, or social laws, have proved to be a highly influential approach to coordination in multi-agent systems, the issue of compliance to such normative syste...
168
click to vote
CPAIOR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. The stochastic satisfiability modulo theories (SSMT) problem is a generalization of the SMT problem on existential and randomized (aka. stochastic) quantification over di...
145
click to vote
SIP
2001
15 years 7 months ago
2001
The paper presents basic concepts of the discrete system theory from the viewpoint of Banach algebras and shows that some Banach algebras of sequences are not only suitable mathem...
155
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
An important drawback to the popular Belief, Desire, and Intentions (BDI) paradigm is that such systems include no element of learning from experience. In particular, the so-calle...
146
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
Once the set of finite graphs is equipped with an algebra structure (arising from the definition of operations that generalize the concatenation of words), one can define the noti...