Author: Editors
Planning as Theorem Proving with Heuristics
CFP: Declarative Programming in Biology and Medicine
ICLP 2023: Preliminary TPLP Special Issue Content
In Memoriam: Steffen Holldobler
Call for Papers: CP 2023
Twenty-Ninth Conference on Principles and Practice of Constraint Programming CP 2023 (cp2023.a4cp.org) August 27-31, 2023, Toronto, Canada CP is the premier international event for presenting research in all aspects of computing with constraints, including, but not restricted to: theory, algorithms,…