Publications:



DBLP list



Book Chapters:

  • A. Avron and A. Zamansky, Non-deterministic Semantics for Logical Systems, Handbook of Philosophical Logic, vol. 16, 227--304, 2011. [pdf]

Journal papers:

  • M. Baaz, O. Lahav and A. Zamansky, Finite-valued Semantics for Canonical Labelled Calculi, to appear in Journal of Automated Reasoning, 2012. [pdf]

  • O. Arieli and A. Zamansky, A Dissimilarity-Based Framework for Generating Inconsistency-Tolerant Logics, to appear in Annals of Mathematics and Artificial Intelligence, 2012. [pdf]

  • A. Avron, B. Konikowska and A. Zamansky, Cut-free Sequent Calculi for C-systems with Generalized Finite-valued Semantics, to appear in Journal of Logic and Computation, 2012. [pdf]

  • A. Avron, B. Konikowska and A. Zamansky, Systematic Construction of Analytic Calculi for Logics of Formal Inconsistency, Logic without Frontiers, Festschrift for W. A. Carnielli, J.-Y. Beziau and M. E. Coniglio eds, Tribute series, College Publications, 2012. [pdf]

  • A. Avron, O. Arieli and A. Zamansky, Ideal Paraconsistent Logics, Studia Logica 99(1--3), pages 31-60, 2011. [pdf]

  • A. Avron and A. Zamansky, Canonical Signed Calculi with Multi-ary Quantifiers, Annals of Pure and Applied Logic, 2011. [pdf]

  • A. Avron, O. Arieli and A. Zamansky, Maximal and Premaximal Paraconsistency in the Framework of Three-Valued Semantics , Studia Logica 97(1), pages 31-60, 2011. [pdf]

  • O. Arieli and A. Zamansky, A framework for reasoning under uncertainty based on non-deterministic distance semantics, International Journal of Approximate Reasoning, 52:184--211, IJA7325, 2011. [pdf]

  • O. Arieli and A. Zamansky, Simplified forms of computerized reasoning with distance semantics, Journal of Applied Logic, volume 9, issue 1, pages 1--22, 2011. [pdf]

  • O. Arieli and A. Zamansky, Distance-based non-deterministic semantics for reasoning with uncertainty, The Logic Journal of the IGPL 17(4), pages 325-350, 2009. [pdf]

  • A. Avron and A. Zamansky, Canonical systems with (n,k)-ary quantifiers. Journal of Logical Methods in Computer Science, 10.2168/LMCS-4(3:2), 2008. [pdf]

  • A. Zamansky and A. Avron, Effective non-deterministic semantics for first-order LFIs. Journal of Multiple-valued Logic and Soft Computing, 13:4-6, 335 - 352, 2007. [pdf]

  • A. Avron and A. Zamansky, Many-valued non-deterministic semantics for first-order logics of formal inconsistency. Algebraic and Proof-theoretic Aspects of Non-classical Logics, (S. Aguzzoli, A. Ciabattoni, B. Gerla, C. Manara, and V. Marra, eds.), 1--24, LNAI 4460, Springer, 2007. [pdf]

  • A. Zamansky and A. Avron, Cut Elimination and Quantification in Canonical Systems. Special Issue of Studia Logica on Cut Elimination, vol. 82, 157-176, 2006. [pdf]

  • A. Zamansky, N. Francez, Y. Winter, A `Natural Logic' inference system based on the Lambek calculus. Journal of Logic, Language and Information, vol. 15, 273 - 295, 2006. [pdf]

Conference papers:

  • A. Ciabattoni, O. Lahav, L. Spendier and A. Zamansky. Automated Support for the Investigation of Paraconsistent and Other Logics. Forthcoming in Proc. LFCS'13. [pdf]

  • A. Zamansky.Preferential Framework for Trivialization-Resistant Reasoning with Inconsistent Information. Proceedings of JELIA'12. [pdf]

  • A. Avron, B. Konikowska and A. Zamansky. Modular Construction of Cut-free Sequent Calculi for Paraconsistent Logics. Proceedings of LICS'12. [pdf]

  • M. Baaz, O. Lahav and A. Zamansky. Effective Finite-valued Semantics for Labelled Calculi.Proceedings of IJCAR'12. [pdf]

  • O. Arieli and A. Zamansky. Inconsistency-tolerance in knowledge-based systems by dissimilarities. Proc. 7th International Symposium on Foundations of Information and Knowledge Systems (FoIKS'12), LNCS 7153, pages 34-50, Springer, 2012. [pdf]

  • A. Ciabattoni, O. Lahav and A. Zamansky, Basic Constructive Connectives, Determinism and Matrix-based Semantics, Proceedings of Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX'11), 119--134, LNAI6793, 2011. [pdf]

  • O. Arieli, A. Avron and A. Zamansky, What is an ideal logic for reasoning with inconsistency? Proceedings of the 22nd International Joint Conference on Artificial Intelligence (IJCAI'11), AAAI Press, 706-711, 2011. [pdf]

  • O. Arieli and A. Zamansky, Similarity-based inconsistency-tolerant logics Proc. 12th European Conf. on Logics in Artificial Intelligence (JELIA'10), Springer, LNAI6341, 11--23, 2010. [pdf]

  • A. Avron, O. Arieli and A. Zamansky, On strong maximality of paraconsistent finite-valued logics Proc. 25th Ann. Symp. on Logic in Computer Science (LICS'10), IEEE Press, 2010. [pdf]

  • A. Avron and A. Zamansky, Non-deterministic Multi-valued Logics - A Tutorial. Proceedings of ISMVL, 2010. [pdf]

  • A. Avron, O. Arieli, and A. Zamansky, Maximally Paraconsistent Three-Valued Logics. Proc. 12th International Conference on Principles of Knowledge Representation and Reasoning (KR'10), pages 310-318, AAAI Press, 2010. [pdf]

  • O. Arieli and A. Zamansky, Non-Deterministic Distance Semantics for Handling Incomplete and Inconsistent Data. Proc. 10th European Conf. on Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQARU'09), LNAI 5590, pages 793 -- 804, Springer, 2009.[pdf]

  • A. Avron, A. Ciabattoni, and A. Zamansky, Canonical Calculi: Invertibility, Axiom-Expansion and (Non)-determinism. Proceedings of the 4th Computer Science Symposium in Russia, CSR2009, LNCS 5675, 26--37, Springer, 2009. [pdf]

  • A. Avron and A. Zamansky, Signed Calculi, Non-deterministic Matrices and Cut-elimination. Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS09), Florida, LNCS 5407, 31 -- 46, Springer, 2009. [pdf]

  • O. Arieli and A. Zamansky, Reasoning with Uncertainty by Nmatrix-Metric Semantics. Proceedings of the 15th Workshop on Logic, Language, Information and Computation (WoLLIC'08), Edinburgh, Scotland, LNAI 5110, 69--82, Springer, 2008. [pdf]

  • O. Arieli and A. Zamansky, Some Simplified Forms of Reasoning with Distance-Based Entailments. Proceedings of the 21st Canadian Conference on Artificial Intelligence (AI'08), Windsor, Ontario, LNAI 5032, 36--47, Springer, 2008. [pdf]

  • A. Avron and A. Zamansky, A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics. Proceedings of The Third International Computer Science Symposium in Russia, LNCS 5010, 52--64, Springer, 2008.[pdf]

  • O. Arieli and A. Zamansky, Distance-based Non-deterministic Semantics. Proceedings of the first AGI conference, P.Wang, B.Goertzel and S.Franklin, editors Frontiers in Artificial Intelligence and Applications, Volume 171, 39--50, IOS Press, 2008.[pdf]

  • A. Avron and A. Zamansky, Non-deterministic Multi-valued Matrices for First-order Logics of Formal Inconsistency. Proceedings of the 37th International Symposium on Multiple-Valued Logic (ISMVL07), Oslo, Norway, 2007. [pdf]

  • A. Avron and A. Zamansky, Generalized non-deterministic matrices and (n,k)-ary quantifiers. Proceedings of the Symposium on Logical Foundations of Computer Science (LFCS07), Artemov S. and Nerode A. eds, LNCS 4514, 26--40, Springer, 2007. [pdf]

  • A. Zamansky and A. Avron, Canonical Gentzen-type calculi with (n,k)-ary quantifiers. Proceedings of the 3rd International Joint Conference on Automated Reasoning, U. Furbach and N. Shankar eds., LNAI 4130, vol. 82(1), 251--265, 2006, Seattle, WA. [pdf]

  • A. Zamansky and A. Avron, Non-deterministic semantics for first-order paraconsistent logics. Proceedings of the 10th International Conference on Knowledge Representation, 431--440, 2006, Lake District, UK. [pdf]

  • A. Avron and A. Zamansky, Quantification in Non-deterministic Multi-valued Structures. Proceedings of the 35-th International Symposium on Multi-valued Logic, 296--301, 2005, Calgary, Canada. [pdf]

  • A. Zamansky, N. Francez and Y. Winter, A Natural Logic inference system using normalization. Proceedings of the 4-th workshop on Inference in Computational Semantics, Nancy, France, 2003. [pdf]

  • A. Zamansky, N. Francez and Y. Winter, An order-based inference system using the Lambek calculus. Proceedings of the 7-th conference on Formal Grammar, Trento, Italy, 2002. [ps]

Theses:

  • M.Sc Thesis, A `Natural Logic' inference system based on the Lambek calculus. Technion, Haifa, 2004 [pdf]
  • Ph.D Thesis, Non-deterministic Multi-valued Logics and their Applications. Tel-Aviv University, 2009 [pdf]



Talks and Presentations:


Invited Talks:

Tutorials and Courses:

  • A. Avron and A. Zamansky, A Tutorial on Non-deterministic Semantics [part1][part2][part3], UNILOG, Brazil, Rio de Janeiro, 2013.

  • A. Avron and A. Zamansky, A Tutorial on Canonical Systems [pdf], Tableaux'09, Oslo, Norway, 2009.

  • A. Avron, B. Konikowska and A. Zamansky, Introduction to Non-deterministic Matrices [pdf], 2 week course for ESSLLI'09, Bordeaux, France, 2009.