Evidence Algorithm and System for Automated Deduction: A Retrospective
  View
Fuzzy Logic in Narrow Sense with Hedges
Direct N-body application on low-power and energy-efficient parallel
  architectures Neutron matter on the lattice with pionless effective field theory Controlling Human Utilization of Failure-Prone Systems via Taxes Quantum machine learning and quantum biomimetics: A perspective Superconductivity of disordered Dirac fermions Modelling the Influence of Cultural Information on Vision-Based Human
  Home Activity Recognition Topology of nerves and formal concepts Functional Correlations in the Pursuit of Performance Assessment of
  Classifiers Folding Pathways of Prion and Doppel An ADER-WENO Finite Volume AMR code for Astrophysics Capacity and Expressiveness of Genomic Tandem Duplication NSGZero: Efficiently Learning Non-Exploitable Policy in Large-Scale
  Network Security Games with Neural Monte Carlo Tree Search PowNet: a power systems analysis model for large-scale water-energy
  nexus studies Perturbative and non-perturbative effects in ultraperipheral production
  of lepton pairs A review of wildland fire spread modelling, 1990-present, 1: Physical
  and quasi-physical models A Systematic Study of Chloride Ion Solvation in Water using van der
  Waals Inclusive Hybrid Density Functional Theory Light cone and Weyl compatibility of conformal and projective structures Confinement and lack of thermalization after quenches in the bosonic
  Schwinger model High-Harmonic generation from spin-polarised defects in solids Clustering of Local Extrema in Planck CMB maps
cs.AI cs.LO