The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Anna Zamansky: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Anna Zamansky, Arnon Avron
    Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers. [Citation Graph (0, 0)][DBLP]
    IJCAR, 2006, pp:251-265 [Conf]
  2. Arnon Avron, Anna Zamansky
    Quantification in Non-Deterministic Multi-Valued Structures. [Citation Graph (0, 0)][DBLP]
    ISMVL, 2005, pp:296-301 [Conf]
  3. Anna Zamansky, Arnon Avron
    Non-Deterministic Semantics for First-Order Paraconsistent Logics. [Citation Graph (0, 0)][DBLP]
    KR, 2006, pp:431-439 [Conf]
  4. Anna Zamansky, Nissim Francez, Yoad Winter
    A 'Natural Logic' inference system using the Lambek calculus. [Citation Graph (0, 0)][DBLP]
    Journal of Logic, Language and Information, 2006, v:15, n:3, pp:273-295 [Journal]
  5. Anna Zamansky, Arnon Avron
    Cut-Elimination and Quantification in Canonical Systems. [Citation Graph (0, 0)][DBLP]
    Studia Logica, 2006, v:82, n:1, pp:157-176 [Journal]
  6. Arnon Avron, Anna Zamansky
    Many-Valued Non-deterministic Semantics for First-Order Logics of Formal (In)consistency. [Citation Graph (0, 0)][DBLP]
    Algebraic and Proof-theoretic Aspects of Non-classical Logics, 2006, pp:1-24 [Conf]
  7. Arnon Avron, Anna Zamansky
    Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers. [Citation Graph (0, 0)][DBLP]
    LFCS, 2007, pp:26-40 [Conf]

  8. Some Simplified Forms of Reasoning with Distance-Based Entailments. [Citation Graph (, )][DBLP]


  9. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. [Citation Graph (, )][DBLP]


  10. Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism. [Citation Graph (, )][DBLP]


  11. Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. [Citation Graph (, )][DBLP]


  12. Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency. [Citation Graph (, )][DBLP]


  13. Non-deterministic Multi-valued Logics--A Tutorial. [Citation Graph (, )][DBLP]


  14. Similarity-Based Inconsistency-Tolerant Logics. [Citation Graph (, )][DBLP]


  15. Maximally Paraconsistent Three-Valued Logics. [Citation Graph (, )][DBLP]


  16. Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination. [Citation Graph (, )][DBLP]


  17. On Strong Maximality of Paraconsistent Finite-Valued Logics. [Citation Graph (, )][DBLP]


  18. Reasoning with Uncertainty by Nmatrix-Metric Semantics. [Citation Graph (, )][DBLP]


  19. Distance-Based Non-Deterministic Semantics. [Citation Graph (, )][DBLP]


  20. Canonical calculi with (n,k)-ary quantifiers [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002