3776 search results - page 481 / 756 » Partition-Based Logical Reasoning |
239
click to vote
AMW
2011
14 years 6 months ago
2011
Since navigational aspects of XPath correspond to first-order definability, it has been proposed to use the analogy with the very successful technique of translating LTL into aut...
237
Voted
DLOG
2011
14 years 6 months ago
2011
This paper examines a new technique based on tableau, that allows one to introduce composition of roles from the right hand side of complex role inclusion axioms (RIAs). Our motiva...
142
click to vote
PADL
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
135
Voted
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Methods exploiting problem symmetries have been very successful in several areas including constraint programming and SAT solving. We here recast a technique to enhance t...
124
click to vote
CADE
2011
Springer
14 years 2 months ago
2011
Springer
Abstract. Sledgehammer is a component of Isabelle/HOL that employs firstorder automatic theorem provers (ATPs) to discharge goals arising in interactive proofs. It heuristically s...