3776 search results - page 102 / 756 » Partition-Based Logical Reasoning |
CORR
2010
Springer
14 years 9 months ago
2010
Springer
113
Voted
AGI
2008
15 years 4 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
103
click to vote
JLP
1998
15 years 2 months ago
1998
Using constraint logic techniques, it is made possible to use a wellknown metainterpreter backwards as a device for generating programs. A metainterpreter is developed, which prov...
125
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
117
Voted
CADE
1997
Springer
15 years 6 months ago
1997
Springer
We present a matrix characterization of logical validity in the multiplicative fragment of linear logic. On this basis we develop a matrix-based proof search procedure for this fra...