Navegación

Búsqueda

Búsqueda avanzada

Incremental Evaluation of Lattice-Based Aggregates in Logic Programming Using Modular TCLP

Resumen:

Practical Aspects of Declarative Languages – 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019.doi 10.1007/978-3-030-05998-9_7

Palabras Clave:

Aggregates - constraints - Lattice - Logic Programming - TCLP

Autor(es):

Handle:

11705/PROLE/2019/006

Descargas:

Este artículo tiene una licencia de uso CreativeCommons - Reconocimiento (by)

Descarga el artículo haciendo click aquí.