default search action

combined dblp search
author search
venue search
publication search

ask others

Anna Zamansky

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j38]
- view
  authority control:
- export record
  dblp key:
  - journals/ijcv/MartvelSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcv/MartvelSZ24
George Martvel, Ilan Shimshoni, Anna Zamansky:
Automated Detection of Cat Facial Landmarks. Int. J. Comput. Vis. 132(8): 3103-3118 (2024)
[c85]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/EvronSZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/EvronSZ24
Yotam Evron, Pnina Soffer, Anna Zamansky:
Anticipating Data Inaccuracy Consequences in Business Processes: an Empirical Study. BPM 2024: 439-455
[i14]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2401-16584
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2401-16584
Yotam Evron, Arava Tsoury, Anna Zamansky, Iris Reinhartz-Berger, Pnina Soffer:
Inter-instance Data Impacts in Business Processes: A Model-based Analysis. CoRR abs/2401.16584 (2024)
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2405-11501
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2405-11501
George Martvel, Greta Abele, Annika Bremhorst, Chiara Canori, Nareed Farhat, Giulia Pedretti, Ilan Shimshoni, Anna Zamansky:
DogFLW: Dog Facial Landmarks in the Wild Dataset. CoRR abs/2405.11501 (2024)
2023
[j37]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijcv/BroomeFZLAPMKS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijcv/BroomeFZLAPMKS23
Sofia Broomé, Marcelo Feighelstein, Anna Zamansky, Gabriel Carreira Lencioni, Pia Haubro Andersen, Francisca Pessanha, Marwa Mahmoud, Hedvig Kjellström, Albert Ali Salah:
Going Deeper than Tracking: A Survey of Computer-Vision Based Recognition of Animal Pain and Emotions. Int. J. Comput. Vis. 131(2): 572-590 (2023)
[i12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-04232
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-04232
George Martvel, Nareed Farhat, Ilan Shimshoni, Anna Zamansky:
CatFLW: Cat Facial Landmarks in the Wild Dataset. CoRR abs/2305.04232 (2023)
[i11]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2307-13994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2307-13994
Dinu Gavojdian, Teddy Lazebnik, Madalina Mincu, Ariel Oren, Ioana Nicolae, Anna Zamansky:
BovineTalk: Machine Learning for Vocalization Analysis of Dairy Cattle under Negative Affective States. CoRR abs/2307.13994 (2023)
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-06269
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-06269
Nareed Farhat, Teddy Lazebnik, Joke Monteny, Christel Palmyre Henri Moons, Eline Wydooghe, Dirk van der Linden, Anna Zamansky:
Digitally-Enhanced Dog Behavioral Testing: Getting Help from the Machine. CoRR abs/2308.06269 (2023)
[i9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-10010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-10010
Jennifer Magana, Dinu Gavojdian, Yakir Menachem, Teddy Lazebnik, Anna Zamansky, Amber Adams-Progar:
Machine Learning Approaches to Predict and Detect Early-Onset of Digital Dermatitis in Dairy Cows using Sensor Data. CoRR abs/2309.10010 (2023)
[i8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2310-09793
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2310-09793
George Martvel, Ilan Shimshoni, Anna Zamansky:
Automated Detection of Cat Facial Landmarks. CoRR abs/2310.09793 (2023)
2022
[j36]
- view
  authority control:
- export record
  dblp key:
  - journals/bise/EvronSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/bise/EvronSZ22
Yotam Evron, Pnina Soffer, Anna Zamansky:
Model-based Analysis of Data Inaccuracy Awareness in Business Processes. Bus. Inf. Syst. Eng. 64(2): 183-200 (2022)
[j35]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Reinhartz-Berger22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Reinhartz-Berger22
Iris Reinhartz-Berger, Anna Zamansky:
Reuse of Similarly Behaving Software Through Polymorphism-Inspired Variability Mechanisms. IEEE Trans. Software Eng. 48(3): 773-785 (2022)
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/FeighelsteinKAB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/FeighelsteinKAB22
Marcelo Feighelstein, Einat Kovalyo, Jennifer Abrams, Sarah-Elisabeth Byosiere, Anna Zamansky:
Do AI Models "Like" Black Dogs? Towards Exploring Perceptions of Dogs with Vision-Language Models. ACI 2022: 7:1-7:6
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/HazanHLZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/HazanHLZ22
Yael Hazan, Orit Hirsch-Matsioulas, Dirk van der Linden, Anna Zamansky:
How Can Technology Support Dog Shelters in Behavioral Assessment: an Exploratory Study. ACI 2022: 8:1-8:4
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2202-02030
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2202-02030
Dirk van der Linden, Brittany I. Davidson, Orit Hirsch-Matsioulas, Anna Zamansky:
On the role of technology in human-dog relationships: a future filled with dreams or nightmares? CoRR abs/2202.02030 (2022)
[i6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-05619
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-05619
Tali Boneh-Shitrit, Shir Amir, Annika Bremhorst, Daniel S. Mills, Stefanie Riemer, Dror Fried, Anna Zamansky:
Deep Learning Models for Automated Classification of Dog Emotional States from Facial Expressions. CoRR abs/2206.05619 (2022)
[i5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-08405
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-08405
Sofia Broomé, Marcelo Feighelstein, Anna Zamansky, Gabriel Carreira Lencioni, Pia Haubro Andersen, Francisca Pessanha, Marwa Mahmoud, Hedvig Kjellström, Albert Ali Salah:
Going Deeper than Tracking: a Survey of Computer-Vision Based Recognition of Animal Pain and Affective States. CoRR abs/2206.08405 (2022)
2021
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/Golan-ShemeshLZ21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/Golan-ShemeshLZ21
Daphna Golan-Shemesh, Tsippy Lotan, Yana Zadorozhnaya, Anna Zamansky, Tamar Brilant, Kira Ablamunits, Dirk van der Linden:
Exploring Digitalization of Animal-Assisted Reading. ACI 2021: 4:1-4:8
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/LindenDZH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/LindenDZH21
Dirk van der Linden, Hava Dayan, Anna Zamansky, Irit Hadar:
Murder, She Modeled: Modeling to Support Crimino-Forensic Processes. BPMDS/EMMSAD@CAiSE 2021: 318-331
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/mindtrek/FrenchHVPKCNZMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mindtrek/FrenchHVPKCNZMP21
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:
Ethics and Power Dynamics in Playful Technology for Animals: Using speculative design to provoke reflection. MindTrek 2021: 91-101
2020
[j34]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/AvronZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/AvronZ20
Arnon Avron, Anna Zamansky:
Paraconsistency, self-extensionality, modality. Log. J. IGPL 28(5): 851-880 (2020)
[j33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/popets/LindenEHZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/popets/LindenEHZ20
Dirk van der Linden, Matthew Edwards, Irit Hadar, Anna Zamansky:
Pets without PETs: on pet owners' under-estimation of privacy concerns in pet wearables. Proc. Priv. Enhancing Technol. 2020(1): 143-164 (2020)
[j32]
- view
  authority control:
- export record
  dblp key:
  - journals/tasm/LindenMZ20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tasm/LindenMZ20
Dirk van der Linden, Ola Aleksandra Michalec, Anna Zamansky:
Cybersecurity for Smart Farming: Socio-Cultural Context Matters. IEEE Technol. Soc. Mag. 39(4): 28-35 (2020)
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/Hirsch-Matsioulas20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/Hirsch-Matsioulas20
Orit Hirsch-Matsioulas, Anna Zamansky:
Who Moved My Culture?: Expanding Anthropological Perspectives in ACI. ACI 2020: 9:1-9:5
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/MenakerZLKSKH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/MenakerZLKSKH20
Tom Menaker, Anna Zamansky, Dirk van der Linden, Dmitry I. Kaplun, Aleksandr Sinitica, Sabrina Karl, Ludwig Huber:
Towards a Methodology for Data-Driven Automatic Analysis of Animal Behavioral Patterns. ACI 2020: 12:1-12:6

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j31]
- view
  authority control:
- export record
  dblp key:
  - journals/computer/ZamanskyLHB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computer/ZamanskyLHB19
Anna Zamansky, Dirk van der Linden, Irit Hadar, Stephane Bleuer-Elsner:
Log My Dog: Perceived Impact of Dog Activity Tracking. Computer 52(9): 35-43 (2019)
[j30]
- view
  authority control:
- export record
  dblp key:
  - journals/ese/HadarZB19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ese/HadarZB19
Irit Hadar, Anna Zamansky, Daniel M. Berry:
The inconsistency between theory and practice in managing inconsistency in requirements engineering. Empir. Softw. Eng. 24(6): 3972-4005 (2019)
[j29]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/ArieliZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/ArieliZ19
Ofer Arieli, Anna Zamansky:
Preface. FLAP 6(2): 205-208 (2019)
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/ieeesp/LindenZHCR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ieeesp/LindenZHCR19
Dirk van der Linden, Anna Zamansky, Irit Hadar, Barnaby Craggs, Awais Rashid:
Buddy's Wearable Is Not Your Buddy: Privacy Implications of Pet Wearables. IEEE Secur. Priv. 17(3): 28-39 (2019)
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/jancl/Zamansky19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jancl/Zamansky19
Anna Zamansky:
On recent applications of paraconsistent logic: an exploratory literature review. J. Appl. Non Class. Logics 29(4): 382-391 (2019)
[j26]
- view
  authority control:
- export record
  dblp key:
  - journals/jiii/LindenZHC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jiii/LindenZHC19
Dirk van der Linden, Anna Zamansky, Irit Hadar, Barnaby Craggs:
Developing for non-human users: Reflecting on practical implications in the ubiquitous computing era. J. Ind. Inf. Integr. 14: 50-58 (2019)
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/LindenHZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/LindenHZ19
Dirk van der Linden, Irit Hadar, Anna Zamansky:
What practitioners really want: requirements for visual notations in conceptual modeling. Softw. Syst. Model. 18(3): 1813-1831 (2019)
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/acsw/ZamanskyS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acsw/ZamanskyS19
Anna Zamansky, Maria Spichkova:
A Set-based Logical Language for Specification of Combinatorial Models. ACSW 2019: 57:1-57:4
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/LindenWHZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/LindenWHZ19
Dirk van der Linden, Emma J. Williams, Irit Hadar, Anna Zamansky:
Some might freak out: What if your dog's activity tracker were to have a data breach? ACI 2019: 4:1-4:12
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/LindenDZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/LindenDZ19
Dirk van der Linden, Brittany I. Davidson, Anna Zamansky:
The not so secret life of pets: pet owners' privacy concerns for pet location data. ACI 2019: 5:1-5:6
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/RamokapaneLZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/RamokapaneLZ19
Kopo M. Ramokapane, Dirk van der Linden, Anna Zamansky:
Does my dog really need a gadget?: What can we learn from pet owners' amotivations for using pet wearables? ACI 2019: 6:1-6:6
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/biostec/KaplunSZBPFL19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/biostec/KaplunSZBPFL19
Dmitrij Kaplun, Aleksandr Sinitca, Anna Zamansky, Stephane Bleuer-Elsner, Michael Plazner, Asaf Fux, Dirk van der Linden:
Animal Health Informatics: Towards a Generic Framework for Automatic Behavior Analysis Position Paper. HEALTHINF 2019: 436-441
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ZoharTSZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ZoharTSZ19
Yoni Zohar, Dmitry Tishkovsky, Renate A. Schmidt, Anna Zamansky:
Automating Automated Reasoning - The Case of Two Generic Automated Reasoning Tools. Description Logic, Theory Combination, and All That 2019: 610-638
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/icann/ZamanskySKDY19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icann/ZamanskySKDY19
Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Luisa M. L. Dutra, Robert J. Young:
Automatic Estimation of Dog Age: The DogAge Dataset and Challenge. ICANN (3) 2019: 421-426
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icann/ZamanskySKPSYA19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icann/ZamanskySKPSYA19
Anna Zamansky, Aleksandr Sinitca, Dmitry I. Kaplun, Michael Plazner, Ivana G. Schork, Robert J. Young, Cristiano S. de Azevedo:
Analysis of Dogs' Sleep Patterns Using Convolutional Neural Networks. ICANN (3) 2019: 472-483
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/icgj/FrenchBGWZ19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icgj/FrenchBGWZ19
Fiona French, Sofya Baskin, Reinhard Gupfinger, Sarah Webber, Anna Zamansky:
ZooJamming: Designing Beyond Human Experience. ICGJ 2019: 10:1-10:8
[c68]
- view
  authority control:
- export record
  dblp key:
  - conf/modelsward/Reinhartz-Berger19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/modelsward/Reinhartz-Berger19
Iris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider:
Towards Privacy-aware Software Reuse. MODELSWARD 2019: 448-453
2018
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/aim/0001BBCFGGGJKKK18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/aim/0001BBCFGGGJKKK18
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, Kristen Brent Venable, Neal Wagner, Anna Zamansky:
Reports of the Workshops of the 32nd AAAI Conference on Artificial Intelligence. AI Mag. 39(4): 45-56 (2018)
[j23]
- view
  authority control:
- export record
  dblp key:
  - journals/tasm/ZamanskyL18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tasm/ZamanskyL18
Anna Zamansky, Dirk van der Linden:
Activity Trackers for Raising Guide Dogs: Challenges and Opportunities. IEEE Technol. Soc. Mag. 37(4): 62-69 (2018)
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/Reinhartz-Berger18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/Reinhartz-Berger18
Iris Reinhartz-Berger, Anna Zamansky:
A Behavior-Based Framework for Assessing Product Line-Ability. CAiSE 2018: 571-586
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/ZamanskySRHB18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/ZamanskySRHB18
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. ENASE 2018: 305-313
[e1]
- view
- export record
  dblp key:
  - conf/refsq/2018w
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refsq/2018w
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:
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. CEUR Workshop Proceedings 2075, CEUR-WS.org 2018 [contents]
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1807-01923
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1807-01923
Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. CoRR abs/1807.01923 (2018)
2017
[j22]
- view
  - electronic edition @ collegepublications.co.uk (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/flap/Zamansky17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/flap/Zamansky17
Anna Zamansky:
Teaching Logic to Information Systems Student: A Student-centric Approach. FLAP 4(1) (2017)
[j21]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/MakowskyZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/MakowskyZ17
Johann A. Makowsky, Anna Zamansky:
Keeping logic in the trivium of computer science: a teaching perspective. Formal Methods Syst. Des. 51(2): 419-430 (2017)
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/ZamanskyLB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/ZamanskyLB17
Anna Zamansky, Dirk van der Linden, Sofya Baskin:
Teaching Animal-Computer Interaction: an Experience Report. ACI 2017: 4:1-4:7
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/AmirZL17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/AmirZL17
Shir Amir, Anna Zamansky, Dirk van der Linden:
K9-Blyzer: Towards Video-Based Automatic Analysis of Canine Behavior. ACI 2017: 9:1-9:5
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/FrenchBWCZN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/FrenchBWCZN17
Fiona French, Sofya Baskin, Billy Wallace, Adrian David Cheok, Anna Zamansky, Eleonora Nannoni:
FarmJam 2017: Designing Enrichment for Farm Animals. ACI 2017: 21:1-21:6
[c62]
- view
  authority control:
- export record
  dblp key:
  - conf/bpm/EvronSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/bpm/EvronSZ17
Yotam Evron, Pnina Soffer, Anna Zamansky:
Design-Time Analysis of Data Inaccuracy Awareness at Runtime. Business Process Management Workshops 2017: 600-612
[c61]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/Reinhartz-Berger17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/Reinhartz-Berger17
Iris Reinhartz-Berger, Anna Zamansky:
VarMeR - A Variability Mechanisms Recommender for Software Artifacts. CAiSE-Forum-DC 2017: 57-64
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/LindenHZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/LindenHZ17
Dirk van der Linden, Irit Hadar, Anna Zamansky:
On the Requirement from Practice for Meaningful Variability in Visual Notation. BPMDS/EMMSAD@CAiSE 2017: 189-203
[c59]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/EvronSZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/EvronSZ17
Yotam Evron, Pnina Soffer, Anna Zamansky:
Incorporating Data Inaccuracy Considerations in Process Models. BPMDS/EMMSAD@CAiSE 2017: 305-318
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/chi/ZamanskyRMCHGMN17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chi/ZamanskyRMCHGMN17
Anna Zamansky, Amanda Roshier, Clara Mancini, Emily C. Collins, Carol Hall, Katie Grillaert, Ann Morrison, Steve North, Hanna Wirman:
A Report on the First International Workshop on Research Methods in Animal-Computer Interaction. CHI Extended Abstracts 2017: 806-815
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/chiplay/ZamanskyLBK17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chiplay/ZamanskyLBK17
Anna Zamansky, Dirk van der Linden, Sofya Baskin, Vitaliya Kononova:
Is My Dog "Playing" Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions. CHI PLAY 2017: 477-484
[c56]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/er/ZamanskyR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/ZamanskyR17
Anna Zamansky, Iris Reinhartz-Berger:
Visualizing Code Variabilities for Supporting Reuse Decisions. SCME-iStarT@ER 2017: 25-34
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/ZamanskySKF17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/ZamanskySKF17
Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi:
A Composition-Based Method for Combinatorial Test Design. ICST Workshops 2017: 249-252
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LindenZH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LindenZH17
Dirk van der Linden, Anna Zamansky, Irit Hadar:
A Framework for Improving the Verifiability of Visual Notation Design Grounded in the Physics of Notations. RE 2017: 41-50
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/re/ZamanskyLB17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/ZamanskyLB17
Anna Zamansky, Dirk van der Linden, Sofya Baskin:
Pushing Boundaries of RE: Requirement Elicitation for Non-human Users. RE 2017: 406-411
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LindenZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LindenZ17
Dirk van der Linden, Anna Zamansky:
Agile with Animals: Towards a Development Method. RE Workshops 2017: 423-426
2016
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/ArieliZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/ArieliZ16
Ofer Arieli, Anna Zamansky:
A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. 298: 4-21 (2016)
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/fss/VetterleinZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fss/VetterleinZ16
Thomas Vetterlein, Anna Zamansky:
Reasoning with graded information: The case of diagnostic rating scales in healthcare. Fuzzy Sets Syst. 298: 207-221 (2016)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/ArieliZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/ArieliZ16
Ofer Arieli, Anna Zamansky:
Preface. Log. J. IGPL 24(3): 221-223 (2016)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/interactions/WirmanZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/interactions/WirmanZ16
Hanna Wirman, Anna Zamansky:
Toward characterization of playful ACI. Interactions 23(4): 47-51 (2016)
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/ArieliKRZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/ArieliKRZ16
Ofer Arieli, Beata Konikowska, Alexander Rabinovich, Anna Zamansky:
Foreword. J. Log. Comput. 26(1): 1-6 (2016)
[c51]
- view
  - electronic edition @ aiml.net (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/aiml/AvronZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiml/AvronZ16
Arnon Avron, Anna Zamansky:
A paraconsistent view on B and S5. Advances in Modal Logic 2016: 21-37
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/Zamansky16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/Zamansky16
Anna Zamansky:
Dog-drone interactions: towards an ACI perspective. ACI 2016: 14:1-14:4
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/BaskinZK16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/BaskinZK16
Sofya Baskin, Anna Zamansky, Vitaliya Kononova:
Exploring human perceptions of dog-tablet playful interactions. ACI 2016: 15:1-15:4
[c48]
- view
  authority control:
- export record
  dblp key:
  - conf/animalci/ZamanskyR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/animalci/ZamanskyR16
Anna Zamansky, Amanda Roshier:
Exploring research methods for ACI (RM4ACI). ACI 2016: 18:1-18:3
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ZoharZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ZoharZ16
Yoni Zohar, Anna Zamansky:
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. IJCAR 2016: 487-495
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/ZamanskyZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/ZamanskyZ16
Anna Zamansky, Yoni Zohar:
'Mathematical' Does Not Mean 'Boring': Integrating Software Assignments to Enhance Learning of Logico-Mathematical Concepts. CAiSE Workshops 2016: 103-108
[c45]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/caise/SpichkovaZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/SpichkovaZ16
Maria Spichkova, Anna Zamansky:
A Human-Centred Framework for Supporting Agile Model-Based Testing. CAiSE Forum 2016: 105-112
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/SpichkovaZF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/SpichkovaZF16
Maria Spichkova, Anna Zamansky, Eitan Farchi:
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops 2016: 116-121
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/LindenZH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/LindenZH16
Dirk van der Linden, Anna Zamansky, Irit Hadar:
How Cognitively Effective is a Visual Notation? On the Inherent Difficulty of Operationalizing the Physics of Notations. BMMDS/EMMSAD 2016: 448-462
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/SpichkovaZ16b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/SpichkovaZ16b
Maria Spichkova, Anna Zamansky:
AHR: Human-Centred Aspects of Test Design. ENASE (Selected Papers) 2016: 111-128
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/SpichkovaZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/SpichkovaZ16
Maria Spichkova, Anna Zamansky:
A Human-centred Framework for Combinatorial Test Design. ENASE 2016: 228-233
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/SpichkovaZ16a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/SpichkovaZ16a
Maria Spichkova, Anna Zamansky:
Teaching of Formal Methods for Software Engineering. ENASE 2016: 370-376
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/ZamanskyHB16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/ZamanskyHB16
Anna Zamansky, Irit Hadar, Daniel M. Berry:
Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. ENASE 2016: 377-382
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/enase/ZamanskyRAS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/enase/ZamanskyRAS16
Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova:
Formal Methods in Collaborative Projects. ENASE 2016: 396-402
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/er/Reinhartz-Berger16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/Reinhartz-Berger16
Iris Reinhartz-Berger, Anna Zamansky, Yair Wand:
An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. ER 2016: 98-112
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/re/LindenHZ16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/LindenHZ16
Dirk van der Linden, Irit Hadar, Anna Zamansky:
Towards a Marketplace of Visual Elements for Notation Design. RE 2016: 353-358
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SpichkovaZF16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SpichkovaZF16
Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. CoRR abs/1601.06222 (2016)
2015
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/amai/ArieliZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/amai/ArieliZ15
Ofer Arieli, Anna Zamansky:
A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. 73(1-2): 47-73 (2015)
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/isci/AvronKZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isci/AvronKZ15
Arnon Avron, Beata Konikowska, Anna Zamansky:
Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296: 219-236 (2015)
[c35]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/HadarZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/HadarZ15
Irit Hadar, Anna Zamansky:
When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management. CAiSE Workshops 2015: 107-113
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/caise/Reinhartz-Berger15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/caise/Reinhartz-Berger15
Iris Reinhartz-Berger, Anna Zamansky, Mark Kemelman:
Analyzing Variability of Cloned Artifacts: Formal Framework and Its Application to Requirements. BMMDS/EMMSAD 2015: 311-325
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/chiplay/BaskinZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/chiplay/BaskinZ15
Sofya Baskin, Anna Zamansky:
The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction. CHI PLAY 2015: 463-468
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/er/Reinhartz-Berger15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/er/Reinhartz-Berger15
Iris Reinhartz-Berger, Anna Zamansky, Yair Wand:
Taming Software Variability: Ontological Foundations of Variability Mechanisms. ER 2015: 399-406
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/icpads/SpichkovaZF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icpads/SpichkovaZF15
Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS 2015: 847-851
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/iwec/BaskinAZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iwec/BaskinAZ15
Sofya Baskin, Sharon Anavi-Goffer, Anna Zamansky:
Serious Games: Is Your User Playing or Hunting? ICEC 2015: 475-481
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/re/HadarZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/HadarZ15
Irit Hadar, Anna Zamansky:
Cognitive factors in inconsistency management. RE 2015: 226-229
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/re/BorgidaJZ15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/re/BorgidaJZ15
Alexander Borgida, Ivan Jureta, Anna Zamansky:
Towards a general formal framework of Coherence Management in RE. RE 2015: 274-277
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ZamanskyF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ZamanskyF15
Anna Zamansky, Eitan Farchi:
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops 2015: 35-42
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/sefm/ZamanskyF15a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sefm/ZamanskyF15a
Anna Zamansky, Eitan Farchi:
Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops 2015: 68-74
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ZamanskyF15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ZamanskyF15
Anna Zamansky, Eitan Farchi:
Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR abs/1507.03687 (2015)
2014
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/CiabattoniLSZ14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/CiabattoniLSZ14
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky:
Taming Paraconsistent (and Other) Logics: An Algorithmic Approach. ACM Trans. Comput. Log. 16(1): 5:1-5:23 (2014)
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/ipmu/ZamanskyAS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ipmu/ZamanskyAS14
Anna Zamansky, Ofer Arieli, Kostas Stefanidis:
Context-Aware Distance Semantics for Inconsistent Database Systems. IPMU (2) 2014: 194-203
2013
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BaazLZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BaazLZ13
Matthias Baaz, Ori Lahav, Anna Zamansky:
Finite-valued Semantics for Canonical Labelled Calculi. J. Autom. Reason. 51(4): 401-430 (2013)
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/logcom/AvronKZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/logcom/AvronKZ13
Arnon Avron, Beata Konikowska, Anna Zamansky:
Cut-free sequent calculi for C-systems with generalized finite-valued semantics. J. Log. Comput. 23(3): 517-540 (2013)
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/CiabattoniLSZ13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/CiabattoniLSZ13
Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky:
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS 2013: 119-133
2012
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/apal/ZamanskyA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/apal/ZamanskyA12
Anna Zamansky, Arnon Avron:
Canonical signed calculi with multi-ary quantifiers. Ann. Pure Appl. Log. 163(7): 951-960 (2012)
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/BaazLZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/BaazLZ12
Matthias Baaz, Ori Lahav, Anna Zamansky:
Effective Finite-Valued Semantics for Labelled Calculi. IJCAR 2012: 52-66
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/foiks/ArieliZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/foiks/ArieliZ12
Ofer Arieli, Anna Zamansky:
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. FoIKS 2012: 34-50
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/Zamansky12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/Zamansky12
Anna Zamansky:
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. JELIA 2012: 463-475
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AvronKZ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AvronKZ12
Arnon Avron, Beata Konikowska, Anna Zamansky:
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. LICS 2012: 85-94
2011
[j9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/ijar/ArieliZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijar/ArieliZ11
Ofer Arieli, Anna Zamansky:
A framework for reasoning under uncertainty based on non-deterministic distance semantics. Int. J. Approx. Reason. 52(2): 184-211 (2011)
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/japll/ArieliZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/japll/ArieliZ11
Ofer Arieli, Anna Zamansky:
Simplified forms of computerized reasoning with distance semantics. J. Appl. Log. 9(1): 1-22 (2011)
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ArieliAZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ArieliAZ11
Ofer Arieli, Arnon Avron, Anna Zamansky:
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics. Stud Logica 97(1): 31-60 (2011)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ArieliAZ11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ArieliAZ11a
Ofer Arieli, Arnon Avron, Anna Zamansky:
Ideal Paraconsistent Logics. Stud Logica 99(1-3): 31-60 (2011)
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/ArieliAZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/ArieliAZ11
Ofer Arieli, Arnon Avron, Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?. IJCAI 2011: 706-711
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/tableaux/CiabattoniLZ11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tableaux/CiabattoniLZ11
Agata Ciabattoni, Ori Lahav, Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX 2011: 119-133
2010
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AvronZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AvronZ10
Arnon Avron, Anna Zamansky:
Non-deterministic Multi-valued Logics--A Tutorial. ISMVL 2010: 53-60
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/jelia/ArieliZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jelia/ArieliZ10
Ofer Arieli, Anna Zamansky:
Similarity-Based Inconsistency-Tolerant Logics. JELIA 2010: 11-23
[c15]
- view
  - electronic edition @ aaai.org (archived)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/ArieliAZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/ArieliAZ10
Ofer Arieli, Arnon Avron, Anna Zamansky:
Maximally Paraconsistent Three-Valued Logics. KR 2010
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/AvronAZ10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/AvronAZ10
Arnon Avron, Ofer Arieli, Anna Zamansky:
On Strong Maximality of Paraconsistent Finite-Valued Logics. LICS 2010: 304-313

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[b1]
- view
  - electronic edition @ exlibrisgroup.com
  - no references & citations available
- export record
  dblp key:
  - phd/il/Zamansky09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/il/Zamansky09
Anna Zamansky:
Non-deterministic multi-valued logics and their applications. Tel Aviv University, Israel, 2009
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/igpl/ArieliZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/igpl/ArieliZ09
Ofer Arieli, Anna Zamansky:
Distance-based non-deterministic semantics for reasoning with uncertainty. Log. J. IGPL 17(4): 325-350 (2009)
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/AvronCZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/AvronCZ09
Arnon Avron, Agata Ciabattoni, Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009: 26-37
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/ecsqaru/ArieliZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecsqaru/ArieliZ09
Ofer Arieli, Anna Zamansky:
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. ECSQARU 2009: 793-804
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/AvronZ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/AvronZ09
Arnon Avron, Anna Zamansky:
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. LFCS 2009: 31-45
2008
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/AvronZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/AvronZ08
Arnon Avron, Anna Zamansky:
Canonical Calculi with (n, k)-ary Quantifiers. Log. Methods Comput. Sci. 4(3) (2008)
[c10]
- view
  - electronic edition @ iospress.nl
  - no references & citations available
- export record
  dblp key:
  - conf/agi/ArieliZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/agi/ArieliZ08
Ofer Arieli, Anna Zamansky:
Distance-Based Non-Deterministic Semantics. AGI 2008: 39-50
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/ai/ArieliZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ai/ArieliZ08
Ofer Arieli, Anna Zamansky:
Some Simplified Forms of Reasoning with Distance-Based Entailments. Canadian AI 2008: 36-47
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/csr/AvronZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csr/AvronZ08
Arnon Avron, Anna Zamansky:
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. CSR 2008: 52-63
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/wollic/ArieliZ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wollic/ArieliZ08
Ofer Arieli, Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics. WoLLIC 2008: 69-82
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0806-0081
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0806-0081
Arnon Avron, Anna Zamansky:
Canonical calculi with (n,k)-ary quantifiers. CoRR abs/0806.0081 (2008)
2007
[j3]
- view
  - electronic edition @ oldcitypublishing.com
  - no references & citations available
- export record
  dblp key:
  - journals/mvl/ZamanskyA07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mvl/ZamanskyA07
Anna Zamansky, Arnon Avron:
Effective Non-deterministic Semantics for First-order LFIs. J. Multiple Valued Log. Soft Comput. 13(4-6): 335-352 (2007)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AvronZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AvronZ07
Arnon Avron, Anna Zamansky:
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ISMVL 2007: 14
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/lfcs/AvronZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lfcs/AvronZ07
Arnon Avron, Anna Zamansky:
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. LFCS 2007: 26-40
2006
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jolli/ZamanskyFW06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jolli/ZamanskyFW06
Anna Zamansky, Nissim Francez, Yoad Winter:
A 'Natural Logic' inference system using the Lambek calculus. J. Log. Lang. Inf. 15(3): 273-295 (2006)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sLogica/ZamanskyA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sLogica/ZamanskyA06
Anna Zamansky, Arnon Avron:
Cut-Elimination and Quantification in Canonical Systems. Stud Logica 82(1): 157-176 (2006)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/AvronZ06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/AvronZ06
Arnon Avron, Anna Zamansky:
Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. Algebraic and Proof-theoretic Aspects of Non-classical Logics 2006: 1-24
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ZamanskyA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ZamanskyA06
Anna Zamansky, Arnon Avron:
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. IJCAR 2006: 251-265
[c2]
- view
  - electronic edition @ aaai.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/kr/ZamanskyA06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/ZamanskyA06
Anna Zamansky, Arnon Avron:
Non-Deterministic Semantics for First-Order Paraconsistent Logics. KR 2006: 431-439
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/ismvl/AvronZ05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ismvl/AvronZ05
Arnon Avron, Anna Zamansky:
Quantification in Non-Deterministic Multi-Valued Structures. ISMVL 2005: 296-301

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.