5550 search results - page 138 / 1110 » Different Approaches to Proof Systems |
176
click to vote
ECAI
2004
Springer
15 years 11 months ago
2004
Springer
Attempts to use finite models to guide the search for proofs by resolution and the like in first order logic all suffer from the need to trade off the expense of generating and m...
155
click to vote
MKM
2007
Springer
16 years 17 days ago
2007
Springer
We address some aspects of a proposed system architecture for mathematical assistants, integrating calculations and deductions by common infrastructure within the Isabelle theorem ...
181
click to vote
LCPC
1993
Springer
15 years 10 months ago
1993
Springer
Abstract. Loop fusion is a program transformation that merges multiple loops into one. It is e ective for reducing the synchronization overhead of parallel loops and for improving ...
179
click to vote
ICLP
2010
Springer
15 years 9 months ago
2010
Springer
We present a novel approach to non-monotonic ILP and its implementation called tal (Top-directed Abductive Learning). tal overcomes some of the completeness problems of ILP systems...
171
click to vote
PRICAI
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. We consider the problem of computing optimal plans for propositional planning problems with action costs. In the spirit of leveraging advances in general-purpose automate...