๐ฎ
๐ฎ
The Ethereal
Introduction to the 35th International Conference on Logic Programming Special Issue
August 10, 2019 ยท The Ethereal ยท ๐ Theory and Practice of Logic Programming
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Esra Erdem, Andrea Formisano, German Vidal, Fangkai Yang
arXiv ID
1908.03719
Category
cs.LO: Logic in CS
Cross-listed
cs.AI,
cs.PL
Citations
0
Venue
Theory and Practice of Logic Programming
Last Checked
5 months ago
Abstract
We are proud to introduce this special issue of Theory and Practice of Logic Programming (TPLP), dedicated to the regular papers accepted for the 35th International Conference on Logic Programming (ICLP). The ICLP meetings started in Marseille in 1982 and since then constitute the main venue for presenting and discussing work in the area of logic programming. Under consideration for acceptance in TPLP.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Logic in CS
๐ฎ
๐ฎ
The Ethereal
Safe Reinforcement Learning via Shielding
๐ฎ
๐ฎ
The Ethereal
Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
๐ฎ
๐ฎ
The Ethereal
Heterogeneous substitution systems revisited
๐ฎ
๐ฎ
The Ethereal
Omega-Regular Objectives in Model-Free Reinforcement Learning
๐ฎ
๐ฎ
The Ethereal