23 search results - page 4 / 5 » Higher-order representation of substructural logics |
67
Voted
JSYML
2007
14 years 10 months ago
2007
Substructural fuzzy logics are substructural logics that are complete with respect to algebras whose lattice reduct is the real unit interval [0, 1]. In this paper, we introduce Un...
84
Voted
TOCL
2008
14 years 10 months ago
2008
fragment enjoys suitable noetherianity conditions and admits an abstract version of a `KeislerShelah like' isomorphism theorem. We show that this general decidability transfer...
100
click to vote
KI
1992
Springer
15 years 2 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...
111
Voted
PPDP
2009
Springer
15 years 4 months ago
2009
Springer
We introduce a logic programming framework for data type transformations based on isomorphisms between elementary data types (natural numbers, finite functions, sets and permutat...
75
Voted
ICML
2010
IEEE
14 years 11 months ago
2010
IEEE
We are interested in learning programs for multiple related tasks given only a few training examples per task. Since the program for a single task is underdetermined by its data, ...