LPAR23: LPAR-23: 23RD INTERNATIONAL CONFERENCE ON LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE AND REASONING
PROGRAM FOR WEDNESDAY, JANUARY 13TH: TALK VIEW
Days:
previous day
all days

View: with abstractssession overview

16:00
16:30
17:00
17:30
18:00
18:30
19:00
19:30
17:15-17:35
C. Alrabbaa, F. Baader, S. Borgwardt, P. Koopmann, A. Kovtunova
17:35-17:55
Erika Abraham, Ezio Bartocci, Borzoo Bonakdarpour, Oyendrila Dobe
17:15-17:35
Marcel Hark, Florian Frohn, J├╝rgen Giesl
17:55-18:15
A Dileep, Kuldeep S. Meel, Ammar F. Sabili
18:15-19:15
Alexandra Silva