3891 search results - page 524 / 779 » A logic for strategic reasoning |
93
Voted
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
Fuzzy logic is frequently used in computing with words (CWW). When input words to a CWW engine are modeled by interval type-2 fuzzy sets (IT2 FSs), the CWW engine's output can...
88
Voted
FOSSACS
2008
Springer
15 years 2 months ago
2008
Springer
We introduce a new decidable logic for reasoning about infinite arrays of integers. The logic is in the first-order fragment and allows (1) Presburger constraints on existentially...
80
Voted
CLIMA
2007
15 years 2 months ago
2007
Emotional-BDI agents are BDI agents whose behaviour is guided not only by beliefs, desires and intentions, but also by the role of emotions in reasoning and decision-making. The EB...
103
click to vote
SWAP
2008
15 years 2 months ago
2008
Dynamic composition of web services requires an automated step of contracting, i.e., the computation of a possibly fruitful interaction between two (or more) services, based on the...
73
Voted
FLAIRS
2006
15 years 2 months ago
2006
In this paper, we will study semantics that have been used for conditionals in the area of knowledge representation and reasoning: A purely qualitative semantics based on the popu...