![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Anna Zamansky
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j38]George Martvel
, Ilan Shimshoni, Anna Zamansky:
Automated Detection of Cat Facial Landmarks. Int. J. Comput. Vis. 132(8): 3103-3118 (2024) - [i14]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]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]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]George Martvel
, Nareed Farhat, Ilan Shimshoni, Anna Zamansky:
CatFLW: Cat Facial Landmarks in the Wild Dataset. CoRR abs/2305.04232 (2023) - [i11]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]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]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]George Martvel
, Ilan Shimshoni, Anna Zamansky:
Automated Detection of Cat Facial Landmarks. CoRR abs/2310.09793 (2023) - 2022
- [j36]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]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]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]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]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]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]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]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]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]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]Arnon Avron, Anna Zamansky:
Paraconsistency, self-extensionality, modality. Log. J. IGPL 28(5): 851-880 (2020) - [j33]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]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]Orit Hirsch-Matsioulas
, Anna Zamansky:
Who Moved My Culture?: Expanding Anthropological Perspectives in ACI. ACI 2020: 9:1-9:5 - [c78]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
- 2019
- [j31]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]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]Ofer Arieli, Anna Zamansky:
Preface. FLAP 6(2): 205-208 (2019) - [j28]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]Anna Zamansky:
On recent applications of paraconsistent logic: an exploratory literature review. J. Appl. Non Class. Logics 29(4): 382-391 (2019) - [j26]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]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]Anna Zamansky, Maria Spichkova:
A Set-based Logical Language for Specification of Combinatorial Models. ACSW 2019: 57:1-57:4 - [c76]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]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]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]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]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]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]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]Fiona French
, Sofya Baskin, Reinhard Gupfinger, Sarah Webber
, Anna Zamansky:
ZooJamming: Designing Beyond Human Experience. ICGJ 2019: 10:1-10:8 - [c68]Iris Reinhartz-Berger, Anna Zamansky, Agnes Koschmider:
Towards Privacy-aware Software Reuse. MODELSWARD 2019: 448-453 - 2018
- [j24]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]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]Iris Reinhartz-Berger, Anna Zamansky:
A Behavior-Based Framework for Assessing Product Line-Ability. CAiSE 2018: 571-586 - [c66]Anna Zamansky, Maria Spichkova, Guillermo Rodríguez-Navas, Peter Herrmann
, Jan Olaf Blech:
Towards Classification of Lightweight Formal Methods. ENASE 2018: 305-313 - [e1]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]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]Anna Zamansky:
Teaching Logic to Information Systems Student: A Student-centric Approach. FLAP 4(1) (2017) - [j21]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]Anna Zamansky, Dirk van der Linden
, Sofya Baskin:
Teaching Animal-Computer Interaction: an Experience Report. ACI 2017: 4:1-4:7 - [c64]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]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]Yotam Evron, Pnina Soffer, Anna Zamansky:
Design-Time Analysis of Data Inaccuracy Awareness at Runtime. Business Process Management Workshops 2017: 600-612 - [c61]Iris Reinhartz-Berger, Anna Zamansky:
VarMeR - A Variability Mechanisms Recommender for Software Artifacts. CAiSE-Forum-DC 2017: 57-64 - [c60]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]Yotam Evron, Pnina Soffer, Anna Zamansky:
Incorporating Data Inaccuracy Considerations in Process Models. BPMDS/EMMSAD@CAiSE 2017: 305-318 - [c58]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]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]Anna Zamansky, Iris Reinhartz-Berger:
Visualizing Code Variabilities for Supporting Reuse Decisions. SCME-iStarT@ER 2017: 25-34 - [c55]Anna Zamansky, Amir Shwartz, Seri Khoury, Eitan Farchi:
A Composition-Based Method for Combinatorial Test Design. ICST Workshops 2017: 249-252 - [c54]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]Anna Zamansky, Dirk van der Linden
, Sofya Baskin:
Pushing Boundaries of RE: Requirement Elicitation for Non-human Users. RE 2017: 406-411 - [c52]Dirk van der Linden, Anna Zamansky:
Agile with Animals: Towards a Development Method. RE Workshops 2017: 423-426 - 2016
- [j20]Ofer Arieli
, Anna Zamansky:
A graded approach to database repair by context-aware distance semantics. Fuzzy Sets Syst. 298: 4-21 (2016) - [j19]Thomas Vetterlein
, Anna Zamansky:
Reasoning with graded information: The case of diagnostic rating scales in healthcare. Fuzzy Sets Syst. 298: 207-221 (2016) - [j18]Ofer Arieli, Anna Zamansky:
Preface. Log. J. IGPL 24(3): 221-223 (2016) - [j17]Hanna Wirman, Anna Zamansky:
Toward characterization of playful ACI. Interactions 23(4): 47-51 (2016) - [j16]Ofer Arieli, Beata Konikowska
, Alexander Rabinovich
, Anna Zamansky:
Foreword. J. Log. Comput. 26(1): 1-6 (2016) - [c51]Arnon Avron, Anna Zamansky:
A paraconsistent view on B and S5. Advances in Modal Logic 2016: 21-37 - [c50]Anna Zamansky:
Dog-drone interactions: towards an ACI perspective. ACI 2016: 14:1-14:4 - [c49]Sofya Baskin, Anna Zamansky, Vitaliya Kononova:
Exploring human perceptions of dog-tablet playful interactions. ACI 2016: 15:1-15:4 - [c48]Anna Zamansky, Amanda Roshier:
Exploring research methods for ACI (RM4ACI). ACI 2016: 18:1-18:3 - [c47]Yoni Zohar, Anna Zamansky:
Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi. IJCAR 2016: 487-495 - [c46]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]Maria Spichkova, Anna Zamansky:
A Human-Centred Framework for Supporting Agile Model-Based Testing. CAiSE Forum 2016: 105-112 - [c44]Maria Spichkova, Anna Zamansky, Eitan Farchi:
A Visual Logical Language for System Modelling in Combinatorial Test Design. CAiSE Workshops 2016: 116-121 - [c43]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]Maria Spichkova, Anna Zamansky:
AHR: Human-Centred Aspects of Test Design. ENASE (Selected Papers) 2016: 111-128 - [c41]Maria Spichkova, Anna Zamansky:
A Human-centred Framework for Combinatorial Test Design. ENASE 2016: 228-233 - [c40]Maria Spichkova, Anna Zamansky:
Teaching of Formal Methods for Software Engineering. ENASE 2016: 370-376 - [c39]Anna Zamansky, Irit Hadar, Daniel M. Berry:
Reasoning about Inconsistency in RE - Separating the Wheat from the Chaff. ENASE 2016: 377-382 - [c38]Anna Zamansky, Guillermo Rodríguez-Navas, Mark Adams, Maria Spichkova:
Formal Methods in Collaborative Projects. ENASE 2016: 396-402 - [c37]Iris Reinhartz-Berger, Anna Zamansky, Yair Wand:
An Ontological Approach for Identifying Software Variants: Specialization and Template Instantiation. ER 2016: 98-112 - [c36]Dirk van der Linden
, Irit Hadar, Anna Zamansky:
Towards a Marketplace of Visual Elements for Notation Design. RE 2016: 353-358 - [i3]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]Ofer Arieli, Anna Zamansky:
A dissimilarity-based framework for generating inconsistency-tolerant logics. Ann. Math. Artif. Intell. 73(1-2): 47-73 (2015) - [j14]Arnon Avron, Beata Konikowska
, Anna Zamansky:
Efficient reasoning with inconsistent information using C-systems. Inf. Sci. 296: 219-236 (2015) - [c35]Irit Hadar, Anna Zamansky:
When a Paradigm is Inconsistent with Intuition: The Case of Inconsistency Management. CAiSE Workshops 2015: 107-113 - [c34]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]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]Iris Reinhartz-Berger, Anna Zamansky, Yair Wand:
Taming Software Variability: Ontological Foundations of Variability Mechanisms. ER 2015: 399-406 - [c31]Maria Spichkova, Anna Zamansky, Eitan Farchi:
Towards a Human-Centred Approach in Modelling and Testing of Cyber-Physical Systems. ICPADS 2015: 847-851 - [c30]Sofya Baskin, Sharon Anavi-Goffer, Anna Zamansky:
Serious Games: Is Your User Playing or Hunting? ICEC 2015: 475-481 - [c29]Irit Hadar, Anna Zamansky:
Cognitive factors in inconsistency management. RE 2015: 226-229 - [c28]Alexander Borgida, Ivan Jureta, Anna Zamansky:
Towards a general formal framework of Coherence Management in RE. RE 2015: 274-277 - [c27]Anna Zamansky, Eitan Farchi:
Helping the Tester Get It Right: Towards Supporting Agile Combinatorial Test Design. SEFM Workshops 2015: 35-42 - [c26]Anna Zamansky, Eitan Farchi:
Exploring the Role of Logic and Formal Methods in Information Systems Education. SEFM Workshops 2015: 68-74 - [i2]Anna Zamansky, Eitan Farchi:
Teaching Logic to Information Systems Students: Challenges and Opportunities. CoRR abs/1507.03687 (2015) - 2014
- [j13]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]Anna Zamansky, Ofer Arieli, Kostas Stefanidis
:
Context-Aware Distance Semantics for Inconsistent Database Systems. IPMU (2) 2014: 194-203 - 2013
- [j12]Matthias Baaz
, Ori Lahav, Anna Zamansky:
Finite-valued Semantics for Canonical Labelled Calculi. J. Autom. Reason. 51(4): 401-430 (2013) - [j11]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]Agata Ciabattoni
, Ori Lahav, Lara Spendier, Anna Zamansky:
Automated Support for the Investigation of Paraconsistent and Other Logics. LFCS 2013: 119-133 - 2012
- [j10]Anna Zamansky, Arnon Avron:
Canonical signed calculi with multi-ary quantifiers. Ann. Pure Appl. Log. 163(7): 951-960 (2012) - [c23]Matthias Baaz
, Ori Lahav, Anna Zamansky:
Effective Finite-Valued Semantics for Labelled Calculi. IJCAR 2012: 52-66 - [c22]Ofer Arieli, Anna Zamansky:
Inconsistency-Tolerance in Knowledge-Based Systems by Dissimilarities. FoIKS 2012: 34-50 - [c21]Anna Zamansky:
A Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. JELIA 2012: 463-475 - [c20]Arnon Avron, Beata Konikowska
, Anna Zamansky:
Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. LICS 2012: 85-94 - 2011
- [j9]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]Ofer Arieli, Anna Zamansky:
Simplified forms of computerized reasoning with distance semantics. J. Appl. Log. 9(1): 1-22 (2011) - [j7]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]Ofer Arieli, Arnon Avron, Anna Zamansky:
Ideal Paraconsistent Logics. Stud Logica 99(1-3): 31-60 (2011) - [c19]Ofer Arieli, Arnon Avron, Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?. IJCAI 2011: 706-711 - [c18]Agata Ciabattoni
, Ori Lahav, Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics. TABLEAUX 2011: 119-133 - 2010
- [c17]Arnon Avron, Anna Zamansky:
Non-deterministic Multi-valued Logics--A Tutorial. ISMVL 2010: 53-60 - [c16]Ofer Arieli, Anna Zamansky:
Similarity-Based Inconsistency-Tolerant Logics. JELIA 2010: 11-23 - [c15]Ofer Arieli, Arnon Avron, Anna Zamansky:
Maximally Paraconsistent Three-Valued Logics. KR 2010 - [c14]Arnon Avron, Ofer Arieli, Anna Zamansky:
On Strong Maximality of Paraconsistent Finite-Valued Logics. LICS 2010: 304-313
2000 – 2009
- 2009
- [b1]Anna Zamansky:
Non-deterministic multi-valued logics and their applications. Tel Aviv University, Israel, 2009 - [j5]Ofer Arieli, Anna Zamansky:
Distance-based non-deterministic semantics for reasoning with uncertainty. Log. J. IGPL 17(4): 325-350 (2009) - [c13]Arnon Avron, Agata Ciabattoni
, Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. CSR 2009: 26-37 - [c12]Ofer Arieli, Anna Zamansky:
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. ECSQARU 2009: 793-804 - [c11]Arnon Avron, Anna Zamansky:
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. LFCS 2009: 31-45 - 2008
- [j4]Arnon Avron, Anna Zamansky:
Canonical Calculi with (n, k)-ary Quantifiers. Log. Methods Comput. Sci. 4(3) (2008) - [c10]Ofer Arieli, Anna Zamansky:
Distance-Based Non-Deterministic Semantics. AGI 2008: 39-50 - [c9]Ofer Arieli, Anna Zamansky:
Some Simplified Forms of Reasoning with Distance-Based Entailments. Canadian AI 2008: 36-47 - [c8]Arnon Avron, Anna Zamansky:
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. CSR 2008: 52-63 - [c7]Ofer Arieli, Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics. WoLLIC 2008: 69-82 - [i1]Arnon Avron, Anna Zamansky:
Canonical calculi with (n,k)-ary quantifiers. CoRR abs/0806.0081 (2008) - 2007
- [j3]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]Arnon Avron, Anna Zamansky:
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. ISMVL 2007: 14 - [c5]Arnon Avron, Anna Zamansky:
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. LFCS 2007: 26-40 - 2006
- [j2]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]Anna Zamansky, Arnon Avron:
Cut-Elimination and Quantification in Canonical Systems. Stud Logica 82(1): 157-176 (2006) - [c4]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]Anna Zamansky, Arnon Avron:
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. IJCAR 2006: 251-265 - [c2]Anna Zamansky, Arnon Avron:
Non-Deterministic Semantics for First-Order Paraconsistent Logics. KR 2006: 431-439 - 2005
- [c1]Arnon Avron, Anna Zamansky:
Quantification in Non-Deterministic Multi-Valued Structures. ISMVL 2005: 296-301
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint