Fluted Logic with Counting
Fluted Logic with Counting
Talk by Ian Pratt-Hartmann
- Location: Online
- Start: 8. July 2021 at 1:00 pm
- End: 8. July 2021 at 2:30 pm
- Event series: Research Seminar Logic and AI
- iCal
This talk is based on the speakers paper Fluted Logic with Counting accepted at ICALP 2021.
Short bio: Ian Pratt-Hartmann studied mathematics and philosophy at Brasenose College, Oxford, and philosophy at Princeton and Stanford Universities, gaining his PhD. from Princeton. He is currently Senior Lecturer in the Department of Computer Science at the University of Manchester. Since February, 2014, Dr. Pratt-Hartmann has held a joint appointment in the Institute of Computer Science at the University of Opole. His academic interests range widely over computational logic, natural language semantics and artificial intelligence.
This talk will take place online via BigBlueButton. To access the room, take one of the following links:
with ZIH-login:
https://selfservice.zih.tu-dresden.de/l/link.php?m=128251&p=5a1cd43c
without ZIH-login:
https://selfservice.zih.tu-dresden.de/link.php?m=128251&p=14fd82b8