3891 search results - page 158 / 779 » A logic for strategic reasoning |
167
click to vote
CADE
2006
Springer
15 years 10 months ago
2006
Springer
We introduce a Presburger modal logic PML with regularity constraints and full Presburger constraints on the number of children that generalize graded modalities, also known as num...
174
click to vote
KR
1991
Springer
15 years 10 months ago
1991
Springer
In the paper, we investigate the way in which nonmonotonic modal logics depend on their underlying monotonic modal logics. Most notably, we study when different monotonic modal l...
178
click to vote
AAAI
1993
15 years 7 months ago
1993
Applications of fuzzy logic in heuristic control have been highly successful, but which aspects of fuzzy logic are essential to its practical usefulness? This paper shows that an ...
168
click to vote
CSL
2010
Springer
15 years 7 months ago
2010
Springer
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented i...
167
click to vote
PPDP
2009
Springer
16 years 29 days ago
2009
Springer
Hybrid is a system developed to specify and reason about logics, programming languages, and other formal systems expressed in rder abstract syntax (HOAS). An important goal of Hyb...