Syntactic Confluence Criteria for Positive/Negative-Conditional Term
  Rewriting Systems
On Rational Entailment for Propositional Typicality Logic
Programming Technologies for the Development of Web-Based Platform for
  Digital Psychological Tools Restoration of three-dimensional correlation function and structure
  factor from two-dimensional observations Pulsatile localized dynamics in delayed neural-field equations in
  arbitrary dimension Dynamical-systems theory of cellular reprogramming Vibration Improves Performance in Granular Jamming Grippers Contrastive Reasons Detection and Clustering from Online Polarized
  Debate Suppression and Revival of Weak Localization through Control of
  Time-Reversal Symmetry A Framework for Fast Scalable BNN Inference using Googlenet and Transfer
  Learning Exact formulas of the end-to-end Green's functions in non-Hermitian
  systems Submodular Optimization for Coupled Task Allocation and Intermittent
  Deployment Problems Hinged Truchet tiling fractals Corpus Conversion Service: A Machine Learning Platform to Ingest
  Documents at Scale A Game-Theoretic Study on Non-Monetary Incentives in Data Analytics
  Projects with Privacy Implications A fast tunable blurring algorithm for scattered data Non-Anderson critical scaling of the Thouless conductance in 1D Invariants for Lagrangian tori
cs.AI cs.LO