1941 search results - page 127 / 389 » Reasoning about Computations Using Two-Levels of Logic |
127
click to vote
DLOG
2007
15 years 5 months ago
2007
We show that global caching can be used with propagation of both satisfiability and unsatisfiability in a sound manner to give an EXPTIME algorithm for checking satisfiability w...
142
click to vote
DLOG
2003
15 years 4 months ago
2003
In this paper, we investigate the use of Description Logic (DL) for representing Product Behavioral constraints in Computer Aided Design (CAD) Systems. In an integrated design app...
120
click to vote
FSTTCS
2001
Springer
15 years 7 months ago
2001
Springer
Abstract. This paper studies a recently developed an approach to reasoning about mutable data structures, which uses an assertion language with spatial conjunction and implication ...
191
click to vote
AAAI
2011
14 years 3 months ago
2011
Inspired by “GoogleTM Sets” and Bayesian sets, we consider the problem of retrieving complex objects and relations among them, i.e., ground atoms from a logical concept, given...
102
click to vote
ICMCS
2005
IEEE
15 years 9 months ago
2005
IEEE
Large amount of images need an efficient way of retrieving them. The usual approach of manually annotating images and/or providing a syntactic retrieval capability lacks flexibi...