156 search results - page 4 / 32 » Decidability and Undecidability in Probability Logic |
IANDC
2007
13 years 5 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
LICS
2010
IEEE
13 years 4 months ago
2010
IEEE
We solve the open problem of the decidability of Boolean BI logic (BBI), which can be considered as the core of separation and spatial logics. For this, we define a complete phas...
AAAI
2008
13 years 8 months ago
2008
Many semantic web applications require support for mappings between roles (or properties) defined in multiple independently developed ontology modules. Distributed Description Log...
LOGCOM
2006
13 years 5 months ago
2006
ICDT
2003
ACM
13 years 11 months ago
2003
ACM
We study extensions of first-order logic over the reals with different types of transitive-closure operators as query languages for constraint databases that can be described by...