Goto

Collaborating Authors

 Agents







Reports of the Workshops Held at the 2025 AAAI Conference on Artificial Intelligence

Interactive AI Magazine

The Workshop Program of the Association for the Advancement of Artificial Intelligence's 39th Conference on Artificial Intelligence (AAAI-25) was held in Philadelphia, Pennsylvania, on February 25 - March 4, 2025. TIKA is envisioned to create an open knowledge resource and serve as a hub for research, education and training on knowledge representation and knowledge engineering. Over 50 AI researchers convened at the workshop over two days. The discussions focused on different aspects of creating an open knowledge resource including foundational knowledge, automated reasoning, knowledge curation, education on knowledge axiomatization, and evaluation of outcomes. The opening discussion confirmed that the idea of curated knowledge, that is, knowledge captured in an expressive formal language that can be explicitly examined and verified by humans, is compelling. It must, however, be situated in the modern context of AI. Such a resource should address the limitations of existing generative ...


Appendices

Neural Information Processing Systems

In this subsection, we prove the lemmas stated in the paper. Lemma 3. F or any state s S, we have Var Remark 2, the multi-agent advantage is bounded from both sides. It suffices to prove the first inequality, as the second one is a trivial upper bound. Theorem 2. The COMA and DT estimators of MAPG satisfy Var We rely on this fact in the proofs below. From the decomposition of the estimator's variance, we know that minimisation of the In the paper, we discussed the impracticality of the above baseline.


e366d105cfd734677897aaccf51e97a3-Paper.pdf

Neural Information Processing Systems

A vast body of literature in computational game theory has focused on computing Nash equilibria (NEs) in two-player zero-sum imperfect-information extensive-form games.