1941 search results - page 155 / 389 » Reasoning about Computations Using Two-Levels of Logic |
123
Voted
IJCAI
2007
15 years 5 months ago
2007
Few existing argumentation frameworks are designed to deal with probabilistic knowledge, and none are designed to represent possibilistic knowledge, making them unsuitable for man...
128
Voted
DALT
2008
Springer
15 years 5 months ago
2008
Springer
This paper provides a logical framework of negotiating agents who have capabilities of evaluating and building proposals. Given a proposal, an agent decides whether it is acceptabl...
134
Voted
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
127
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
Dependently typed lambda calculi such as the Logical Framework (LF) can encode relationships between terms in types and can naturally capture correspondences between formulas and ...
118
Voted
IJCNN
2008
IEEE
15 years 10 months ago
2008
IEEE
—Modeling of complex phenomena such as the mind presents tremendous computational complexity challenges. The neural modeling fields theory (NMF) addresses these challenges in a n...