2303 search results - page 81 / 461 » On the logic of argumentation theory |
106
click to vote
DAGSTUHL
2003
15 years 7 months ago
2003
In this paper we review some issues of research in intelligent agents, and particularly some logical theories that have been proposed in the literature to describe aspects of inte...
146
click to vote
CADE
2006
Springer
16 years 6 months ago
2006
Springer
We present a type theory with some proof-irrelevance built into the conversion rule. We argue that this feature is useful when type theory is used as the logical formalism underlyi...
152
click to vote
FOCS
2008
IEEE
16 years 25 days ago
2008
IEEE
We give near-optimal sketching and streaming algorithms for estimating Shannon entropy in the most general streaming model, with arbitrary insertions and deletions. This improves ...
284
click to vote
NA
2011
15 years 1 months ago
2011
We are interested in computing the Fermi-Dirac matrix function in which the matrix argument is the Hamiltonian matrix arising from Density Function Theory (DFT) applications. More...