BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Zamansky:Anna

Contributed to:

IJCAR 20122012
LICS 20122012
KR 20102010
LICS 20102010
IJCAR 20062006
KR 20062006
IJCAR 20162016
CHI PLAY 20152015
ICGJ 20192019
CHI PLAY 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.