Vaishak Belle

Tutorial on First-Order Multi-agent Logics in Action

Tutorial on First-Order Multi-agent Logics in Action

I’m giving a tutorial on First-Order Multi-agent Logics in Action at IJCAI in Melbourne, Australia.