Planning as Theorem Proving with Heuristics by Editors • June 21, 2023 • Comments Off on Planning as Theorem Proving with Heuristics Read more →
CFP: Declarative Programming in Biology and Medicine by Editors • June 19, 2023 • Comments Off on CFP: Declarative Programming in Biology and Medicine Read more →
ICLP 2023: Preliminary TPLP Special Issue Content by Editors • June 10, 2023 • Comments Off on ICLP 2023: Preliminary TPLP Special Issue Content Read more →
