1830 search results - page 297 / 366 » Centering in Dynamic Semantics |
CAEPIA
2009
Springer
15 years 11 days ago
2009
Springer
The syntax, semantics and an axiom system for an extension of Propositional Dynamic Logic (PDL) for order of magnitude qualitative reasoning which formalizes the concepts of close...
ESWS
2010
Springer
15 years 11 days ago
2010
Springer
Many systems exist for community formation in extensions of traditional Web environments but little work has been done for forming and maintaining communities in the more dynamic e...
MM
2010
ACM
14 years 11 months ago
2010
ACM
In today's age of digital multimedia deluge, a clear understanding of the dynamics of online communities is capital. Users have abandoned their role of passive consumers and ...
CGF
2008
14 years 11 months ago
2008
We present a system for creating and manipulating layered procedural surface editing operations, which is motivated by the limited support for iterative design in free-form modeli...
ENTCS
2010
14 years 11 months ago
2010
The generic modal reasoner CoLoSS covers a wide variety of logics ranging from graded and probabilistic modal logic to coalition logic and conditional logics, being based on a bro...