892 search results - page 132 / 179 » Strategies in sentential reasoning |
DEXA
2004
Springer
15 years 6 months ago
2004
Springer
The efficacy of expert systems often depends on the accuracy and completeness of the problem specification negotiated with the user. Therefore, efficient user interfaces are needed...
88
Voted
ICGI
2004
Springer
15 years 6 months ago
2004
Springer
State Merging algorithms, such as Rodney Price’s EDSM (Evidence-Driven State Merging) algorithm, have been reasonably successful at solving DFA-learning problems. EDSM, however, ...
99
Voted
ICLP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Pruning operators, such as cut, are important to develop efficient logic programs as they allow programmers to reduce the search space and thus discard unnecessary compu...
104
click to vote
IFL
2004
Springer
15 years 6 months ago
2004
Springer
Landin’s SECD machine was the first abstract machine for the λ-calculus viewed as a programming language. Both theoretically as a model of computation and practically as an ide...
112
click to vote
FOCS
2003
IEEE
15 years 6 months ago
2003
IEEE
This paper analyzes implementable social choice functions (in dominant strategies) over restricted domains of preferences, the leading example being combinatorial auctions. Our wo...