2766 search results - page 282 / 554 » Hybridizing a Logical Framework |
171
click to vote
AGI
2008
15 years 8 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...
201
click to vote
FLOPS
2010
Springer
16 years 1 months ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
161
click to vote
ATAL
2009
Springer
16 years 1 months ago
2009
Springer
The paper proposes a unification of the two main frameworks commonly used for the analysis of collective decisionmaking: the framework of preference aggregation, developed from t...
214
click to vote
CBSE
2005
Springer
16 years 6 days ago
2005
Springer
State-of-the-art middleware for component-based distributed applications requires openness to support a broad and varying range of services. It also requires powerful and maintaina...
184
click to vote
FOIKS
2008
Springer
15 years 8 months ago
2008
Springer
The area of knowledge merging is concerned with merging conflicting information while preserving as much as possible. Most proposals in the literature work with knowledge bases exp...