Do humans reason with \(\mathcal{E} \)-matchers?

DOI10.1007/978-3-030-22102-7_17zbMath1444.68182OpenAlexW2956081066MaRDI QIDQ2185478

Steffen Hölldobler

Publication date: 4 June 2020

Full work available at URL: https://doi.org/10.1007/978-3-030-22102-7_17

zbMATH Keywords

logic programmingfluent calculusethical decision makingweak completion semantics

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Cognitive psychology (91E10) Logic programming (68N17)

This page was built for publication: Do humans reason with \(\mathcal{E} \)-matchers?