247 search results - page 24 / 50 » A Computational Structure for the Propositional Calculus |
105
Voted
ACL
2010
14 years 10 months ago
2010
We propose a global algorithm for learning entailment relations between predicates. We define a graph structure over predicates that represents entailment relations as directed ed...
105
Voted
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Service oriented applications feature interactions among several participants over the network. Mechanisms such as correlation sets and two-party sessions have been propo...
112
click to vote
MFCS
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
ACSC
2006
IEEE
15 years 6 months ago
2006
IEEE
Manipulating semistructured data, such as XML, does not t well within conventional programming languages. A typical manipulation requires nding all occurrences of a structure matc...
98
Voted
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We define and study a quantitative generalization of the traditional boolean framework of model-based specification and verification. In our setting, propositions have...