Anna Zamansky - RankMe

143 papers A* 5A 12B 10C 4Misc 7Journal 55Unranked 48

Year	Rank	Type	Title / Venue / Authors
2026	—	`conf`	From Data to Dialogue: A Multi-Agent Chatbot Interface for Decision Support in Guide Dog Training. IUI Companion Adir Solomon, Elena Shamis, Amihai Toren, Anna Zamansky
2026	J	`jnl`	Supervised Neural Style Transfer as an Augmentation Technique for Facial Landmark Detection. Int. J. Comput. Vis. Anadil Hussein, Anna Zamansky, George Martvel
2025	J	`jnl`	Canine Clinical Gait Analysis for Orthopedic and Neurological Disorders: An Inertial Deep-Learning Approach. CoRR Netta Palez, Léonie Straß, Sebastian Meller, Holger A. Volk, Anna Zamansky, Itzik Klein
2025	J	`jnl`	Semantic Style Transfer for Enhancing Animal Facial Landmark Detection. CoRR Anadil Hussein, Anna Zamansky, George Martvel
2024	A	`conf`	Anticipating Data Inaccuracy Consequences in Business Processes: an Empirical Study. BPM Yotam Evron, Pnina Soffer, Anna Zamansky
2024	J	`jnl`	Automated Detection of Cat Facial Landmarks. Int. J. Comput. Vis. George Martvel, Ilan Shimshoni, Anna Zamansky
2024	J	`jnl`	DogFLW: Dog Facial Landmarks in the Wild Dataset. CoRR George Martvel, Greta Abele, Annika Bremhorst, Chiara Canori, Nareed Farhat, Giulia Pedretti, Ilan Shimshoni, Anna Zamansky
2024	J	`jnl`	Inter-instance Data Impacts in Business Processes: A Model-based Analysis. CoRR Yotam Evron, Arava Tsoury, Anna Zamansky, Iris Reinhartz-Berger, Pnina Soffer
2023	J	`jnl`	Automated Detection of Cat Facial Landmarks. CoRR George Martvel, Ilan Shimshoni, Anna Zamansky
2023	J	`jnl`	BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States. CoRR Dinu Gavojdian, Teddy Lazebnik, Madalina Mincu, Ariel Oren, Ioana Nicolae, Anna Zamansky
2023	J	`jnl`	CatFLW: Cat Facial Landmarks in the Wild Dataset. CoRR George Martvel, Nareed Farhat, Ilan Shimshoni, Anna Zamansky
2023	J	`jnl`	Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine. CoRR Nareed Farhat, Teddy Lazebnik, Joke Monteny, Christel Palmyre Henri Moons, Eline Wydooghe, Dirk van der Linden, Anna Zamansky
2023	J	`jnl`	Going Deeper than Tracking: A Survey of Computer-Vision Based Recognition of Animal Pain and Emotions. Int. J. Comput. Vis. Sofia Broomé, Marcelo Feighelstein, Anna Zamansky, Gabriel Carreira Lencioni, Pia Haubro Andersen, Francisca Pessanha, Marwa Mahmoud, Hedvig Kjellström, Albert Ali Salah
2023	J	`jnl`	Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data. CoRR Jennifer Magana, Dinu Gavojdian, Yakir Menachem, Teddy Lazebnik, Anna Zamansky, Amber Adams-Progar
2022	J	`jnl`	Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. CoRR Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst, Daniel S. Mills, Stefanie Riemer, Dror Fried, Anna Zamansky
2022	—	`conf`	Do AI Models "Like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models. ACI Marcelo Feighelstein, Einat Kovalyo, Jennifer Abrams, Sarah-Elisabeth Byosiere, Anna Zamansky
2022	J	`jnl`	Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States. CoRR Sofia Broomé, Marcelo Feighelstein, Anna Zamansky, Gabriel Carreira Lencioni, Pia Haubro Andersen, Francisca Pessanha, Marwa Mahmoud, Hedvig Kjellström, Albert Ali Salah
2022	—	`conf`	How Can Technology Support Dog Shelters in Behavioral Assessment: an Exploratory Study. ACI Yael Hazan, Orit Hirsch-Matsioulas, Dirk van der Linden, Anna Zamansky
2022	J	`jnl`	Model-based Analysis of Data Inaccuracy Awareness in Business Processes. Bus. Inf. Syst. Eng. Yotam Evron, Pnina Soffer, Anna Zamansky
2022	J	`jnl`	On the role of technology in human-dog relationships: a future filled with dreams or nightmares? CoRR Dirk van der Linden, Brittany I. Davidson, Orit Hirsch-Matsioulas, Anna Zamansky
2022	J	`jnl`	Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms. IEEE Trans. Software Eng. Iris Reinhartz-Berger, Anna Zamansky
2021	—	`conf`	Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection. MindTrek Fiona French, Ilyena Hirskyj-Douglas, Heli Väätäjä, Patricia Pons, Sabrina Karl, Yoram Chisik, Eleonora Nannoni, Anna Zamansky, Mandeep Mangat, Patrizia Paci, Haruka Kasuga, Dana Vilker
2021	—	`conf`	Exploring Digitalization of Animal-Assisted Reading. ACI Daphna Golan-Shemesh, Tsippy Lotan, Yana Zadorozhnaya, Anna Zamansky, Tamar Brilant, Kira Ablamunits, Dirk van der Linden
2021	—	`conf`	Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. BPMDS/EMMSAD@CAiSE Dirk van der Linden, Hava Dayan, Anna Zamansky, Irit Hadar
2020	J	`jnl`	Cybersecurity for Smart Farming: Socio-Cultural Context Matters. IEEE Technol. Soc. Mag. Dirk van der Linden, Ola Aleksandra Michalec, Anna Zamansky
2020	J	`jnl`	Paraconsistency, self-extensionality, modality. Log. J. IGPL Arnon Avron, Anna Zamansky
2020	J	`jnl`	Pets without PETs: on pet owners' under-estimation of privacy concerns in pet wearables. Proc. Priv. Enhancing Technol. Dirk van der Linden, Matthew Edwards, Irit Hadar, Anna Zamansky
2020	—	`conf`	Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns. ACI Tom Menaker, Anna Zamansky, Dirk van der Linden, Dmitry I. Kaplun, Aleksandr Sinitica, Sabrina Karl, Ludwig Huber
2020	—	`conf`	Who Moved My Culture?: Expanding Anthropological Perspectives in ACI. ACI Orit Hirsch-Matsioulas, Anna Zamansky
2019	—	`conf`	A Set-based Logical Language for Specification of Combinatorial Models. ACSW Anna Zamansky, Maria Spichkova
2019	—	`conf`	Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks. ICANN (3) Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Michael Plazner, Ivana G. Schork, Robert J. Young, Cristiano S. de Azevedo
2019	—	`conf`	Animal Health Informatics: Towards a Generic Framework for Automatic Behavior Analysis Position Paper. HEALTHINF Dmitrij I. Kaplun, Aleksandr Sinitca, Anna Zamansky, Stephane Bleuer-Elsner, Michael Plazner, Asaf Fux, Dirk van der Linden
2019	—	`conf`	Automatic Estimation of Dog Age: The DogAge Dataset and Challenge. ICANN (3) Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Luisa M. L. Dutra, Robert J. Young
2019	—	`conf`	Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky
2019	J	`jnl`	Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables. IEEE Secur. Priv. Dirk van der Linden, Anna Zamansky, Irit Hadar, Barnaby Craggs, Awais Rashid
2019	J	`jnl`	Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era. J. Ind. Inf. Integr. Dirk van der Linden, Anna Zamansky, Irit Hadar, Barnaby Craggs
2019	—	`conf`	Does my dog really need a gadget?: What can we learn from pet owners' amotivations for using pet wearables? ACI Kopo M. Ramokapane, Dirk van der Linden, Anna Zamansky
2019	J	`jnl`	Log My Dog: Perceived Impact of Dog Activity Tracking. Computer Anna Zamansky, Dirk van der Linden, Irit Hadar, Stephane Bleuer-Elsner
2019	J	`jnl`	On recent applications of paraconsistent logic: an exploratory literature review. J. Appl. Non Class. Logics Anna Zamansky
2019	J	`jnl`	Preface. FLAP Ofer Arieli, Anna Zamansky
2019	—	`conf`	Some might freak out: What if your dog's activity tracker were to have a data breach? ACI Dirk van der Linden, Emma J. Williams, Irit Hadar, Anna Zamansky
2019	J	`jnl`	The inconsistency between theory and practice in managing inconsistency in requirements engineering. Empir. Softw. Eng. Irit Hadar, Anna Zamansky, Daniel M. Berry
2019	—	`conf`	The not so secret life of pets: pet owners' privacy concerns for pet location data. ACI Dirk van der Linden, Brittany I. Davidson, Anna Zamansky
2019	C	`conf`	Towards Privacy-aware Software Reuse. MODELSWARD Iris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider
2019	J	`jnl`	What practitioners really want: requirements for visual notations in conceptual modeling. Softw. Syst. Model. Dirk van der Linden, Irit Hadar, Anna Zamansky
2019	—	`conf`	ZooJamming: Designing Beyond Human Experience. ICGJ Fiona French, Sofya Baskin, Reinhard Gupfinger, Sarah Webber, Anna Zamansky
2018	A	`conf`	A Behavior-Based Framework for Assessing Product Line-Ability. CAiSE Iris Reinhartz-Berger, Anna Zamansky
2018	J	`jnl`	Activity Trackers for Raising Guide Dogs: Challenges and Opportunities. IEEE Technol. Soc. Mag. Anna Zamansky, Dirk van der Linden
2018	—	`ed.`	Joint Proceedings of REFSQ-2018 Workshops, Doctoral Symposium, Live Studies Track, and Poster Track co-located with the 23rd International Conference on Requirements Engineering: Foundation for Software Quality (REFSQ 2018), Utrecht, The Netherlands, March 19, 2018. REFSQ Workshops Klaus Schmid, Paola Spoletini, Eya Ben Charrada, Yoram Chisik, Fabiano Dalpiaz, Alessio Ferrari, Peter Forbrig, Xavier Franch, Marite Kirikova, Nazim H. Madhavji, Cristina Palomares, Jolita Ralyté, Mehrdad Sabetzadeh, Pete Sawyer, Dirk van der Linden, Anna Zamansky
2018	J	`jnl`	Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. Bruno Bouchard, Kevin Bouchard, Noam Brown, Niyati Chhaya, Eitan Farchi, Sébastien Gaboury, Christopher W. Geib, Amelie Gyrard, Kokil Jaidka, Sarah Keren, Roni Khardon, Parisa Kordjamshidi, David R. Martinez, Nicholas Mattei, Martin Michalowski, Reuth Mirsky, Joseph C. Osborn, Cem Sahin, Onn Shehory, Arash Shaban-Nejad, Amit P. Sheth, Ilan Shimshoni, Howard E. Shrobe, Arunesh Sinha, Atanu R. Sinha, Biplav Srivastava, William W. Streilein, Georgios Theocharous, K. Brent Venable, Neal Wagner, Anna Zamansky
2018	B	`conf`	Towards Classification of Lightweight Formal Methods. ENASE Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
2018	J	`jnl`	Towards Classification of Lightweight Formal Methods. CoRR Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech
2017	—	`conf`	A Composition-Based Method for Combinatorial Test Design. ICST Workshops Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi
2017	A	`conf`	A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations. RE Dirk van der Linden, Anna Zamansky, Irit Hadar
2017	—	`conf`	A Report on the First International Workshop on Research Methods in Animal-Computer Interaction. CHI Extended Abstracts Anna Zamansky, Amanda Roshier, Clara Mancini, Emily C. Collins, Carol Hall, Katie Grillaert, Ann Morrison, Steve North, Hanna Wirman
2017	—	`conf`	Agile with Animals: Towards a Development Method. RE Workshops Dirk van der Linden, Anna Zamansky
2017	—	`conf`	Design-Time Analysis of Data Inaccuracy Awareness at Runtime. Business Process Management Workshops Yotam Evron, Pnina Soffer, Anna Zamansky
2017	—	`conf`	FarmJam 2017: Designing Enrichment for Farm Animals. ACI Fiona French, Sofya Baskin, Billy Wallace, Adrian David Cheok, Anna Zamansky, Eleonora Nannoni
2017	—	`conf`	Incorporating Data Inaccuracy Considerations in Process Models. BPMDS/EMMSAD@CAiSE Yotam Evron, Pnina Soffer, Anna Zamansky
2017	Misc	`conf`	Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions. CHI PLAY Anna Zamansky, Dirk van der Linden, Sofya Baskin, Vitaliya Kononova
2017	—	`conf`	K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior. ACI Shir Amir, Anna Zamansky, Dirk van der Linden
2017	J	`jnl`	Keeping logic in the trivium of computer science: a teaching perspective. Formal Methods Syst. Des. Johann A. Makowsky, Anna Zamansky
2017	—	`conf`	On the Requirement from Practice for Meaningful Variability in Visual Notation. BPMDS/EMMSAD@CAiSE Dirk van der Linden, Irit Hadar, Anna Zamansky
2017	A	`conf`	Pushing Boundaries of RE: Requirement Elicitation for Non-human Users. RE Anna Zamansky, Dirk van der Linden, Sofya Baskin
2017	—	`conf`	Teaching Animal-Computer Interaction: an Experience Report. ACI Anna Zamansky, Dirk van der Linden, Sofya Baskin
2017	J	`jnl`	Teaching Logic to Information Systems Student: A Student-centric Approach. FLAP Anna Zamansky
2017	—	`conf`	VarMeR - A Variability Mechanisms Recommender for Software Artifacts. CAiSE-Forum-DC Iris Reinhartz-Berger, Anna Zamansky
2017	—	`conf`	Visualizing Code Variabilities for Supporting Reuse Decisions. SCME-iStarT@ER Anna Zamansky, Iris Reinhartz-Berger
2016	—	`conf`	'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. CAiSE Workshops Anna Zamansky, Yoni Zohar
2016	—	`conf`	A Human-Centred Framework for Supporting Agile Model-Based Testing. CAiSE Forum Maria Spichkova, Anna Zamansky
2016	B	`conf`	A Human-centred Framework for Combinatorial Test Design. ENASE Maria Spichkova, Anna Zamansky
2016	—	`conf`	A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops Maria Spichkova, Anna Zamansky, Eitan Farchi
2016	J	`jnl`	A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. Ofer Arieli, Anna Zamansky
2016	B	`conf`	A paraconsistent view on B and S5. Advances in Modal Logic Arnon Avron, Anna Zamansky
2016	—	`conf`	AHR: Human-Centred Aspects of Test Design. ENASE (Selected Papers) Maria Spichkova, Anna Zamansky
2016	A	`conf`	An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. ER Iris Reinhartz-Berger, Anna Zamansky, Yair Wand
2016	—	`conf`	Dog-drone interactions: towards an ACI perspective. ACI Anna Zamansky
2016	—	`conf`	Exploring human perceptions of dog-tablet playful interactions. ACI Sofya Baskin, Anna Zamansky, Vitaliya Kononova
2016	—	`conf`	Exploring research methods for ACI (RM4ACI). ACI Anna Zamansky, Amanda Roshier
2016	J	`jnl`	Foreword. J. Log. Comput. Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky
2016	B	`conf`	Formal Methods in Collaborative Projects. ENASE Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova
2016	A	`conf`	Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. IJCAR Yoni Zohar, Anna Zamansky
2016	—	`conf`	How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations. BMMDS/EMMSAD Dirk van der Linden, Anna Zamansky, Irit Hadar
2016	J	`jnl`	Preface. Log. J. IGPL Ofer Arieli, Anna Zamansky
2016	B	`conf`	Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. ENASE Anna Zamansky, Irit Hadar, Daniel M. Berry
2016	J	`jnl`	Reasoning with graded information: The case of diagnostic rating scales in healthcare. Fuzzy Sets Syst. Thomas Vetterlein, Anna Zamansky
2016	B	`conf`	Teaching of Formal Methods for Software Engineering. ENASE Maria Spichkova, Anna Zamansky
2016	J	`jnl`	Toward characterization of playful ACI. Interactions Hanna Wirman, Anna Zamansky
2016	J	`jnl`	Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR Maria Spichkova, Anna Zamansky, Eitan Farchi
2016	A	`conf`	Towards a Marketplace of Visual Elements for Notation Design. RE Dirk van der Linden, Irit Hadar, Anna Zamansky
2015	J	`jnl`	A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. Ofer Arieli, Anna Zamansky
2015	—	`conf`	Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements. BMMDS/EMMSAD Iris Reinhartz-Berger, Anna Zamansky, Mark Kemelman
2015	A	`conf`	Cognitive factors in inconsistency management. RE Irit Hadar, Anna Zamansky
2015	J	`jnl`	Efficient reasoning with inconsistent information using C-systems. Inf. Sci. Arnon Avron, Beata Konikowska, Anna Zamansky
2015	—	`conf`	Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops Anna Zamansky, Eitan Farchi
2015	—	`conf`	Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops Anna Zamansky, Eitan Farchi
2015	C	`conf`	Serious Games: Is Your User Playing or Hunting? ICEC Sofya Baskin, Sharon Anavi-Goffer, Anna Zamansky
2015	A	`conf`	Taming Software Variability: Ontological Foundations of Variability Mechanisms. ER Iris Reinhartz-Berger, Anna Zamansky, Yair Wand
2015	J	`jnl`	Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR Anna Zamansky, Eitan Farchi
2015	Misc	`conf`	The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction. CHI PLAY Sofya Baskin, Anna Zamansky
2015	B	`conf`	Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS Maria Spichkova, Anna Zamansky, Eitan Farchi
2015	A	`conf`	Towards a general formal framework of Coherence Management in RE. RE Alexander Borgida, Ivan Jureta, Anna Zamansky
2015	—	`conf`	When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management. CAiSE Workshops Irit Hadar, Anna Zamansky
2014	—	`conf`	Context-Aware Distance Semantics for Inconsistent Database Systems. IPMU (2) Anna Zamansky, Ofer Arieli, Kostas Stefanidis
2014	J	`jnl`	Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
2013	Misc	`conf`	Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky
2013	J	`jnl`	Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. Arnon Avron, Beata Konikowska, Anna Zamansky
2013	J	`jnl`	Finite-valued Semantics for Canonical Labelled Calculi. J. Autom. Reason. Matthias Baaz, Ori Lahav, Anna Zamansky
2012	B	`conf`	A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. JELIA Anna Zamansky
2012	J	`jnl`	Canonical signed calculi with multi-ary quantifiers. Ann. Pure Appl. Log. Anna Zamansky, Arnon Avron
2012	A	`conf`	Effective Finite-Valued Semantics for Labelled Calculi. IJCAR Matthias Baaz, Ori Lahav, Anna Zamansky
2012	—	`conf`	Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. FoIKS Ofer Arieli, Anna Zamansky
2012	A*	`conf`	Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. LICS Arnon Avron, Beata Konikowska, Anna Zamansky
2011	J	`jnl`	A framework for reasoning under uncertainty based on non-deterministic distance semantics. Int. J. Approx. Reason. Ofer Arieli, Anna Zamansky
2011	B	`conf`	Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX Agata Ciabattoni, Ori Lahav, Anna Zamansky
2011	J	`jnl`	Ideal Paraconsistent Logics. Stud Logica Ofer Arieli, Arnon Avron, Anna Zamansky
2011	J	`jnl`	Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Stud Logica Ofer Arieli, Arnon Avron, Anna Zamansky
2011	J	`jnl`	Simplified forms of computerized reasoning with distance semantics. J. Appl. Log. Ofer Arieli, Anna Zamansky
2011	A*	`conf`	What Is an Ideal Logic for Reasoning with Inconsistency?. IJCAI Ofer Arieli, Arnon Avron, Anna Zamansky
2010	A*	`conf`	Maximally Paraconsistent Three-Valued Logics. KR Ofer Arieli, Arnon Avron, Anna Zamansky
2010	—	`conf`	Non-deterministic Multi-valued Logics--A Tutorial. ISMVL Arnon Avron, Anna Zamansky
2010	A*	`conf`	On Strong Maximality of Paraconsistent Finite-Valued Logics. LICS Arnon Avron, Ofer Arieli, Anna Zamansky
2010	B	`conf`	Similarity-Based Inconsistency-Tolerant Logics. JELIA Ofer Arieli, Anna Zamansky
2009	Misc	`conf`	Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR Arnon Avron, Agata Ciabattoni, Anna Zamansky
2009	Misc	`conf`	Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. LFCS Arnon Avron, Anna Zamansky
2009	J	`jnl`	Distance-based non-deterministic semantics for reasoning with uncertainty. Log. J. IGPL Ofer Arieli, Anna Zamansky
2009	C	`conf`	Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. ECSQARU Ofer Arieli, Anna Zamansky
2009	—	`—`	Non-deterministic multi-valued logics and their applications Anna Zamansky
2008	Misc	`conf`	A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. CSR Arnon Avron, Anna Zamansky
2008	J	`jnl`	Canonical Calculi with (n, k)-ary Quantifiers. Log. Methods Comput. Sci. Arnon Avron, Anna Zamansky
2008	J	`jnl`	Canonical calculi with (n,k)-ary quantifiers CoRR Arnon Avron, Anna Zamansky
2008	—	`conf`	Distance-Based Non-Deterministic Semantics. AGI Ofer Arieli, Anna Zamansky
2008	C	`conf`	Reasoning with Uncertainty by Nmatrix-Metric Semantics. WoLLIC Ofer Arieli, Anna Zamansky
2008	—	`conf`	Some Simplified Forms of Reasoning with Distance-Based Entailments. Canadian AI Ofer Arieli, Anna Zamansky
2007	J	`jnl`	Effective Non-deterministic Semantics for First-order LFIs. J. Multiple Valued Log. Soft Comput. Anna Zamansky, Arnon Avron
2007	Misc	`conf`	Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. LFCS Arnon Avron, Anna Zamansky
2007	—	`conf`	Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ISMVL Arnon Avron, Anna Zamansky
2006	J	`jnl`	A 'Natural Logic' inference system using the Lambek calculus. J. Log. Lang. Inf. Anna Zamansky, Nissim Francez, Yoad Winter
2006	A	`conf`	Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. IJCAR Anna Zamansky, Arnon Avron
2006	J	`jnl`	Cut-Elimination and Quantification in Canonical Systems. Stud Logica Anna Zamansky, Arnon Avron
2006	—	`conf`	Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Algebraic and Proof-theoretic Aspects of Non-classical Logics Arnon Avron, Anna Zamansky
2006	A*	`conf`	Non-Deterministic Semantics for First-Order Paraconsistent Logics. KR Anna Zamansky, Arnon Avron
2005	—	`conf`	Quantification in Non-Deterministic Multi-Valued Structures. ISMVL Arnon Avron, Anna Zamansky