🏛️ The Artificial Intelligence Crypt

cs.AI: Where Artificial Intelligence papers rest without their code.

17382 Total Papers
10620 No Code
277 Twilight
6485 Has Code
37.3% Survival Rate
R.I.P. 👻 Ghosted

Public Announcement Logic in HOL

Sebastian Reiche, Christoph Benzmüller

cs.AI 🏛 Dynamic Logic. New Trends and Applications 📚 2 cites 5 years ago