OP-ED. Boycotts, withdrawing invitations, erasure of Jewish presence: These forms of exclusion, often presented as ...

Abstract: This study examines the issue of interpretability in fault diagnosis for rolling bearings using a symbolic learning technique. We propose the adoption of weighted signal temporal logic (wSTL ...

Can you chip in? As an independent nonprofit, the Internet Archive is fighting for universal access to quality information. We build and maintain all our own systems, but we don’t charge for access, ...

Will computers ever match or surpass human-level intelligence — and, if so, how? When the Association for the Advancement of Artificial Intelligence (AAAI), based in Washington DC, asked its members ...

Abstract: This article studies the controller synthesis problem for nonlinear control systems under linear temporal logic (LTL) specifications using zonotope techniques. A local-to-global control ...

As we celebrate our 125th year, we do so with a renewed sense of purpose. Guided by our strategic vision and driven by our shared values, we are confident that we will rise to meet this moment and ...

Blending logic systems with the neural networks that power large language models is one of the hottest trends in artificial intelligence. Now, however, the computer-science community is pushing hard ...