conftrace_

logical theories

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

recursive isomorphism (1) symbolic ai (1) connectionist ai (1) representation formalism (1) declarative knowledge (1) formal methods (1) knowledge representation (1)

Papers

A Theory of Formalisms for Representing Knowledge AAAI 2025