1 citations · 1 across the 5 of their papers we have counts for
4 papers · 1 filter
Breaking through the classical Shannon entropy limit: A new frontier through logical semantics
Luis A. Lastras, Barry M. Trager, Jonathan Lenchner +4
Information theory has provided foundations for the theories of several application areas critical for modern society, including communications, computer storage, and AI. A key asp…
On the Number of Quantifiers Needed to Define Boolean Functions
Marco Carmosino, Ronald Fagin, Neil Immerman +3
The number of quantifiers needed to express first-order (FO) properties is captured by two-player combinatorial games called multi-structural games. We analyze these games on binar…
A Neuro-Symbolic Approach to Multi-Agent RL for Interpretability and Probabilistic Decision Making
Chitra Subramanian, Miao Liu, Naweed Khan +5
Multi-agent reinforcement learning (MARL) is well-suited for runtime decision-making in optimizing the performance of systems where multiple agents coexist and compete for shared r…
Parallel Play Saves Quantifiers
Marco Carmosino, Ronald Fagin, Neil Immerman +4
The number of quantifiers needed to express first-order properties is captured by two-player combinatorial games called multi-structural (MS) games. We play these games on linear o…