Knowledge Representation
361 directly classified papers
Papers per year
Papers
Cone Semantics for Logics with Negation
IJCAI 2020
Provenance for the Description Logic ELHr
IJCAI 2020