conftrace_

signature-based reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

signature-based abduction (1) abox abduction (1) complex concept (1) hypothesis generation (1) description logic (1) complexity analysis (1) knowledge base (1) symbolic reasoning (1)

Papers

Signature-Based Abduction with Fresh Individuals and Complex Concepts for Description Logics IJCAI 2021