Travelled to:1 × Canada
1 × Croatia
1 × USA
2 × United Kingdom
Collaborated with:A.Avron Sofya Baskin O.Arieli Y.Zohar M.Baaz O.Lahav B.Konikowska Dirk van der Linden Vitaliya Kononova Fiona French Reinhard Gupfinger Sarah Webber
Talks about:paraconsist (4) calculi (4) logic (4) tablet (3) valu (3) interact (2) sequent (2) semant (2) maxim (2) human (2)
Person: Anna Zamansky
DBLP: Zamansky:Anna
Contributed to:
2012
2012
20102010200620062016
2015
20192017Wrote 10 papers:
- IJCAR-2012-BaazLZ #calculus #effectiveness #semantics
- Effective Finite-Valued Semantics for Labelled Calculi (MB, OL, AZ), pp. 52–66.
- LICS-2012-AvronKZ #calculus #composition #logic
- Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics (AA, BK, AZ), pp. 85–94.
- KR-2010-ArieliAZ #logic
- Maximally Paraconsistent Three-Valued Logics (OA, AA, AZ).
- LICS-2010-AvronAZ #logic #on the
- On Strong Maximality of Paraconsistent Finite-Valued Logics (AA, OA, AZ), pp. 304–313.
- IJCAR-2006-ZamanskyA #calculus #canonical #quantifier
- Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers (AZ, AA), pp. 251–265.
- KR-2006-ZamanskyA #first-order #logic #nondeterminism #semantics
- Non-Deterministic Semantics for First-Order Paraconsistent Logics (AZ, AA), pp. 431–439.
- IJCAR-2016-ZoharZ #automation #calculus #named #satisfiability
- Gen2sat: An Automated Tool for Deciding Derivability in Analytic Pure Sequent Calculi (YZ, AZ), pp. 487–495.
- CHI-PLAY-2015-BaskinZ #analysis #behaviour #exclamation #interactive #tablet #towards
- The Player is Chewing the Tablet!: Towards a Systematic Analysis of User Behavior in Animal-Computer Interaction (SB, AZ), pp. 463–468.
- ICGJ-2019-FrenchBGWZ #design #experience #named
- ZooJamming: Designing Beyond Human Experience (FF, SB, RG, SW, AZ), p. 8.
- CHI-PLAY-2017-ZamanskyLBK #game studies #interactive #tablet
- Is My Dog “Playing” Tablet Games?: Exploring Human Perceptions of Dog-Tablet Interactions (AZ, DvdL, SB, VK), pp. 477–484.