دنبال کردن
Anna Zamansky
Anna Zamansky
Associate Professor, Information Systems Dept. University of Haifa
ایمیل تأیید شده در is.haifa.ac.il - صفحهٔ اصلی
عنوان
نقل شده توسط
نقل شده توسط
سال
Non-deterministic semantics for logical systems
A Avron, A Zamansky
Handbook of Philosophical Logic: Volume 16, 227-304, 2010
1982010
Ideal paraconsistent logics
O Arieli, A Avron, A Zamansky
Studia Logica 99, 31-60, 2011
822011
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
802020
Automated recognition of pain in cats
M Feighelstein, I Shimshoni, LR Finka, SPL Luna, DS Mills, A Zamansky
Scientific Reports 12 (1), 9575, 2022
572022
Theory of effective propositional paraconsistent logics
A Avron, O Arieli, A Zamansky
College Publications, 2018
552018
Maximal and premaximal paraconsistency in the framework of three-valued semantics
O Arieli, A Avron, A Zamansky
Studia Logica 97, 31-60, 2011
552011
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
532013
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
472015
Going deeper than tracking: A survey of computer-vision based recognition of animal pain and emotions
S Broomé, M Feighelstein, A Zamansky, G Carreira Lencioni, ...
International Journal of Computer Vision 131 (2), 572-590, 2023
46*2023
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
462019
Finite-valued semantics for canonical labelled calculi
M Baaz, O Lahav, A Zamansky
Journal of automated reasoning 51 (4), 401-430, 2013
462013
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
402017
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
382006
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
372019
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
362016
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
352019
Computational analysis of movement patterns of dogs with ADHD-like behavior
S Bleuer-Elsner, A Zamansky, A Fux, D Kaplun, S Romanov, A Sinitca, ...
Animals 9 (12), 1140, 2019
332019
Cybersecurity for smart farming: socio-cultural context matters
D Van Der Linden, OA Michalec, A Zamansky
IEEE Technology and Society Magazine 39 (4), 28-35, 2020
322020
What Is an Ideal Logic for Reasoning with Inconsistency?.
O Arieli, A Avron, A Zamansky
IJCAI, 706-711, 2011
322011
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
322007
سیستم در حال حاضر قادر به انجام عملکرد نیست. بعداً دوباره امتحان کنید.
مقاله‌ها 1–20