Proceedings 39th International Conference on Logic Programming

08/28/2023
by   Enrico Pontelli, et al.
0

This volume contains the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023), held at Imperial College London, UK from July 9 to July 15, 2023. Technical Communications included here concern the Main Track, the Doctoral Consortium, the Application and Systems/Demo track, the Recently Published Research Track, the Birds-of-a-Feather track, the Thematic Tracks on Logic Programming and Machine Learning, and Logic Programming and Explainability, Ethics, and Trustworthiness.

READ FULL TEXT
research
02/01/2013

Proceedings of the 12th International Colloquium on Implementation of Constraint and LOgic Programming Systems

This volume contains the papers presented at CICLOPS'12: 12th Internatio...
research
08/02/2018

Pre-proceedings of the 28th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2018)

This volume constitutes the pre-proceedings of the 28th International Sy...
research
04/07/2017

AppLP: A Dialogue on Applications of Logic Programming

This document describes the contributions of the 2016 Applications of Lo...
research
10/15/2012

Introduction to the 28th International Conference on Logic Programming Special Issue

We are proud to introduce this special issue of the Journal of Theory an...
research
11/28/2022

Machine Learning for Health symposium 2022 – Extended Abstract track

A collection of the extended abstracts that were presented at the 2nd Ma...
research
09/19/2020

Proceedings 36th International Conference on Logic Programming (Technical Communications)

Since the first conference held in Marseille in 1982, ICLP has been the ...
research
12/12/2002

Low Size-Complexity Inductive Logic Programming: The East-West Challenge Considered as a Problem in Cost-Sensitive Classification

The Inductive Logic Programming community has considered proof-complexit...

Please sign up or login with your details

Forgot password? Click here to reset