1743 search results - page 130 / 349 » Generalized Modal Satisfiability |
112
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
Most previous logical accounts of goals do not deal with prioritized goals and goal dynamics properly. Many are restricted to achievement goals. In this paper, we develop a logica...
120
Voted
ACMDIS
2010
ACM
15 years 3 months ago
2010
ACM
In this study we attempt to quantify the popularity of mobile music device utilization. We present an observational method to study music interaction in the wild and assess the re...
140
Voted
ATAL
2010
Springer
15 years 3 months ago
2010
Springer
ATL+ is a variant of alternating-time temporal logic that does not have the expressive power of full ATL , but still allows for expressing some natural properties of agents. It ha...
131
click to vote
HUC
2010
Springer
15 years 3 months ago
2010
Springer
The rapid adoption of mobile devices that are able to capture and transmit a wide variety of sensing modalities (media and location) has enabled a new data collection paradigm - p...
107
Voted
IANDC
2006
15 years 3 months ago
2006
This paper generalizes existing connections between automata and logic to a coalgestraction level. Let F : Set Set be a standard functor that preserves weak pullbacks. We introdu...