2962 search results - page 473 / 593 » Reasoning on Association Rules |
151
click to vote
LICS
2008
IEEE
16 years 24 days ago
2008
IEEE
We propose a setting in which the search for a proof of B or a refutation of B (a proof of ¬B) can be carried out simultaneously: this is in contrast to the usual approach in aut...
158
click to vote
ICPADS
2007
IEEE
16 years 21 days ago
2007
IEEE
- Due to the increasing complexity of scientific models, large-scale simulation tools often require a critical amount of computational power to produce results in a reasonable amou...
199
click to vote
LICS
2007
IEEE
16 years 20 days ago
2007
IEEE
In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in natural deduction or in the sequent calculus using all the information contained in t...
163
click to vote
ATAL
2007
Springer
16 years 17 days ago
2007
Springer
This paper addresses the problem of recognizing policies given logs of battle scenarios from multi-player games. The ability to identify individual and team policies from observat...
161
click to vote
CAV
2007
Springer
16 years 17 days ago
2007
Springer
stractions from Proofs Ranjit Jhala1 Kenneth L. McMillan2 1 UC San Diego 2 Cadence Berkeley Laboratories We present a technique for using infeasible program paths to automatically ...