Write a Blog >>
Mon 20 Jan 2020 09:35 - 10:00 at Bacchus - Logical Engines and Applications Chair(s): Ekaterina Komendantskaya

Mon 20 Jan

Displayed time zone: Saskatchewan, Central America change

08:30 - 10:00
Logical Engines and ApplicationsPADL at Bacchus
Chair(s): Ekaterina Komendantskaya Heriot-Watt University, UK
08:30
15m
Day opening
Opening
PADL
08:45
50m
Talk
Invited Talk: Logical Engines for Cloud Configurations
PADL
I: Nikolaj Bjørner Microsoft Research
09:35
25m
Talk
Interactive Text Graph Mining with a Prolog-based Dialog Engine
PADL
Paul Tarau University of North Texas, Eduardo Blanco