Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 14:30 - 15:00 at Sala IV - PADL Session 1
Slides of Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP (talk.pdf)2.28MiB

Mon 14 Jan

Displayed time zone: Belfast change

14:00 - 15:30
PADL Session 1PADL at Sala IV
13:50
10m
Day opening
PADL Opening and Welcome
PADL
Moa Johansson Chalmers University of Technology, José Julio Alferes NOVA LINCS -- Universidade Nova de Lisboa
14:00
30m
Talk
Natural Language Generation From Ontologies
PADL
14:30
30m
Talk
Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP
PADL
Joaquín Arias , Manuel Carro IMDEA Software Institute and T.U. of Madrid (UPM)
File Attached
15:00
30m
Talk
Improving Residuation in Declarative Programs
PADL
Michael Hanus Kiel University
File Attached