Mikoláš Janota

Mikoláš Janota

CTU Prague
Verified email at cvut.cz
Cited by 2808
SMT Machine learning Quantifiers Formal Methods
Amanda Pogue

Amanda Pogue

ActionIQ
Verified email at actioniq.com
Cited by 268
pragmatics language acquisition quantifiers logic semantics
Dawn Liu

Dawn Liu

University of Essex
Verified email at essex.ac.uk
Cited by 66
Psychology judgement and decision-making quantifiers food choice