The way information is represented and processed in a neural network may have important consequences on its computational power and complexity. Basically, information representatio...
Abstract. We present the first complete soundness proof of the antiframe rule, a recently proposed proof rule for capturing information hiding in the presence of higher-order stor...
Jan Schwinghammer, Hongseok Yang, Lars Birkedal, F...
We explicitly determine quasi-polynomials describing the weight multiplicities of the Lie algebra so5(C). This information entails immediate complete knowledge of the character of ...
The main aim of this paper is to analyse the e ects of applying pronominal anaphora resolution to Question Answering QA systems. For this task a complete QA system has been implem...
We propose a propositional language for temporal reasoning that is computationally effective yet expressive enough to describe information about fluents, events and temporal const...