Logic - DTU Compute - Denmark

1st World Logic Day - 14 January 2019 - Invited Talk

DTU Compute 322/017 13:00

Martin Mose Bentzen (DTU Management Engineering): Logic, AI and Philosophy

About World Logic Day


People

Thomas Bolander

Nina Gierasimczuk

Jørgen Fischer Nilsson

Jørgen Villadsen

Links

ACM Special Interest group on Logic and Computation (SIGLOG)

Association for Automated Reasoning (AAR)

Association for Logic, Language and Information (FoLLI)

Association for Logic Programming (ALP)

Association for Symbolic Logic (ASL)

Association for the Advancement of Artificial Intelligence (AAAI)

Copenhagen Association for Dynamics, Interaction, Logic, Language, and Computation (CADILLAC)

European Association for Artificial Intelligence (EurAI)

European Association for Computer Science Logic (EACSL)

European Association for Theoretical Computer Science (EATCS)

International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS)

Scandinavian Logic Society (SLS)


Jørgen Villadsen 2019-01-10 https://logic.compute.dtu.dk/