| 2008 |
|---|
| 11 | EE | Arnon Avron,
Anna Zamansky:
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
CSR 2008: 52-63 |
| 10 | EE | Ofer Arieli,
Anna Zamansky:
Some Simplified Forms of Reasoning with Distance-Based Entailments.
Canadian Conference on AI 2008: 36-47 |
| 9 | EE | Ofer Arieli,
Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics.
WoLLIC 2008: 69-82 |
| 8 | EE | Arnon Avron,
Anna Zamansky:
Canonical calculi with (n,k)-ary quantifiers
CoRR abs/0806.0081: (2008) |
| 2007 |
|---|
| 7 | EE | Arnon Avron,
Anna Zamansky:
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
LFCS 2007: 26-40 |
| 2006 |
|---|
| 6 | EE | 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 |
| 5 | EE | Anna Zamansky,
Arnon Avron:
Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.
IJCAR 2006: 251-265 |
| 4 | | Anna Zamansky,
Arnon Avron:
Non-Deterministic Semantics for First-Order Paraconsistent Logics.
KR 2006: 431-439 |
| 3 | EE | Anna Zamansky,
Nissim Francez,
Yoad Winter:
A 'Natural Logic' inference system using the Lambek calculus.
Journal of Logic, Language and Information 15(3): 273-295 (2006) |
| 2 | EE | Anna Zamansky,
Arnon Avron:
Cut-Elimination and Quantification in Canonical Systems.
Studia Logica 82(1): 157-176 (2006) |
| 2005 |
|---|
| 1 | EE | Arnon Avron,
Anna Zamansky:
Quantification in Non-Deterministic Multi-Valued Structures.
ISMVL 2005: 296-301 |
