We have investigated electrical properties of a chalcogenide-based device with naturally oxidized Al electrodes. Intermediate-resistance (IR) states exhibited by current–voltage...
Some developments in the information science discipline over a period of thirty years are discussed, by selecting topics covered in the early issues of Journal of Information Scie...
Abstract. ComputationalsystemsareoftenrepresentedbymeansofKripkestructures, and related using simulations. We propose rewriting logic as a flexible and executable framework in whi...
We argue that groups of unannotated texts with overlapping and non-contradictory semantics represent a valuable source of information for learning semantic representations. A simp...
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...