3775 search results - page 557 / 755 » The Expression Problem Revisited |
158
click to vote
LFCS
2009
Springer
15 years 11 months ago
2009
Springer
This work defines an extension CERES2 of the first-order cut-elimination method CERES to the subclass of sequent calculus proofs in second-order logic using quantifier-free comp...
151
click to vote
LPNMR
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We consider the problem of whether a given preferred answer set program can be reduced to a propositional formula. Research on this topic is of both theoretical and pract...
154
click to vote
MFCS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The description of a single state of a modelled system is often complex in practice, but few procedures for synthesis address this problem in depth. We study systems in w...
153
click to vote
MHCI
2009
Springer
15 years 11 months ago
2009
Springer
Whenever a pervasive game has to be developed for a group of children an appropriate multi-user setting has to be found. If the pervasive game does not support the children with a...
149
Voted
PPDP
2009
Springer
15 years 11 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...