Non-deterministic semantics for logical systems A Avron, A Zamansky Handbook of Philosophical Logic: Volume 16, 227-304, 2010 | 174 | 2010 |
Ideal paraconsistent logics O Arieli, A Avron, A Zamansky Studia Logica 99, 31-60, 2011 | 73 | 2011 |
Exploring the dog–human relationship by combining fMRI, eye-tracking and behavioural measures S Karl, M Boch, A Zamansky, D van der Linden, IC Wagner, CJ Völter, ... Scientific reports 10 (1), 22273, 2020 | 54 | 2020 |
Maximal and premaximal paraconsistency in the framework of three-valued semantics O Arieli, A Avron, A Zamansky Studia Logica 97, 31-60, 2011 | 52 | 2011 |
Cut-free sequent calculi for C-systems with generalized finite-valued semantics A Avron, B Konikowska, A Zamansky Journal of Logic and Computation 23 (3), 517-540, 2013 | 47 | 2013 |
The Player is Chewing the Tablet! Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction S Baskin, A Zamansky Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in …, 2015 | 41 | 2015 |
Buddy's wearable is not your buddy: Privacy implications of pet wearables D Van Der Linden, A Zamansky, I Hadar, B Craggs, A Rashid IEEE Security & Privacy 17 (3), 28-39, 2019 | 40 | 2019 |
A ‘natural logic’inference system using the Lambek calculus A Zamansky, N Francez, Y Winter Journal of Logic, Language and Information 15, 273-295, 2006 | 39 | 2006 |
Finite-valued semantics for canonical labelled calculi M Baaz, O Lahav, A Zamansky Journal of automated reasoning 51 (4), 401-430, 2013 | 38 | 2013 |
How cognitively effective is a visual notation? on the inherent difficulty of operationalizing the physics of notations D van der Linden, A Zamansky, I Hadar Enterprise, Business-Process and Information Systems Modeling: 17th …, 2016 | 36 | 2016 |
Theory of effective propositional paraconsistent logics A Avron, O Arieli, A Zamansky College Publications, 2018 | 35 | 2018 |
Log my dog: perceived impact of dog activity tracking A Zamansky, D Van Der Linden, I Hadar, S Bleuer-Elsner Computer 52 (9), 35-43, 2019 | 33 | 2019 |
A report on the first international workshop on research methods in animal-computer interaction A Zamansky, A Roshier, C Mancini, EC Collins, C Hall, K Grillaert, ... Proceedings of the 2017 CHI conference extended abstracts on human factors …, 2017 | 31 | 2017 |
Modular construction of cut-free sequent calculi for paraconsistent logics A Avron, B Konikowska, A Zamansky Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer …, 2012 | 30 | 2012 |
What Is an Ideal Logic for Reasoning with Inconsistency?. O Arieli, A Avron, A Zamansky IJCAI, 706-711, 2011 | 30 | 2011 |
What Is an Ideal Logic for Reasoning with Inconsistency?. O Arieli, A Avron, A Zamansky IJCAI 2011, 706-711, 2011 | 30 | 2011 |
Many-valued non-deterministic semantics for first-order Logics of Formal (In) consistency A Avron, A Zamansky Algebraic and proof-theoretic aspects of non-classical logics, 1-24, 2007 | 30 | 2007 |
What practitioners really want: requirements for visual notations in conceptual modeling D van der Linden, I Hadar, A Zamansky Software & Systems Modeling 18, 1813-1831, 2019 | 28 | 2019 |
Taming paraconsistent (and other) logics: an algorithmic approach A Ciabattoni, O Lahav, L Spendier, A Zamansky ACM Transactions on Computational Logic (TOCL) 16 (1), 5, 2015 | 27* | 2015 |
Automated recognition of pain in cats M Feighelstein, I Shimshoni, LR Finka, SPL Luna, DS Mills, A Zamansky Scientific Reports 12 (1), 9575, 2022 | 26 | 2022 |