On the existence of stable models of non-stratified logic programs
Genetic Algorithms for Extension Search in Default Logic
Learning Features and their Transformations by Spatial and Temporal
  Spherical Clustering Impact of Scene-Specific Enhancement Spectra on Matched Filter
  Greenhouse Gas Retrievals from Imaging Spectroscopy Online-offline activities and game-playing behaviors of avatars in a
  massive multiplayer online role-playing game Localizable Particles in the Classical Limit of Quantum Field Theory Phase Diagram of Diblock Copolymer Melt in Dimension d=5 Reading policies for joins: An asymptotic analysis Universal Effectiveness of High-Depth Circuits in Variational
  Eigenproblems SPViT: Enabling Faster Vision Transformers via Soft Token Pruning Atom radio-frequency interferometry Fast Parallel Algorithms for Euclidean Minimum Spanning Tree and
  Hierarchical Spatial Clustering Tight bounds on the expected number of holes in random point sets Foundations of a theory of quantum gravity Information propagation in isolated quantum systems Classical many-body time crystals Berry Phases in the Reconstructed KdV Equation Collective Influence Algorithm to find influencers via optimal
  percolation in massively large social media Second Life Physics: Virtual, real, or surreal? A General Difficulty Control Algorithm for Proof-of-Work Based
  Blockchains Blind Community Detection from Low-rank Excitations of a Graph Filter An explicit algorithm for normal forms in small overlap monoids
cs.AI cs.LO