Temporal logics have become essential tools of many AI applications, from verification to planning to synthesis. Mission-time Linear Temporal Logic (MLTL) adds closed-interval integer bounds on the...
Nash equilibria have been central to game theory since Von Neumann, but how fast can we compute them? The best known upper bound is achieved by letting a minimizing and a maximizing online learning...
Graph neural networks (GNNs) are the predominant architectures for a variety of learning tasks on graphs. We present a new angle on the expressive power of GNNs by studying how the predictions of a...
From Theory to Practice: Explaining Logical (Non-)Inferences for OWL Ontologies
-
A new version of content is available.
