Publications :: Search

Show author

On this page you see the details of the selected author.

Author information
First name:	Anna
Last name:	Zamansky
DBLP:	96/2875
Rating:	(not rated yet)
Bookmark:

Below you find the publications which have been written by this author.

Show item 1 to 17 of 17  

Select a publication
Show	Title	Venue	Rating	Date
	Arnon Avron, Agata Ciabattoni, Anna Zamansky. Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism.	Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings 2009	(0)	2009
	Ofer Arieli, Anna Zamansky. Non-deterministic Distance Semantics for Handling Incomplete and Inconsistent Data.	Symbolic and Quantitative Approaches to Reasoning with Uncertainty, 10th European Conference, ECSQARU 2009, Verona, Italy, July 1-3, 2009. Proceedings 2009	(0)	2009
	Arnon Avron, Anna Zamansky. Canonical Signed Calculi, Non-deterministic Matrices and Cut-Elimination.	Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings 2009	(0)	2009
	Ofer Arieli, Anna Zamansky. Some Simplified Forms of Reasoning with Distance-Based Entailments.	Advances in Artificial Intelligence , 21st Conference of the Canadian Society for Computational Studies of Intelligence, Canadian AI 2008, Windsor, Canada, May 28-30, 2008, Proceedings 2008	(0)	2008
	Arnon Avron, Anna Zamansky. A Triple Correspondence in Canonical Calculi: Strong Cut-Elimination, Coherence, and Non-deterministic Semantics.	Computer Science - Theory and Applications, Third International Computer Science Symposium in Russia, CSR 2008, Moscow, Russia, June 7-12, 2008, Proceedings 2008	(0)	2008
	Ofer Arieli, Anna Zamansky. Reasoning with Uncertainty by Nmatrix-Metric Semantics.	Logic, Language, Information and Computation, 15th International Workshop, WoLLIC 2008, Edinburgh, UK, July 1-4, 2008, Proceedings 2008	(0)	2008
	Ofer Arieli, Anna Zamansky. Distance-Based Non-Deterministic Semantics.	Artificial General Intelligence 2008, Proceedings of the First AGI Conference, AGI 2008, March 1-3, 2008, University of Memphis, Memphis, TN, USA 2008	(0)	2008
	Arnon Avron, Anna Zamansky. Canonical calculi with (n,k)-ary quantifiers	CoRR 2008, Volume 0	(0)	2008
	Arnon Avron, Anna Zamansky. Canonical Calculi with (n, k)-ary Quantifiers.	Logical Methods in Computer Science 2008, Volume 4	(0)	2008
	Arnon Avron, Anna Zamansky. Non-deterministic Multi-valued Matrices for First-Order Logics of Formal Inconsistency.	37th International Symposium on Multiple-Valued Logic, ISMVL 2007, 13-16 May 2007, Oslo, Norway 2007	(0)	2007
	Arnon Avron, Anna Zamansky. Generalized Non-deterministic Matrices and (n, k)-ary Quantifiers.	Logical Foundations of Computer Science, International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings 2007	(0)	2007
	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, Papers in Honor of Daniele Mundici on the Occasion of His 60th birthday 2007	(0)	2006
	Anna Zamansky, Arnon Avron. Canonical Gentzen-Type Calculi with (n, k)-ary Quantifiers.	Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 2006	(0)	2006
	Anna Zamansky, Arnon Avron. Non-Deterministic Semantics for First-Order Paraconsistent Logics.	Proceedings, Tenth International Conference on Principles of Knowledge Representation and Reasoning, Lake District of the United Kingdom, June 2-5, 2006 2006	(0)	2006
	Anna Zamansky, Nissim Francez, Yoad Winter. A 'Natural Logic' inference system using the Lambek calculus.	Journal of Logic, Language and Information 2006, Volume 15	(0)	2006
	Anna Zamansky, Arnon Avron. Cut-Elimination and Quantification in Canonical Systems.	Studia Logica 2006, Volume 82	(0)	2006
	Arnon Avron, Anna Zamansky. Quantification in Non-Deterministic Multi-Valued Structures.	35th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2005), 18-21 May 2005, Calgary, Canada 2005	(0)	2005

Your query returned 17 matches in the database.