I/O Logic in HOL --- First Steps
An ASP-based Approach for Attractor Enumeration in Synchronous and
  Asynchronous Boolean Networks
Possible consequences of introduction of the discrete carrier of
  material fields Computational irreducibility and compatibilism: towards a formalization Quantum simulation of the universal features of the Polyakov loop Hybrid training of optical neural networks Nonlinear behavior of the Chinese SSEC index with a unit root: Evidence
  from threshold unit root tests Notes for a Quantum Index Theorem An existing, ecologically-successful genus of collectively intelligent
  artificial creatures Doing numerical cosmology with the Cactus code Simplicial Neural Networks The Influence of Canalization on the Robustness of Boolean Networks Using Learned Predictions as Feedback to Improve Control and
  Communication with an Artificial Limb: Preliminary Findings Geospatial distributions reflect rates of evolution of features of
  language Geometric structures on moment-angle manifolds Estimating the Density of States of Frustrated Spin Systems A Machine Learning Approach to Detect Suicidal Ideation in US Veterans
  Based on Acoustic and Linguistic Features of Speech Entropy and Quantum Kolmogorov Complexity: A Quantum Brudno's Theorem Inequalities between $L^p$-norms for log-concave distributions
cs.AI cs.LO