Proceedings 41st International Conference on Logic Programming

Electronic Proceedings in Theoretical Computer Science 2026 Open access

Read full text
Authors: Talissa Dreossi, Agostino Dovier, Francesca Corte Pause, Susy Urli, Martina Crociati
DOI: 10.4204/eptcs.439.27
Cited by: 1
References: 23

Fields of Study & Subjects

Logic Reasoning and Knowledge Constraint Satisfaction and Optimization programming and type systems

Publication details

Journal / source
Electronic Proceedings in Theoretical Computer Science
Publisher
Open Publishing Association
Volume
439
Pages
397–404
Publication date
8 January 2026
Language
EN