Computing Strong and Weak Permissions in Defeasible Logic
Extracting Higher-Order Goals from the Mizar Mathematical Library
Residue current approach to Ehrenpreis-Malgrange type theorem for linear
  differential equations with constant coefficients and commensurate time lags Information Loss in Coarse Graining of Polymer Configurations via
  Contact Matrices Quantum Quench dynamics in Non-local Luttinger Model: Rigorous Results Comment on `conservative discretizations of the Kepler motion' Fully Understanding the Hashing Trick Efficient delay-tolerant particle filtering Multi-Radical Lipkin-Meshkov-Glick Model for Avian Navigation Doubly transitive lines I: Higman pairs and roux Micro -Thermonuclear AB-Reactors for Aerospace Proof of the magnetic gap-labelling conjecture for principal solenoidal
  tori Stochastic Subgradient Algorithms for Strongly Convex Optimization over
  Distributed Networks Edge Computing For Smart Health: Context-aware Approaches,
  Opportunities, and Challenges Analytical properties of horizontal visibility graphs in the Feigenbaum
  scenario On the CMC foliation of future ends of a spacetime Combined detection of supernova neutrino signals Machine learning for many-body physics: efficient solution of dynamical
  mean-field theory Gravitational waves from cosmological first order phase transitions Jack polynomials and Hilbert schemes of points on surfaces Heat capacity and pairing transition in nuclei
cs.LO cs.AI