| Non-deterministic semantics for logical systems A Avron, A Zamansky Handbook of philosophical logic, 227-304, 2011 | 123 | 2011 |
| Ideal paraconsistent logics O Arieli, A Avron, A Zamansky Studia Logica 99 (1-3), 31, 2011 | 52 | 2011 |
| Maximal and premaximal paraconsistency in the framework of three-valued semantics O Arieli, A Avron, A Zamansky Studia Logica 97 (1), 31-60, 2011 | 45 | 2011 |
| A ‘natural logic’inference system using the Lambek calculus A Zamansky, N Francez, Y Winter Journal of Logic, Language and Information 15 (3), 273-295, 2006 | 34 | 2006 |
| 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 | 33 | 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 | 32 | 2015 |
| 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 | 28 | 2007 |
| 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, 448-462, 2016 | 26 | 2016 |
| 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 | 24 | 2012 |
| What Is an Ideal Logic for Reasoning with Inconsistency?. O Arieli, A Avron, A Zamansky IJCAI, 706-711, 2011 | 24 | 2011 |
| What Is an Ideal Logic for Reasoning with Inconsistency?. O Arieli, A Avron, A Zamansky IJCAI 2011, 706-711, 2011 | 24 | 2011 |
| 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 | 22 | 2017 |
| Quantification in non-deterministic multi-valued structures A Avron, A Zamansky Multiple-Valued Logic, 2005. Proceedings. 35th International Symposium on …, 2005 | 19 | 2005 |
| Finite-valued semantics for canonical labelled calculi M Baaz, O Lahav, A Zamansky Journal of automated reasoning 51 (4), 401-430, 2013 | 18 | 2013 |
| Maximally paraconsistent three-valued logics O Arieli, A Avron, A Zamansky Twelfth International Conference on the Principles of Knowledge …, 2010 | 17 | 2010 |
| Towards a human-centred approach in modelling and testing of cyber-physical systems M Spichkova, A Zamansky, E Farchi 2015 IEEE 21st International Conference on Parallel and Distributed Systems …, 2015 | 16 | 2015 |
| Serious games: Is your user playing or hunting? S Baskin, S Anavi-Goffer, A Zamansky International Conference on Entertainment Computing, 475-481, 2015 | 16 | 2015 |
| Automated support for the investigation of paraconsistent and other logics A Ciabattoni, O Lahav, L Spendier, A Zamansky International Symposium on Logical Foundations of Computer Science, 119-133, 2013 | 16 | 2013 |
| Theory of effective propositional paraconsistent logics A Avron, O Arieli, A Zamansky College Publications, 2018 | 15 | 2018 |
| Formal Methods in Collaborative Projects. A Zamansky, G Rodriguez-Navas, M Adams, M Spichkova ENASE, 396-402, 2016 | 15 | 2016 |
