2490 search results - page 229 / 498 » The Generalized Theory of Model Preference |
169
click to vote
BIRTHDAY
2005
Springer
16 years 3 days ago
2005
Springer
This paper is a guided tour through the theory of fibring as a general mechanism for combining logics. We present the main ideas, constructions and difficulties of fibring, from ...
164
click to vote
ECAL
2005
Springer
16 years 3 days ago
2005
Springer
The idea that the biota can regulate the abiotic components of their environment to levels suitable for life has attracted criticism from neo-Darwinian theorists but is still a via...
185
click to vote
LPNMR
2005
Springer
16 years 2 days ago
2005
Springer
We describe an application of Abductive Logic Programming (ALP) to the analysis of an important class of DNA microarray experiments. We develop an ALP theory that provides a simple...
182
click to vote
TLCA
2005
Springer
16 years 1 days ago
2005
Springer
Cut elimination is a central result of the proof theory. This paper proposes a new approach for proving the theorem for Gentzen’s intuitionistic sequent calculus LJ, that relies ...
147
click to vote
FATES
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...