Combining control effects and their models: Game semantics for a hierarchy of static, dynamic and delimited control effects Fulltext Access 31 Pages 2017
What kind of independence do we need for multiple iterated belief change? Fulltext Access 46 Pages 2017
Efficient incremental planning and learning with multi-valued decision diagrams Fulltext Access 51 Pages 2017
Semantics of higher-order quantum computation via geometry of interaction Fulltext Access 66 Pages 2017
Automatic non-linear analysis of non-invasive writing signals, applied to essential tremor Fulltext Access 10 Pages 2016
A multiple-valued logic approach to the design and verification of hardware circuits Fulltext Access 25 Pages 2016
Borderlines and probabilities of borderlines: On the interconnection between vagueness and uncertainty Fulltext Access 26 Pages 2016
Extending adaptive world modeling by identifying and handling insufficient knowledge models Fulltext Access 26 Pages 2016
On the applicability of the 'number of possible states' argument in multi-expert reasoning Fulltext Access 55 Pages 2016
Learning discrete Bayesian network parameters from continuous data streams: What is the best strategy? Fulltext Access 15 Pages 2015
Degrees bounding principles and universal instances in reverse mathematics Fulltext Access 21 Pages 2015
Conflict-free and conflict-tolerant semantics for constrained argumentation frameworks Fulltext Access 23 Pages 2015
On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension Fulltext Access 24 Pages 2015
On the complexity of bribery and manipulation in tournaments with uncertain information Fulltext Access 25 Pages 2015
Relational dual tableau decision procedures and their applications to modal and intuitionistic logics Fulltext Access 19 Pages 2014
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic Fulltext Access 33 Pages 2014
Many countable support iterations of proper forcings preserve Souslin trees Fulltext Access 36 Pages 2014
Proof-theoretic conservations of weak weak intuitionistic constructive set theories Fulltext Access 19 Pages 2013
The descriptive set-theoretical complexity of the embeddability relation on models of large size Fulltext Access 39 Pages 2013
Effective results on a fixed point algorithm for families of nonlinear mappings Fulltext Access 17 Pages 2017
A separating hyperplane theorem, the fundamental theorem of asset pricing, and Markov's principle Fulltext Access 10 Pages 2016