LPAR-05 Workshop: Empirically Successfull Automated Reasoning in
  Higher-Order Logic (ESHOL)
Characterizing and computing stable models of logic programs: The
  non-stratified case
Syntactic Topic Models Differentially private inference via noisy optimization Proof of the Honeycomb Asymptotics for Optimal Cheeger Clusters Insights into the equation of state of neutron-rich matter since
  GW170817 Learning Stabilizable Dynamical Systems via Control Contraction Metrics Probing Quantum Frustrated Systems via Factorization of the Ground State Quantitative Evaluation Approach for Translation of Perceptual
  Soundscape Attributes: Initial Application to the Thai Language PACO: Global Signal Restoration via PAtch COnsensus Uniform and Piece-wise Uniform Fields in Memristor Models Optimal working conditions for thermoelectric generators with realistic
  thermal coupling The probability of making a correct decision in hypotheses testing as
  estimator of quality of planned experiments Helicoids in chiral liquid crystals under external fields The Figure of the Sun from Ground-based Experiments A Variation on Selberg's Approximation Problem On the role of electron-nucleus contact and microwave saturation in
  Thermal Mixing DNP Near-Field Plasmonic Behavior of Au/Pd Nanocrystals with Pd-Rich Tips Uncovering the Internal Structure of the Indian Financial Market:
  Cross-correlation behavior in the NSE A norm on homology of surfaces and counting simple geodesics Concentration of invariant means and dynamics of chain stabilizers in
  continuous geometries A Simple Algorithm for Scalable Monte Carlo Inference
cs.AI cs.LO