5086 search results - page 669 / 1018 » The Power of Comparative Reasoning |
166
click to vote
FOSSACS
2004
Springer
16 years 3 days ago
2004
Springer
More than a decade ago, Moller and Tofts published their seminal work on relating processes that are annotated with lower time bounds, with respect to speed. Their paper has left o...
171
click to vote
ICLP
2004
Springer
16 years 2 days 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...
165
click to vote
LCPC
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
175
click to vote
NMR
2004
Springer
16 years 2 days ago
2004
Springer
There are a number of frameworks for modelling argumentation in logic. They incorporate a formal representation of individual arguments and techniques for comparing conflicting a...
174
click to vote
NMR
2004
Springer
16 years 2 days ago
2004
Springer
We present a framework for investigating merging operators for belief sets. This framework is a generalisation of our earlier work concerning consistency-based belief revision and...