Formally Verified SAT-Based AI Planning
Polynomial Rewritings from Expressive Description Logics with Closed
  Predicates to Variants of Datalog
Time dynamic of Fourier modes in turbulence: Sweeping effect, long-time
  correlations and time intermittency Should we opt for the Black Friday discounted price or wait until the
  Boxing Day? Looking backward: From Euler to Riemann Learning an arbitrary mixture of two multinomial logits Condensate of $\mu$-Bose gas as a model of dark matter Sandwich theorems and capacity bounds for non-commutative graphs Multiagent Maximum Coverage Problems: The Trade-off Between Anarchy and
  Stability Local Index Formulae on Noncommutative Orbifolds and Equivariant Zeta
  Functions for the Affine Metaplectic Group Nonlinear eigenvalue problem for optimal resonances in optical cavities Community extraction for social networks Rota-Baxter algebras and new combinatorial identities A dedicated greedy pursuit algorithm for sparse spectral representation
  of music sound Timely Detection and Mitigation of Stealthy DDoS Attacks via IoT
  Networks Variational calculation of many-body wave functions and energies from
  density-functional theory Characterizing predictable classes of processes On an unverified nuclear decay and its role in the DAMA experiment No-Regret Dynamics in the Fenchel Game: A Unified Framework for
  Algorithmic Convex Optimization Conditional Monte Carlo for Reaction Networks Statistical tools and precision of searching for the Higgs boson at the
  LHC
cs.AI cs.LO