2573 search results - page 191 / 515 » Combinations of Modal Logics |
193
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
Weighted voting games are a natural and practically important class of simple coalitional games, in which each agent is assigned a numeric weight, and a coalition is deemed to be ...
204
click to vote
IEEEPACT
2009
IEEE
15 years 4 months ago
2009
IEEE
Transactional memory is being advanced as an alternative to traditional lock-based synchronization for concurrent programming. Transactional memory simplifies the programming mode...
139
click to vote
AAAI
2007
15 years 8 months ago
2007
Horn description logics (Horn-DLs) have recently started to attract attention due to the fact that their (worst-case) data complexities are in general lower than their overall (i....
160
click to vote
DEON
2004
Springer
15 years 12 months ago
2004
Springer
We propose a computationally oriented non-monotonic multi-modal logic arising from the combination of agency, intention and obligation. We argue about the defeasible nature of thes...
171
click to vote
IJCAI
2001
15 years 8 months ago
2001
In the quest for expressive description logics for real-world applications, a powerful combination of constructs has so far eluded practical decision procedures: intersection and ...