FO2 groundings can require 2^Ω(n) DNNF size, but a type-based compiler with residual caching often yields smaller circuits and faster runtimes than naive grounding.
Advances in Neural Information Processing Systems , volume=
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
background 1
citation-polarity summary
years
2026 2verdicts
UNVERDICTED 2roles
background 1polarities
background 1representative citing papers
A neurosymbolic model augments Swin Transformers with focal sets and fuzzy logic to produce calibrated hierarchical image classifications that respect logical constraints.
citing papers explorer
No citing papers match the current filters.