Quantification in Non-Deterministic Multi-Valued Structures. - Arnon Avron; Anna Zamansky (ISMVL, 2005)

Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. - Arnon Avron; Anna Zamansky (Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006)

Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. - Anna Zamansky; Arnon Avron (IJCAR, 2006)

Non-Deterministic Semantics for First-Order Paraconsistent Logics. - Anna Zamansky; Arnon Avron (KR, 2006)

A 'Natural Logic' inference system using the Lambek calculus. - Anna Zamansky; Nissim Francez; Yoad Winter (J. Log. Lang. Inf., 2006)

Cut-Elimination and Quantification in Canonical Systems. - Anna Zamansky; Arnon Avron (Stud Logica, 2006)

Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. - Arnon Avron; Anna Zamansky (ISMVL, 2007)

Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. - Arnon Avron; Anna Zamansky (LFCS, 2007)

Effective Non-deterministic Semantics for First-order LFIs. - Anna Zamansky; Arnon Avron (J. Multiple Valued Log. Soft Comput., 2007)

Distance-Based Non-Deterministic Semantics. - Ofer Arieli; Anna Zamansky (AGI, 2008)

Some Simplified Forms of Reasoning with Distance-Based Entailments. - Ofer Arieli; Anna Zamansky (Canadian AI, 2008)

A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. - Arnon Avron; Anna Zamansky (CSR, 2008)

Reasoning with Uncertainty by Nmatrix-Metric Semantics. - Ofer Arieli; Anna Zamansky (WoLLIC, 2008)

Canonical Calculi with (n, k)-ary Quantifiers. - Arnon Avron; Anna Zamansky (Log. Methods Comput. Sci., 2008)

Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. - Arnon Avron; Agata Ciabattoni; Anna Zamansky (CSR, 2009)

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. - Ofer Arieli; Anna Zamansky (ECSQARU, 2009)

Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. - Arnon Avron; Anna Zamansky (LFCS, 2009)

Distance-based non-deterministic semantics for reasoning with uncertainty. - Ofer Arieli; Anna Zamansky (Log. J. IGPL, 2009)

Non-deterministic multi-valued logics and their applications - Anna Zamansky (2009)

Non-deterministic Multi-valued Logics–A Tutorial. - Arnon Avron; Anna Zamansky (ISMVL, 2010)

Similarity-Based Inconsistency-Tolerant Logics. - Ofer Arieli; Anna Zamansky (JELIA, 2010)

Maximally Paraconsistent Three-Valued Logics. - Ofer Arieli; Arnon Avron; Anna Zamansky (KR, 2010)

On Strong Maximality of Paraconsistent Finite-Valued Logics. - Arnon Avron; Ofer Arieli; Anna Zamansky (LICS, 2010)

What Is an Ideal Logic for Reasoning with Inconsistency?. - Ofer Arieli; Arnon Avron; Anna Zamansky (IJCAI, 2011)

Basic Constructive Connectives, Determinism and Matrix-Based Semantics. - Agata Ciabattoni; Ori Lahav 001; Anna Zamansky (TABLEAUX, 2011)

A framework for reasoning under uncertainty based on non-deterministic distance semantics. - Ofer Arieli; Anna Zamansky (Int. J. Approx. Reason., 2011)

Simplified forms of computerized reasoning with distance semantics. - Ofer Arieli; Anna Zamansky (J. Appl. Log., 2011)

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. - Ofer Arieli; Arnon Avron; Anna Zamansky (Stud Logica, 2011)

Ideal Paraconsistent Logics. - Ofer Arieli; Arnon Avron; Anna Zamansky (Stud Logica, 2011)

Effective Finite-Valued Semantics for Labelled Calculi. - Matthias Baaz; Ori Lahav 001; Anna Zamansky (IJCAR, 2012)

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. - Ofer Arieli; Anna Zamansky (FoIKS, 2012)

A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. - Anna Zamansky (JELIA, 2012)

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. - Arnon Avron; Beata Konikowska; Anna Zamansky (LICS, 2012)

Canonical signed calculi with multi-ary quantifiers. - Anna Zamansky; Arnon Avron (Ann. Pure Appl. Log., 2012)

Automated Support for the Investigation of Paraconsistent and Other Logics. - Agata Ciabattoni; Ori Lahav 001; Lara Spendier; Anna Zamansky (LFCS, 2013)

Finite-valued Semantics for Canonical Labelled Calculi. - Matthias Baaz; Ori Lahav 001; Anna Zamansky (J. Autom. Reason., 2013)

Cut-free sequent calculi for C-systems with generalized finite-valued semantics. - Arnon Avron; Beata Konikowska; Anna Zamansky (J. Log. Comput., 2013)

Context-Aware Distance Semantics for Inconsistent Database Systems. - Anna Zamansky; Ofer Arieli; Kostas Stefanidis (IPMU (2), 2014)

Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. - Agata Ciabattoni; Ori Lahav 001; Lara Spendier; Anna Zamansky (ACM Trans. Comput. Log., 2014)

When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management. - Irit Hadar; Anna Zamansky (CAiSE Workshops, 2015)

Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements. - Iris Reinhartz-Berger; Anna Zamansky; Mark Kemelman (BMMDS/EMMSAD, 2015)

The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction. - Sofya Baskin; Anna Zamansky (CHI PLAY, 2015)

Taming Software Variability: Ontological Foundations of Variability Mechanisms. - Iris Reinhartz-Berger; Anna Zamansky; Yair Wand (ER, 2015)

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. - Maria Spichkova; Anna Zamansky; Eitan Farchi (ICPADS, 2015)

Serious Games: Is Your User Playing or Hunting? - Sofya Baskin; Sharon Anavi-Goffer; Anna Zamansky (ICEC, 2015)

Towards a general formal framework of Coherence Management in RE. - Alexander Borgida; Ivan Jureta; Anna Zamansky (RE, 2015)

Cognitive factors in inconsistency management. - Irit Hadar; Anna Zamansky (RE, 2015)

Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. - Anna Zamansky; Eitan Farchi (SEFM Workshops, 2015)

Exploring the Role of Logic and Formal Methods in Information Systems Education. - Anna Zamansky; Eitan Farchi (SEFM Workshops, 2015)

A dissimilarity-based framework for generating inconsistency-tolerant logics. - Ofer Arieli; Anna Zamansky (Ann. Math. Artif. Intell., 2015)

Teaching Logic to Information Systems Students: Challenges and Opportunities. - Anna Zamansky; Eitan Farchi (CoRR, 2015)

Efficient reasoning with inconsistent information using C-systems. - Arnon Avron; Beata Konikowska; Anna Zamansky (Inf. Sci., 2015)

A paraconsistent view on B and S5. - Arnon Avron; Anna Zamansky (Advances in Modal Logic, 2016)

Exploring human perceptions of dog-tablet playful interactions. - Sofya Baskin; Anna Zamansky; Vitaliya Kononova (ACI, 2016)

Dog-drone interactions: towards an ACI perspective. - Anna Zamansky (ACI, 2016)

Exploring research methods for ACI (RM4ACI). - Anna Zamansky; Amanda Roshier (ACI, 2016)

Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. - Yoni Zohar; Anna Zamansky (IJCAR, 2016)

How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations. - Dirk van der Linden; Anna Zamansky; Irit Hadar (BMMDS/EMMSAD, 2016)

A Human-Centred Framework for Supporting Agile Model-Based Testing. - Maria Spichkova; Anna Zamansky (CAiSE Forum, 2016)

A Visual Logical Language for System Modelling in Combinatorial Test Design. - Maria Spichkova; Anna Zamansky; Eitan Farchi (CAiSE Workshops, 2016)

'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. - Anna Zamansky; Yoni Zohar (CAiSE Workshops, 2016)

A Human-centred Framework for Combinatorial Test Design. - Maria Spichkova; Anna Zamansky (ENASE, 2016)

Teaching of Formal Methods for Software Engineering. - Maria Spichkova; Anna Zamansky (ENASE, 2016)

AHR: Human-Centred Aspects of Test Design. - Maria Spichkova; Anna Zamansky (ENASE (Selected Papers), 2016)

Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. - Anna Zamansky; Irit Hadar; Daniel M. Berry (ENASE, 2016)

Formal Methods in Collaborative Projects. - Anna Zamansky; Guillermo Rodríguez-Navas; Mark Adams; Maria Spichkova (ENASE, 2016)

An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. - Iris Reinhartz-Berger; Anna Zamansky; Yair Wand (ER, 2016)

Towards a Marketplace of Visual Elements for Notation Design. - Dirk van der Linden; Irit Hadar; Anna Zamansky (RE, 2016)

A graded approach to database repair by context-aware distance semantics. - Ofer Arieli; Anna Zamansky (Fuzzy Sets Syst., 2016)

Reasoning with graded information: The case of diagnostic rating scales in healthcare. - Thomas Vetterlein; Anna Zamansky (Fuzzy Sets Syst., 2016)

Toward characterization of playful ACI. - Hanna Wirman; Anna Zamansky (Interactions, 2016)

Foreword. - Ofer Arieli; Beata Konikowska; Alexander Rabinovich; Anna Zamansky (J. Log. Comput., 2016)

K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior. - Shir Amir; Anna Zamansky; Dirk van der Linden (ACI, 2017)

FarmJam 2017: Designing Enrichment for Farm Animals. - Fiona French; Sofya Baskin; Billy Wallace; Adrian David Cheok; Anna Zamansky; Eleonora Nannoni (ACI, 2017)

Teaching Animal-Computer Interaction: an Experience Report. - Anna Zamansky; Dirk van der Linden; Sofya Baskin (ACI, 2017)

Design-Time Analysis of Data Inaccuracy Awareness at Runtime. - Yotam Evron; Pnina Soffer; Anna Zamansky (Business Process Management Workshops, 2017)

Incorporating Data Inaccuracy Considerations in Process Models. - Yotam Evron; Pnina Soffer; Anna Zamansky (BPMDS/EMMSAD@CAiSE, 2017)

On the Requirement from Practice for Meaningful Variability in Visual Notation. - Dirk van der Linden; Irit Hadar; Anna Zamansky (BPMDS/EMMSAD@CAiSE, 2017)

VarMeR - A Variability Mechanisms Recommender for Software Artifacts. - Iris Reinhartz-Berger; Anna Zamansky (CAiSE-Forum-DC, 2017)

A Report on the First International Workshop on Research Methods in Animal-Computer Interaction. - Anna Zamansky; Amanda Roshier; Clara Mancini; Emily C. Collins 001; Carol Hall; Katie Grillaert; Ann Morrison; Steve North; Hanna Wirman (CHI Extended Abstracts, 2017)

Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions. - Anna Zamansky; Dirk van der Linden; Sofya Baskin; Vitaliya Kononova (CHI PLAY, 2017)

Visualizing Code Variabilities for Supporting Reuse Decisions. - Anna Zamansky; Iris Reinhartz-Berger (SCME-iStarT@ER, 2017)

A Composition-Based Method for Combinatorial Test Design. - Anna Zamansky; Amir Shwartz; Seri Khoury; Eitan Farchi (ICST Workshops, 2017)

Agile with Animals: Towards a Development Method. - Dirk van der Linden; Anna Zamansky (RE Workshops, 2017)

A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations. - Dirk van der Linden; Anna Zamansky; Irit Hadar (RE, 2017)

Pushing Boundaries of RE: Requirement Elicitation for Non-human Users. - Anna Zamansky; Dirk van der Linden; Sofya Baskin (RE, 2017)

Teaching Logic to Information Systems Student: A Student-centric Approach. - Anna Zamansky (FLAP, 2017)

Keeping logic in the trivium of computer science: a teaching perspective. - Johann A. Makowsky; Anna Zamansky (Formal Methods Syst. Des., 2017)

A Behavior-Based Framework for Assessing Product Line-Ability. - Iris Reinhartz-Berger; Anna Zamansky (CAiSE, 2018)

Towards Classification of Lightweight Formal Methods. - Anna Zamansky; Maria Spichkova; Guillermo Rodríguez-Navas; Peter Herrmann; Jan Olaf Blech (ENASE, 2018)

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. - Bruno Bouchard 001; Kevin Bouchard; Noam Brown; Niyati Chhaya; Eitan Farchi; Sébastien Gaboury; Christopher W. Geib; Amelie Gyrard; Kokil Jaidka; Sarah Keren; Roni Khardon; Parisa Kordjamshidi; et al. (AI Mag., 2018)

Activity Trackers for Raising Guide Dogs: Challenges and Opportunities. - Anna Zamansky; Dirk van der Linden (IEEE Technol. Soc. Mag., 2018)

A Set-based Logical Language for Specification of Combinatorial Models. - Anna Zamansky; Maria Spichkova (ACSW, 2019)

The not so secret life of pets: pet owners' privacy concerns for pet location data. - Dirk van der Linden; Brittany I. Davidson; Anna Zamansky (ACI, 2019)

Some might freak out: What if your dog's activity tracker were to have a data breach? - Dirk van der Linden; Emma J. Williams; Irit Hadar; Anna Zamansky (ACI, 2019)

Does my dog really need a gadget?: What can we learn from pet owners' amotivations for using pet wearables? - Kopo M. Ramokapane; Dirk van der Linden; Anna Zamansky (ACI, 2019)

Animal Health Informatics: Towards a Generic Framework for Automatic Behavior Analysis Position Paper. - Dmitrij I. Kaplun; Aleksandr Sinitca; Anna Zamansky; Stephane Bleuer-Elsner; Michael Plazner; Asaf Fux; Dirk van der Linden (HEALTHINF, 2019)

Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. - Yoni Zohar; Dmitry Tishkovsky; Renate A. Schmidt; Anna Zamansky (Description Logic, Theory Combination, and All That, 2019)

Automatic Estimation of Dog Age: The DogAge Dataset and Challenge. - Anna Zamansky; Aleksandr Sinitca; Dmitry I. Kaplun; Luisa M. L. Dutra; Robert J. Young (ICANN (3), 2019)

Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks. - Anna Zamansky; Aleksandr Sinitca; Dmitry I. Kaplun; Michael Plazner; Ivana G. Schork; Robert J. Young; Cristiano S. de Azevedo (ICANN (3), 2019)

ZooJamming: Designing Beyond Human Experience. - Fiona French; Sofya Baskin; Reinhard Gupfinger; Sarah Webber; Anna Zamansky (ICGJ, 2019)

Towards Privacy-aware Software Reuse. - Iris Reinhartz-Berger; Anna Zamansky; Agnes Koschmider (MODELSWARD, 2019)

Log My Dog: Perceived Impact of Dog Activity Tracking. - Anna Zamansky; Dirk van der Linden; Irit Hadar; Stephane Bleuer-Elsner (Computer, 2019)

The inconsistency between theory and practice in managing inconsistency in requirements engineering. - Irit Hadar; Anna Zamansky; Daniel M. Berry (Empir. Softw. Eng., 2019)

Preface. - Ofer Arieli; Anna Zamansky (FLAP, 2019)

Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables. - Dirk van der Linden; Anna Zamansky; Irit Hadar; Barnaby Craggs; Awais Rashid (IEEE Secur. Priv., 2019)

On recent applications of paraconsistent logic: an exploratory literature review. - Anna Zamansky (J. Appl. Non Class. Logics, 2019)

Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era. - Dirk van der Linden; Anna Zamansky; Irit Hadar; Barnaby Craggs (J. Ind. Inf. Integr., 2019)

What practitioners really want: requirements for visual notations in conceptual modeling. - Dirk van der Linden; Irit Hadar; Anna Zamansky (Softw. Syst. Model., 2019)

Who Moved My Culture?: Expanding Anthropological Perspectives in ACI. - Orit Hirsch-Matsioulas; Anna Zamansky (ACI, 2020)

Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns. - Tom Menaker; Anna Zamansky; Dirk van der Linden; Dmitry I. Kaplun; Aleksandr Sinitica; Sabrina Karl; Ludwig Huber (ACI, 2020)

Paraconsistency, self-extensionality, modality. - Arnon Avron; Anna Zamansky (Log. J. IGPL, 2020)

Pets without PETs: on pet owners' under-estimation of privacy concerns in pet wearables. - Dirk van der Linden; Matthew Edwards 001; Irit Hadar; Anna Zamansky (Proc. Priv. Enhancing Technol., 2020)

Cybersecurity for Smart Farming: Socio-Cultural Context Matters. - Dirk van der Linden; Ola Aleksandra Michalec; Anna Zamansky (IEEE Technol. Soc. Mag., 2020)

Exploring Digitalization of Animal-Assisted Reading. - Daphna Golan-Shemesh; Tsippy Lotan; Yana Zadorozhnaya; Anna Zamansky; Tamar Brilant; Kira Ablamunits; Dirk van der Linden (ACI, 2021)

Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. - Dirk van der Linden; Hava Dayan; Anna Zamansky; Irit Hadar (BPMDS/EMMSAD@CAiSE, 2021)

Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection. - 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 (MindTrek, 2021)

Do AI Models "Like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models. - Marcelo Feighelstein; Einat Kovalyo; Jennifer Abrams; Sarah-Elisabeth Byosiere; Anna Zamansky (ACI, 2022)

How Can Technology Support Dog Shelters in Behavioral Assessment: an Exploratory Study. - Yael Hazan; Orit Hirsch-Matsioulas; Dirk van der Linden; Anna Zamansky (ACI, 2022)

Model-based Analysis of Data Inaccuracy Awareness in Business Processes. - Yotam Evron; Pnina Soffer; Anna Zamansky (Bus. Inf. Syst. Eng., 2022)

On the role of technology in human-dog relationships: a future filled with dreams or nightmares? - Dirk van der Linden; Brittany I. Davidson; Orit Hirsch-Matsioulas; Anna Zamansky (CoRR, 2022)

Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. - Tali Boneh-Shitrit; Shir Amir; Annika Bremhorst; Daniel S. Mills; Stefanie Riemer; Dror Fried; Anna Zamansky (CoRR, 2022)

Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States. - Sofia Broomé; Marcelo Feighelstein; Anna Zamansky; Gabriel Carreira Lencioni; Pia Haubro Andersen; Francisca Pessanha; Marwa Mahmoud; Hedvig Kjellström; Albert Ali Salah (CoRR, 2022)

Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms. - Iris Reinhartz-Berger; Anna Zamansky (IEEE Trans. Software Eng., 2022)

CatFLW: Cat Facial Landmarks in the Wild Dataset. - George Martvel; Nareed Farhat; Ilan Shimshoni; Anna Zamansky (CoRR, 2023)

BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States. - Dinu Gavojdian; Teddy Lazebnik; Madalina Mincu; Ariel Oren; Ioana Nicolae; Anna Zamansky (CoRR, 2023)

Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine. - Nareed Farhat; Teddy Lazebnik; Joke Monteny; Christel Palmyre Henri Moons; Eline Wydooghe; Dirk van der Linden; Anna Zamansky (CoRR, 2023)

Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data. - Jennifer Magana; Dinu Gavojdian; Yakir Menachem; Teddy Lazebnik; Anna Zamansky; Amber Adams-Progar (CoRR, 2023)

Going Deeper than Tracking: A Survey of Computer-Vision Based Recognition of Animal Pain and Emotions. - Sofia Broomé; Marcelo Feighelstein; Anna Zamansky; Gabriel Carreira Lencioni; Pia Haubro Andersen; Francisca Pessanha; Marwa Mahmoud; Hedvig Kjellström; Albert Ali Salah (Int. J. Comput. Vis., 2023)

Anticipating Data Inaccuracy Consequences in Business Processes: an Empirical Study. - Yotam Evron; Pnina Soffer; Anna Zamansky (BPM, 2024)

Inter-instance Data Impacts in Business Processes: A Model-based Analysis. - Yotam Evron; Arava Tsoury; Anna Zamansky; Iris Reinhartz-Berger; Pnina Soffer (CoRR, 2024)

DogFLW: Dog Facial Landmarks in the Wild Dataset. - George Martvel; Greta Abele; Annika Bremhorst; Chiara Canori; Nareed Farhat; Giulia Pedretti; Ilan Shimshoni; Anna Zamansky (CoRR, 2024)

Automated Detection of Cat Facial Landmarks. - George Martvel; Ilan Shimshoni; Anna Zamansky (Int. J. Comput. Vis., 2024)

Semantic Style Transfer for Enhancing Animal Facial Landmark Detection. - Anadil Hussein; Anna Zamansky; George Martvel (CoRR, 2025)

Canine Clinical Gait Analysis for Orthopedic and Neurological Disorders: An Inertial Deep-Learning Approach. - Netta Palez; Léonie Straß; Sebastian Meller; Holger A. Volk; Anna Zamansky; Itzik Klein (CoRR, 2025)