A Polynomial Translation of Logic Programs with Nested Expressions into
  Disjunctive Logic Programs: Preliminary Report
Analyzing Semantics of Aggregate Answer Set Programming Using
  Approximation Fixpoint Theory
Harmonic measures on Bowditch boundaries of groups hyperbolic relative
  to virtually nilpotent subgroups Higher n-angulations from local rings Viewport-Aware Deep Reinforcement Learning Approach for 360$^o$ Video
  Caching Structure-Property Linkage in Shocked Multi-Material Flows Using A
  Level-Set Based Eulerian Image-To-Computation Framework An exactly solvable record model for rainfall Generators of algebraic curvature tensors based on a (2,1)-symmetry On a theorem by Kippenhahn On Charge-3 Cyclic Monopoles On the rationality of algebraic monodromy groups of compatible systems Numerical and experimental study of tonal noise sources at the outlet of
  an isolated centrifugal fan Mean Field and Collisional Dynamics of Interacting Fermion-Boson systems
  in a Soluble Model Multiple Node Immunisation for Preventing Epidemics on Networks by Exact
  Multiobjective Optimisation of Cost and Shield-Value Hopf-Galois structures of isomorphic type on a non-abelian
  characteristically simple extension Excitation of Quantized Longitudinal Electric Waves in a Degenerate
  Fermi Gas Diffusive instabilities of baroclinic lenticular vortices Lifelong Federated Reinforcement Learning: A Learning Architecture for
  Navigation in Cloud Robotic Systems Kolmogorov Complexity in perspective. Part I: Information Theory and
  Randomnes
cs.AI cs.LO