This is where I collect and write things, mostly on academe and artificial intelligence. Established in 2010, by Vaishak Belle.
We were happy to find out we have 4 papers accepted at AAMAS-2023. I’ll be blogging more details about these contributions in the coming weeks. But in the meantime, here are the titles and a short blurb
Looks at the robust learning on multi-agent epistemic formulas, as enabled by the PAC-semantics. See our NeurIPS-2019 paper for the single agent first-order version, for example.
Considers a first-order probabilistic logic allowing for infinitely many variables, characterized by either discrete or continuous or mixed distributions.
Revisits the situation calculus extension for degrees of belief in continuous domains and presents a modal version.
proposes a semantics for abstracting belief-based probabilistic programs (like ALLEGRO from IJCAI-15 by Belle and Levesque) as noise-free epistemic GOLOG programs.