Paolo Gentilini, Maurizio Martelli, Giuseppe Rosolini. Explicit Constructive Logic ECL: a New Representation of Construction and Selection of Logical Information by an Epistemic Agent. Fundamenta Informaticae, 140(3-4):357-372, 2015. [doi]
Abstract is missing.