4573 search results - page 614 / 915 » Automated Reasoning |
220
click to vote
TPHOL
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
CSL
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. This paper investigates a non-commutative first-order sequent calculus NCLK. For that, this paper extends a non-commutative positive fragment to a full first-order sequ...
115
click to vote
CSL
2009
Springer
15 years 10 months ago
2009
Springer
We develop a polarised variant of Curien and Herbelin’s ¯λµ˜µ calculus suitable for sequent calculi that admit a focalising cut elimination (i.e. whose proofs are focalised ...
138
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
We describe a procedure for inducing conditional densities within the mixtures of truncated exponentials (MTE) framework. We analyse possible conditional MTE specifications and pr...
141
click to vote
ECSQARU
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. In this paper, belief functions, defined on the lattice of partitions of a set of objects, are investigated as a suitable framework for combining multiple clusterings. W...