no code implementations • 10 May 2022 • Emmanuelle Dietz, Johannes K. Fichte, Florim Hamiti
Cognitive theories for reasoning are about understanding how humans come to conclusions from a set of premises.
no code implementations • 2 Dec 2020 • Johannes K. Fichte, Markus Hecher, Florim Hamiti
We hope that the results can be a good indicator of the current feasibility of model counting and spark many new applications.
