Fluted Logic with Counting
Fluted Logic with Counting
Vortrag von Ian Pratt-Hartmann
- Veranstaltungsort: online
- Beginn: 8. Juli 2021 um 13:00
- Ende: 8. Juli 2021 um 14:30
- 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