conftrace_

pddl compilation

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

description logic ontology (1) horn description logic (1) horn logic (1) datalog rewriting (1) ai planning (1) description logic (1) state constraint (1) knowledge representation (1) automated planning (1)

Papers

Expressivity of Planning with Horn Description Logic Ontologies AAAI 2022