3776 search results - page 155 / 756 » Partition-Based Logical Reasoning |
125
click to vote
CORR
2008
Springer
15 years 3 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
153
click to vote
LPAR
2010
Springer
15 years 1 months ago
2010
Springer
The Inst-Gen-Eq method is an instantiation-based calculus which is complete for first-order clause logic modulo equality. Its distinctive feature is that it combines first-order ...
135
Voted
SAT
2004
Springer
15 years 8 months ago
2004
Springer
Structural logical formulas sometimes yield a substantial fraction of so called equivalence clauses after translating to CNF. The best known example of this feature is probably pro...
134
Voted
RR
2007
Springer
15 years 9 months ago
2007
Springer
We present a vision of smart, goal-oriented web services that reason about other services’ policies and evaluate the possibility of future interactions. We assume web services wh...
123
Voted
SARA
2007
Springer
15 years 9 months ago
2007
Springer
Relational databases have had great industrial success in computer science. The power of the paradigm is made clear both by its widespread adoption and by theoretical analysis. Tod...