3333 search results - page 94 / 667 » Abstract Proof Search |
127
Voted
ERCIMDL
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The increase in the amount of data available in digital libraries calls for the development of search engines that allow the users to find quickly and effectively what ...
118
Voted
CPAIOR
2005
Springer
15 years 9 months ago
2005
Springer
Hybrid algorithms combining local and systematic search often use nondeterminism in fundamentally different ways. They may differ in the strategy to explore the search tree and/o...
136
Voted
CSL
2003
Springer
15 years 8 months ago
2003
Springer
System SKS is a set of rules for classical propositional logic presented in the calculus of structures. Like sequent systems and unlike natural deduction systems, it has an explici...
115
Voted
APAL
2008
15 years 3 months ago
2008
System BV is an extension of multiplicative linear logic (MLL) with the rules mix, nullary mix, and a self-dual, non-commutative logical operator, called seq. While the rules mix ...
98
Voted
WEBI
2009
Springer
15 years 10 months ago
2009
Springer
Abstract—This paper introduces and analyzes a new approach to query suggestion. After the user issues a query q0, for every document retrieved in a certain rank range [Θ1, Θ2],...