Anna Zamansky
Anna Zamansky
Senior Lecturer, Information Systems Dept. University of Haifa
Vahvistettu sähköpostiosoite verkkotunnuksessa is.haifa.ac.il - Kotisivu
NimikeViittauksetVuosi
Non-deterministic semantics for logical systems
A Avron, A Zamansky
Handbook of philosophical logic, 227-304, 2011
1102011
Ideal paraconsistent logics
O Arieli, A Avron, A Zamansky
Studia Logica 99 (1-3), 31, 2011
482011
Maximal and premaximal paraconsistency in the framework of three-valued semantics
O Arieli, A Avron, A Zamansky
Studia Logica 97 (1), 31-60, 2011
392011
What Is an Ideal Logic for Reasoning with Inconsistency?.
O Arieli, A Avron, A Zamansky
IJCAI, 706-711, 2011
38*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
332006
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
312013
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
282015
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
25*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
232016
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
232012
What is an ideal logic for reasoning with inconsistency?
O Arieli, A Avron, A Zamansky
Twenty-Second International Joint Conference on Artificial Intelligence, 2011
212011
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
192017
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
19*2015
Quantification in non-deterministic multi-valued structures
A Avron, A Zamansky
Multiple-Valued Logic, 2005. Proceedings. 35th International Symposium on …, 2005
192005
Effective finite-valued semantics for labelled calculi
M Baaz, O Lahav, A Zamansky
Automated Reasoning, 52-66, 2012
18*2012
A framework for reasoning under uncertainty based on non-deterministic distance semantics
O Arieli, A Zamansky
International Journal of Approximate Reasoning 52 (2), 184-211, 2011
17*2011
Canonical calculi with (n, k)-ary quantifiers
A Avron, A Zamansky
arXiv preprint arXiv:0806.0081, 2008
17*2008
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
16*2015
Teaching logic to information systems students: challenges and opportunities
A Zamansky, E Farchi
arXiv preprint arXiv:1507.03687, 2015
15*2015
Serious games: Is your user playing or hunting?
S Baskin, S Anavi-Goffer, A Zamansky
International Conference on Entertainment Computing, 475-481, 2015
142015
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20