conftrace_

recursive isomorphism

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

symbolic ai (1) connectionist ai (1) logical theories (1) representation formalism (1) declarative knowledge (1) formal methods (1) knowledge representation (1)

Papers

A Theory of Formalisms for Representing Knowledge AAAI 2025