Anna Zamansky

Orcid: 0000-0001-8350-4068

According to our database1, Anna Zamansky authored at least 133 papers between 2005 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Automated Detection of Cat Facial Landmarks.
Int. J. Comput. Vis., August, 2024

DogFLW: Dog Facial Landmarks in the Wild Dataset.
CoRR, 2024

Inter-instance Data Impacts in Business Processes: A Model-based Analysis.
CoRR, 2024

Anticipating Data Inaccuracy Consequences in Business Processes: an Empirical Study.
Proceedings of the Business Process Management - 22nd International Conference, 2024

2023
Going Deeper than Tracking: A Survey of Computer-Vision Based Recognition of Animal Pain and Emotions.
Int. J. Comput. Vis., 2023

Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data.
CoRR, 2023

Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine.
CoRR, 2023

BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States.
CoRR, 2023

CatFLW: Cat Facial Landmarks in the Wild Dataset.
CoRR, 2023

2022
Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms.
IEEE Trans. Software Eng., 2022

Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States.
CoRR, 2022

Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions.
CoRR, 2022

On the role of technology in human-dog relationships: a future filled with dreams or nightmares?
CoRR, 2022

Model-based Analysis of Data Inaccuracy Awareness in Business Processes.
Bus. Inf. Syst. Eng., 2022

How Can Technology Support Dog Shelters in Behavioral Assessment: an Exploratory Study.
Proceedings of the Ninth International Conference on Animal-Computer Interaction, 2022

Do AI Models "Like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models.
Proceedings of the Ninth International Conference on Animal-Computer Interaction, 2022

2021
Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection.
Proceedings of the Mindtrek '21: Academic Mindtrek 2021, 2021

Murder, She Modeled: Modeling to Support Crimino-Forensic Processes.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2021

Exploring Digitalization of Animal-Assisted Reading.
Proceedings of the ACI'21: Eight International Conference on Animal-Computer Interaction, Bloomington, IN, USA, November 8, 2021

2020
Cybersecurity for Smart Farming: Socio-Cultural Context Matters.
IEEE Technol. Soc. Mag., 2020

Pets without PETs: on pet owners' under-estimation of privacy concerns in pet wearables.
Proc. Priv. Enhancing Technol., 2020

Paraconsistency, self-extensionality, modality.
Log. J. IGPL, 2020

Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns.
Proceedings of the ACI'2020: Seventh International Conference on Animal-Computer Interaction, 2020

Who Moved My Culture?: Expanding Anthropological Perspectives in ACI.
Proceedings of the ACI'2020: Seventh International Conference on Animal-Computer Interaction, 2020

2019
What practitioners really want: requirements for visual notations in conceptual modeling.
Softw. Syst. Model., 2019

Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era.
J. Ind. Inf. Integr., 2019

On recent applications of paraconsistent logic: an exploratory literature review.
J. Appl. Non Class. Logics, 2019

Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables.
IEEE Secur. Priv., 2019

Preface.
FLAP, 2019

The inconsistency between theory and practice in managing inconsistency in requirements engineering.
Empir. Softw. Eng., 2019

Log My Dog: Perceived Impact of Dog Activity Tracking.
Computer, 2019

Towards Privacy-aware Software Reuse.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

ZooJamming: Designing Beyond Human Experience.
Proceedings of the International Conference on Game Jams, 2019

Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Automatic Estimation of Dog Age: The DogAge Dataset and Challenge.
Proceedings of the Artificial Neural Networks and Machine Learning - ICANN 2019: Image Processing, 2019

Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools.
Proceedings of the Description Logic, Theory Combination, and All That, 2019

Animal Health Informatics: Towards a Generic Framework for Automatic Behavior Analysis Position Paper.
Proceedings of the 12th International Joint Conference on Biomedical Engineering Systems and Technologies (BIOSTEC 2019), 2019

Does my dog really need a gadget?: What can we learn from pet owners' amotivations for using pet wearables?
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019

Some might freak out: What if your dog's activity tracker were to have a data breach?
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019

The not so secret life of pets: pet owners' privacy concerns for pet location data.
Proceedings of the ACI'19: Sixth International Conference on Animal-Computer Interaction, 2019

A Set-based Logical Language for Specification of Combinatorial Models.
Proceedings of the Australasian Computer Science Week Multiconference, 2019

2018
Activity Trackers for Raising Guide Dogs: Challenges and Opportunities.
IEEE Technol. Soc. Mag., 2018

Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence.
AI Mag., 2018

Towards Classification of Lightweight Formal Methods.
Proceedings of the 13th International Conference on Evaluation of Novel Approaches to Software Engineering, 2018

A Behavior-Based Framework for Assessing Product Line-Ability.
Proceedings of the Advanced Information Systems Engineering, 2018

2017
Keeping logic in the trivium of computer science: a teaching perspective.
Formal Methods Syst. Des., 2017

Teaching Logic to Information Systems Student: A Student-centric Approach.
FLAP, 2017

Pushing Boundaries of RE: Requirement Elicitation for Non-human Users.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations.
Proceedings of the 25th IEEE International Requirements Engineering Conference, 2017

Agile with Animals: Towards a Development Method.
Proceedings of the IEEE 25th International Requirements Engineering Conference Workshops, 2017

A Composition-Based Method for Combinatorial Test Design.
Proceedings of the 2017 IEEE International Conference on Software Testing, 2017

Visualizing Code Variabilities for Supporting Reuse Decisions.
Proceedings of the 5th Symposium on Conceptual Modeling Education and the 2nd International iStar Teaching Workshop co-located with the 36th International Conference on Conceptual Modeling (ER 2017), 2017

Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions.
Proceedings of the Annual Symposium on Computer-Human Interaction in Play, 2017

A Report on the First International Workshop on Research Methods in Animal-Computer Interaction.
Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems, 2017

VarMeR - A Variability Mechanisms Recommender for Software Artifacts.
Proceedings of the Forum and Doctoral Consortium Papers Presented at the 29th International Conference on Advanced Information Systems Engineering, 2017

On the Requirement from Practice for Meaningful Variability in Visual Notation.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

Incorporating Data Inaccuracy Considerations in Process Models.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2017

Design-Time Analysis of Data Inaccuracy Awareness at Runtime.
Proceedings of the Business Process Management Workshops, 2017

Teaching Animal-Computer Interaction: an Experience Report.
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

FarmJam 2017: Designing Enrichment for Farm Animals.
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior.
Proceedings of the Fourth International Conference on Animal-Computer Interaction, 2017

2016
Foreword.
J. Log. Comput., 2016

Toward characterization of playful ACI.
Interactions, 2016

Reasoning with graded information: The case of diagnostic rating scales in healthcare.
Fuzzy Sets Syst., 2016

A graded approach to database repair by context-aware distance semantics.
Fuzzy Sets Syst., 2016

Towards a Marketplace of Visual Elements for Notation Design.
Proceedings of the 24th IEEE International Requirements Engineering Conference, 2016

An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation.
Proceedings of the Conceptual Modeling - 35th International Conference, 2016

Formal Methods in Collaborative Projects.
Proceedings of the ENASE 2016, 2016

Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff.
Proceedings of the ENASE 2016, 2016

AHR: Human-Centred Aspects of Test Design.
Proceedings of the Evaluation of Novel Approaches to Software Engineering, 2016

Teaching of Formal Methods for Software Engineering.
Proceedings of the ENASE 2016, 2016

A Human-centred Framework for Combinatorial Test Design.
Proceedings of the ENASE 2016, 2016

'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

A Visual Logical Language for System Modelling in Combinatorial Test Design.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

A Human-Centred Framework for Supporting Agile Model-Based Testing.
Proceedings of the CAiSE'16 Forum, 2016

How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2016

Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi.
Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

Exploring research methods for ACI (RM4ACI).
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016

Dog-drone interactions: towards an ACI perspective.
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016

Exploring human perceptions of dog-tablet playful interactions.
Proceedings of the Third International Conference on Animal-Computer Interaction, 2016

A paraconsistent view on B and S5.
Proceedings of the Advances in Modal Logic 11, 2016

2015
Efficient reasoning with inconsistent information using C-systems.
Inf. Sci., 2015

Teaching Logic to Information Systems Students: Challenges and Opportunities.
CoRR, 2015

A dissimilarity-based framework for generating inconsistency-tolerant logics.
Ann. Math. Artif. Intell., 2015

Exploring the Role of Logic and Formal Methods in Information Systems Education.
Proceedings of the Software Engineering and Formal Methods, 2015

Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design.
Proceedings of the Software Engineering and Formal Methods, 2015

Cognitive factors in inconsistency management.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Towards a general formal framework of Coherence Management in RE.
Proceedings of the 23rd IEEE International Requirements Engineering Conference, 2015

Serious Games: Is Your User Playing or Hunting?
Proceedings of the Entertainment Computing - ICEC 2015 - 14th International Conference, 2015

Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems.
Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Taming Software Variability: Ontological Foundations of Variability Mechanisms.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction.
Proceedings of the 2015 Annual Symposium on Computer-Human Interaction in Play, 2015

Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements.
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2015

When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management.
Proceedings of the Advanced Information Systems Engineering Workshops, 2015

2014
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach.
ACM Trans. Comput. Log., 2014

Context-Aware Distance Semantics for Inconsistent Database Systems.
Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

2013
Cut-free sequent calculi for C-systems with generalized finite-valued semantics.
J. Log. Comput., 2013

Finite-valued Semantics for Canonical Labelled Calculi.
J. Autom. Reason., 2013

Automated Support for the Investigation of Paraconsistent and Other Logics.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2013

2012
Canonical signed calculi with multi-ary quantifiers.
Ann. Pure Appl. Log., 2012

Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics.
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012

A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information.
Proceedings of the Logics in Artificial Intelligence - 13th European Conference, 2012

Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities.
Proceedings of the Foundations of Information and Knowledge Systems, 2012

Effective Finite-Valued Semantics for Labelled Calculi.
Proceedings of the Automated Reasoning - 6th International Joint Conference, 2012

2011
Ideal Paraconsistent Logics.
Stud Logica, 2011

Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
Stud Logica, 2011

Simplified forms of computerized reasoning with distance semantics.
J. Appl. Log., 2011

A framework for reasoning under uncertainty based on non-deterministic distance semantics.
Int. J. Approx. Reason., 2011

Basic Constructive Connectives, Determinism and Matrix-Based Semantics.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011

What Is an Ideal Logic for Reasoning with Inconsistency?.
Proceedings of the IJCAI 2011, 2011

2010
On Strong Maximality of Paraconsistent Finite-Valued Logics.
Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

Maximally Paraconsistent Three-Valued Logics.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Similarity-Based Inconsistency-Tolerant Logics.
Proceedings of the Logics in Artificial Intelligence - 12th European Conference, 2010

Non-deterministic Multi-valued Logics--A Tutorial.
Proceedings of the 40th IEEE International Symposium on Multiple-Valued Logic, 2010

2009
Non-deterministic multi-valued logics and their applications
PhD thesis, 2009

Distance-based non-deterministic semantics for reasoning with uncertainty.
Log. J. IGPL, 2009

Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2009

Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.
Proceedings of the Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 2009

Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.
Proceedings of the Computer Science, 2009

2008
Canonical Calculi with (n, k)-ary Quantifiers.
Log. Methods Comput. Sci., 2008

Reasoning with Uncertainty by Nmatrix-Metric Semantics.
Proceedings of the Logic, 2008

A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
Proceedings of the Computer Science, 2008

Some Simplified Forms of Reasoning with Distance-Based Entailments.
Proceedings of the Advances in Artificial Intelligence , 2008

Distance-Based Non-Deterministic Semantics.
Proceedings of the Artificial General Intelligence 2008, 2008

2007
Effective Non-deterministic Semantics for First-order LFIs.
J. Multiple Valued Log. Soft Comput., 2007

Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
Proceedings of the Logical Foundations of Computer Science, International Symposium, 2007

Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.
Proceedings of the 37th International Symposium on Multiple-Valued Logic, 2007

2006
Cut-Elimination and Quantification in Canonical Systems.
Stud Logica, 2006

A 'Natural Logic' inference system using the Lambek calculus.
J. Log. Lang. Inf., 2006

Non-Deterministic Semantics for First-Order Paraconsistent Logics.
Proceedings of the Proceedings, 2006

Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.
Proceedings of the Automated Reasoning, Third International Joint Conference, 2006

Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency.
Proceedings of the Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006

2005
Quantification in Non-Deterministic Multi-Valued Structures.
Proceedings of the 35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 2005


  Loading...