7 search results - page 2 / 2 » On the Membership Problem for Non-Linear Abstract Categorial... |
PPDP
2009
Springer
13 years 12 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...
COGSCI
2010
13 years 5 months ago
2010
many abstract categories (e.g., ``equivalence'') is innate. Although Plato argued with his contemporaries who advocated the empirical basis of knowledge, it was the Briti...