conftrace_

description logic ontology

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

pddl compilation (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