 | 2011 |
|---|
| 28 |       | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
What Is an Ideal Logic for Reasoning with Inconsistency?.
IJCAI 2011: 706-711 |
| 27 | | Agata Ciabattoni,
Ori Lahav,
Anna Zamansky:
Basic Constructive Connectives, Determinism and Matrix-Based Semantics.
TABLEAUX 2011: 119-133 |
| 26 | | Ofer Arieli,
Anna Zamansky:
A framework for reasoning under uncertainty based on non-deterministic distance semantics.
Int. J. Approx. Reasoning 52(2): 184-211 (2011) |
| 25 | | Ofer Arieli,
Anna Zamansky:
Simplified forms of computerized reasoning with distance semantics.
J. Applied Logic 9(1): 1-22 (2011) |
| 24 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics.
Studia Logica 97(1): 31-60 (2011) |
| 23 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Ideal Paraconsistent Logics.
Studia Logica 99(1-3): 31-60 (2011) |
| 2010 |
|---|
| 22 | | Arnon Avron,
Anna Zamansky:
Non-deterministic Multi-valued Logics--A Tutorial.
ISMVL 2010: 53-60 |
| 21 | | Ofer Arieli,
Anna Zamansky:
Similarity-Based Inconsistency-Tolerant Logics.
JELIA 2010: 11-23 |
| 20 | | Ofer Arieli,
Arnon Avron,
Anna Zamansky:
Maximally Paraconsistent Three-Valued Logics.
KR 2010 |
| 19 | | Arnon Avron,
Ofer Arieli,
Anna Zamansky:
On Strong Maximality of Paraconsistent Finite-Valued Logics.
LICS 2010: 304-313 |
| 2009 |
|---|
| 18 | | Arnon Avron,
Agata Ciabattoni,
Anna Zamansky:
Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.
CSR 2009: 26-37 |
| 17 | | Ofer Arieli,
Anna Zamansky:
Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.
ECSQARU 2009: 793-804 |
| 16 | | Arnon Avron,
Anna Zamansky:
Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.
LFCS 2009: 31-45 |
| 15 | | Ofer Arieli,
Anna Zamansky:
Distance-based non-deterministic semantics for reasoning with uncertainty.
Logic Journal of the IGPL 17(4): 325-350 (2009) |
| 2008 |
|---|
| 14 |  | Ofer Arieli,
Anna Zamansky:
Distance-Based Non-Deterministic Semantics.
AGI 2008: 39-50 |
| 13 | | Arnon Avron,
Anna Zamansky:
A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.
CSR 2008: 52-63 |
| 12 | | Ofer Arieli,
Anna Zamansky:
Some Simplified Forms of Reasoning with Distance-Based Entailments.
Canadian Conference on AI 2008: 36-47 |
| 11 | | Ofer Arieli,
Anna Zamansky:
Reasoning with Uncertainty by Nmatrix-Metric Semantics.
WoLLIC 2008: 69-82 |
| 10 | | Arnon Avron,
Anna Zamansky:
Canonical calculi with (n,k)-ary quantifiers
CoRR abs/0806.0081: (2008) |
| 9 | | Arnon Avron,
Anna Zamansky:
Canonical Calculi with (n, k)-ary Quantifiers.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 8 | | Arnon Avron,
Anna Zamansky:
Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.
ISMVL 2007: 14 |
| 7 | | Arnon Avron,
Anna Zamansky:
Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.
LFCS 2007: 26-40 |
| 2006 |
|---|
| 6 | | 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 | | 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 | | 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 | | Anna Zamansky,
Arnon Avron:
Cut-Elimination and Quantification in Canonical Systems.
Studia Logica 82(1): 157-176 (2006) |
| 2005 |
|---|
| 1 | | Arnon Avron,
Anna Zamansky:
Quantification in Non-Deterministic Multi-Valued Structures.
ISMVL 2005: 296-301 |
Data released under the ODC-BY 1.0 license — See also our legal information page