conftrace_

first-order quantification

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

quantification (1) language of thought (1) cognitive representation (1) behavioral experiment (1) unit propagation (1) belief modality (1) psychological complexity (1) limited belief (1) clause subsumption (1) second-order quantification (1)

Papers

Limbo: A Reasoning System for Limited Belief IJCAI 2017 Quantification and the language of thought NeurIPS 2009