Applying Second-Order Quantifier Elimination in Inspecting G\"odel's
  Ontological Proof
SROIQsigma is decidable
Boundary Estimation from Point Clouds: Algorithms, Guarantees and
  Applications Quantum Half-Planes via Deformation Quantization How van der Waals interactions determine the unique properties of water The Airborne Infrared Spectrometer: Development, Characterization, and
  the 21 August 2017 Eclipse Observation Oxygen depletion in FLASH ultra-high-dose-rate radiotherapy: A molecular
  dynamics simulation Real Rank Two Geometry Dual-to-kernel learning with ideals A Solution to the Fermi Paradox: The Solar System, part of a Galactic
  Hypercivilization? Heterogeneous Dynamical Relaxations in a Lane Forming Liquid Learning Various Length Dependence by Dual Recurrent Neural Networks Language as a matrix product state Measuring Generalized Preferential Attachment in Dynamic Social Networks Private Computation of Polynomials over Networks Dichotomous Markov noise: Exact results for out-of-equilibrium systems.
  A review Limit theorems for cloning algorithms Syntax is from Mars while Semantics from Venus! Insights from Spectral
  Analysis of Distributional Similarity Networks
cs.LO cs.AI