conftrace_

datalog program

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

numerical relaxation (1) recursive rule (1) predicate invention (1) delete relaxation (1) lifted planning (1) modular framework (1) normal logic program (1) planning domain (1) planning heuristics (1) incremental update (1)

Papers

Generalisation through Negation and Predicate Invention AAAI 2024 The FF Heuristic for Lifted Classical Planning AAAI 2022 Modular Materialisation of Datalog Programs AAAI 2019 Synthesizing Datalog Programs using Numerical Relaxation IJCAI 2019