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*…
Month: June 2023
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…