Related papers: Proceedings 39th International Conference on Logic Programming

Proceedings 39th International Conference on Logic Programming

URL: http://arxiv.org/abs/2308.14898v1
Date: Mon, 28 Aug 2023 20:46:59 GMT
Title: Proceedings 39th International Conference on Logic Programming
Authors: Enrico Pontelli (New Mexico State University, USA), Stefania Costantini (University of L'Aquila, Italy), Carmine Dodaro (University of Calabria, Italy), Sarah Gaggl (TU Dresden, Germany), Roberta Calegari (University of Bologna, Italy), Artur D'Avila Garcez (City University of London, UK), Francesco Fabiano (University of Udine, Italy), Alessandra Mileo (DCU, Ireland), Alessandra Russo (Imperial College London, UK), Francesca Toni (Imperial College London, UK)
Abstract summary: This volume includes the Technical Communications presented at the 39th International Conference on Logic Programming (ICLP 2023) Main Track, the Doctoral Consortium, the Application and Systems/Demo track, the Birds-of-a-Feather track, the Thematic Tracks on Logic Programming and Machine Learning, and Logic Programming and Explainability, Ethics, and Trustworthiness.
Score: 53.44544554999452
License: http://creativecommons.org/licenses/by/4.0/
Abstract: 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.

Related papers

Integrating Reasoning Systems for Trustworthy AI, Proceedings of the 4th Workshop on Logic and Practice of Programming (LPOP) [0.30693357740321775]
The workshop is to be held in Dallas, Texas, USA, and as a hybrid event, on October 13, 2024, in conjunction with the 40th International Conference on Logic Programming (ICLP) The focus of this workshop is integrating reasoning systems for trustworthy AI, especially including integrating diverse models of programming with rules and constraints.
arXiv Detail & Related papers (2024-10-01T19:36:08Z)
Proceedings of the 21st International Conference on Quantum Physics and Logic [49.1574468325115]
QPL is an annual conference that brings together academic and industry researchers working on the mathematical foundations of quantum computation, quantum physics, and related areas. The main focus is on the use of algebraic and categorical structures, formal languages, semantic methods, as well as other mathematical and computer scientific techniques applicable to the study of physical systems, physical processes, and their composition.
arXiv Detail & Related papers (2024-08-09T15:04:17Z)
Overview of AI-Debater 2023: The Challenges of Argument Generation Tasks [62.443665295250035]
We present the results of the AI-Debater 2023 Challenge held by the Chinese Conference on Affect Computing (CCAC 2023) In total, 32 competing teams register for the challenge, from which we received 11 successful submissions.
arXiv Detail & Related papers (2024-07-20T10:13:54Z)
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis [0.6649753747542209]
LSFA aims to bring researchers and students interested in theoretical and practical aspects of logical and semantic frameworks and their applications. The covered topics include proof theory, type theory and rewriting theory, specification and deduction languages, and formal semantics of languages and systems.
arXiv Detail & Related papers (2024-04-21T14:22:53Z)
ICDAR 2023 Competition on Hierarchical Text Detection and Recognition [60.68100769639923]
The competition is aimed to promote research into deep learning models and systems that can jointly perform text detection and recognition. We present details of the proposed competition organization, including tasks, datasets, evaluations, and schedule. During the competition period (from January 2nd 2023 to April 1st 2023), at least 50 submissions from more than 20 teams were made in the 2 proposed tasks.
arXiv Detail & Related papers (2023-05-16T18:56:12Z)
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software [0.0]
ThEdu series pursues the smooth transition from an intuitive way of doing mathematics at secondary school to a more formal approach to the subject in STEM education. ThEdu'22 was a vibrant workshop, with two invited talk by Thierry Dana-Picard and Yoni Zohar. The resulting revised papers are collected in the present volume.
arXiv Detail & Related papers (2023-03-09T16:10:13Z)
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) [0.2578242050187029]
The workshop was held online, virtually in place of Chicago, USA, on November 15, 2010. The purpose of this workshop is to be a bridge between different areas of computer science that use logic as a practical tool.
arXiv Detail & Related papers (2022-11-17T22:50:56Z)
Proceedings 36th International Conference on Logic Programming (Technical Communications) [127.81808516917793]
ICLP is the premier international conference for presenting research in logic programming. Since the first conference held in Marseille in 1982, ICLP has been the premier international event for presenting research in logic programming.
arXiv Detail & Related papers (2020-09-19T04:18:41Z)
Flexibility Is Key in Organizing a Global Professional Conference Online: The ICPE 2020 Experience in the COVID-19 Era [59.9176321671712]
How should we organize ACM/SPEC International Conference on Performance Engineering 2020? How should we organize these conferences online? This article summarizes their successful answer.
arXiv Detail & Related papers (2020-05-18T21:00:02Z)

This list is automatically generated from the titles and abstracts of the papers in this site.