366 search results - page 40 / 74 » Reasoning about relational granulation in modal logics |
284
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Functional programmers often reason about programs as if they were written in a total language, expecting the results to carry over to non-total (partial) languages. We justify su...
153
click to vote
TIME
2007
IEEE
16 years 11 days ago
2007
IEEE
Forty-four relations are found between an interval and an interval with a gap ( rIIg ), capturing semantics that are distinct from those of the sets of constituting intervals and ...
159
click to vote
TIME
2007
IEEE
16 years 11 days ago
2007
IEEE
This paper describes an annotation guideline for a temporal relation-tagged corpus of Chinese. Our goal is construction of corpora to be used for a corpus-based analysis of tempor...
141
click to vote
FOSSACS
2007
Springer
16 years 8 days ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
161
click to vote
PPDP
2009
Springer
16 years 19 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...