We are glad to report here the names of the speakers and contents of the joint invited speaker of PPDP 2023 and LOPSTR 2023, to be held as part of SPLASH 2023 in October at Cascais, Lisbon, Portugal. Maribel Fernández…
Planning as Theorem Proving with Heuristics
Planning as theorem proving in situation calculus was abandoned 50 years ago as an impossible project. But we have developed a Theorem Proving Lifted Heuristic (TPLH) planner that searches for a plan in a tree of situations using the A*…
CFP: Declarative Programming in Biology and Medicine
Declarative Programming in Biology and Medicine (“DeclMed”) is a new interdisciplinary workshop that will explore declarative programming methods / paradigms and their applications in the life sciences and medicine. Given promising advances in using declarative approaches in areas such as…
ICLP 2023: Preliminary TPLP Special Issue Content
The following are the arXiv versions of the papers accepted for the Theory and Practice of Logic Programming special issue for the ICLP 2023 conference. Implementing backjumping by means of exception handling Wlodzimierz Drabent https://arxiv.org/abs/2305.16137 External Behavior of a Logic…
In Memoriam: Steffen Holldobler
It is with a heavy heart that we join many colleagues in remembering a groundbreaking researcher in the field of logic, deduction and knowledge representation and reasoning, Prof. Steffen Hölldobler. Prof. Hölldobler passed away in May 2023. He will be…
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,…