Publications: Dr Mehrnoosh Sadrzadeh
Hedges J, Sadrzadeh M(2019).
A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE
vol. 29,
(6)
783-809.
Kennedy J, Silva A, De Queiroz R, Sadrzadeh M(2018).
24TH WORKSHOP ON LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WoLLIC 2017) CO-SPONSORED BY THE ASSOCIATION FOR SYMBOLIC LOGIC London, UK July 18-21, 2017. BULLETIN OF SYMBOLIC LOGIC
vol. 24,
(3)
386-387.
Sadrzadeh M, Kartsaklis D, Balkir E(2018).
Sentence entailment in compositional distributional semantics. Annals of Mathematics and Artificial Intelligence
vol. 82,
Article 4,
189-218.
Kartsaklis D, SADRZADEH M (2017).
A Compositional Distributional Inclusion Hypothesis. to appear in Lecture Notes in Theoretical Computer Science.
Editors: Retore, C, Amblard, M, de Groote, P, Pogodalla, S et al.,
Conference: Logical Aspects of Computational Linguistics
(Nancy, France)
from: 07/12/2016
to: 05/12/2016,
Sadrzadeh M(2017).
Quantization, Frobenius and Bi Algebras from the Categorical Framework of Quantum Mechanics to Natural Language Semantics. FRONTIERS IN PHYSICS
vol. 5,
Article ARTN 18,
Kartsaklis D, Ramgoolam S, Sadrzadeh M(2017).
Linguistic Matrix Theory. CoRR
vol. abs/1703.10252,
(2017).
Logic, Language, and Computation - 11th International Tbilisi Symposium, TbiLLC 2015, Tbilisi, Georgia, September 21-26, 2015, Revised Selected Papers. TbiLLC.
Editors: Hansen, HH, Murray, SE, Sadrzadeh, M, Zeevat, H et al.,
vol. 10148,
Cvetko-Vah K, Sadrzadeh M, Kartsaklis D, Blundell B (2017).
Non-commutative Logic for Compositional Distributional Semantics. LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION.
vol. 10388,
110-124.
(2017).
Proceedings of the 15th Meeting on the Mathematics of Language, MOL 2017, London, UK, July 13-14, 2017. MOL.
Editors: Kanazawa, M, Groote, PD, Sadrzadeh, M,
SADRZADEH M (2016).
Quantifier Scope in Categorical Compositional Distributional Semantics. http://eptcs.web.cse.unsw.edu.au/content.cgi?SLPCS2016.
Editors: Kartsaklis, D, Lewis, MARTHA, Rimell, L,
Conference: Workshop on Semantic Spaces at the Intersection of NLP, Physics and Cognitive Science
(Glasgow)
from: 11/06/2016
to: 11/06/2016,
vol. 221,
49-57.
Sadrzadeh M, Clark S, Coecke B(2016).
The Frobenius anatomy of word meanings II: possessive relative pronouns*. JOURNAL OF LOGIC AND COMPUTATION
vol. 26,
(2)
785-815.
Sadrzadeh M, Kartsaklis D (2016).
Compositional Distributional Models of Meaning. COLING (Tutorials).
1-4.
Muskens R, Sadrzadeh M (2016).
Context Update for Lambdas and Vectors. LOGICAL ASPECTS OF COMPUTATIONAL LINGUISTICS: CELEBRATING 20 YEARS OF LACL (1996-2016).
vol. 10054,
247-254.
Kartsaklis D, Sadrzadeh M(2016).
Distributional Inclusion Hypothesis for Tensor-based Composition. COLING2849-2860.
Milajevs D, Sadrzadeh M, Purver M (2016).
Robust co-occurrence quantification for lexical distributional semantics. 54th Annual Meeting of the Association for Computational Linguistics, ACL 2016 - Student Research Workshop.
58-64.
Sadrzadeh M, Clark S, Coecke B(2016).
The Frobenius anatomy of word meanings II: possessive relative pronouns. J. Log. Comput.
vol. 26,
Article 2,
785-815.
Piedeleu R, Kartsaklis D, Coecke B, Sadrzadeh M(2015).
Open system categorical quantum semantics in natural language processing. Leibniz International Proceedings in Informatics, LIPIcs
vol. 35,
270-289.
Milajevs D, Sadrzadeh M, Roelleke T (2015).
IR meets NLP: On the semantic similarity between subject-verb-object phrases. ICTIR 2015 - Proceedings of the 2015 ACM SIGIR International Conference on the Theory of Information Retrieval.
231-240.
Grefenstette E, Sadrzadeh M(2015).
Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning. COMPUTATIONAL LINGUISTICS
vol. 41,
(1)
71-118.
Kartsaklis D, Sadrzadeh M(2015).
A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics. CoRR
vol. abs/1505.06294,
Balkir E, Sadrzadeh M, Coecke B(2015).
Distributional Sentence Entailment Using Density Matrices. CoRR
vol. abs/1506.06534,
Purver M, Sadrzadeh M, Stone M (2015).
Introduction. IWCS 2015 - Proceedings of the 11th International Conference on Computational Semantics.
Piedeleu R, Kartsaklis D, Coecke B, Sadrzadeh M (2015).
Open System Categorical Quantum Semantics in Natural Language Processing. CALCO.
Editors: Moss, LS, Sobocinski, P,
vol. 35,
270-289.
(2015).
Proceedings of the 11th International Conference on Computational Semantics, IWCS 2015, 15-17 April, 2015, Queen Mary University of London, London, UK. IWCS.
Editors: Purver, M, Sadrzadeh, M, Stone, M,
Milajevs D, Kartsaklis D, Sadrzadeh M, Purver M (2014).
Evaluating Neural Word Representations in Tensor-Based Compositional Settings. Proceedings of the 2014 Conference on Empirical Methods in Natural Language Processing (EMNLP).
708-719.
KARTSAKLIS D, SADRZADEH, M(2014).
A Study of Entanglement in a Categorical Framework of Natural Language. Quantum Physics and Logic 2014 (QPL 2014) EPTCS 172249-261.
Ma M, Palmigiano A, Sadrzadeh M(2014).
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic. ANNALS OF PURE AND APPLIED LOGIC
vol. 165,
(4)
963-995.
Kartsaklis D, Sadrzadeh M(2014).
A study of entanglement in a categorical framework of natural language. Electronic Proceedings in Theoretical Computer Science, EPTCS
vol. 172,
249-261.
Milajevs D, Kartsaklis D, Sadrzadeh M, Purver M (2014).
Evaluating Neural Word Representations in Tensor-Based Compositional Settings. EMNLP.
Editors: Moschitti, A, Pang, B, Daelemans, W,
708-719.
Kartsaklis D, Sadrzadeh M, Pulman S, Coecke B(2014).
Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras. CoRR
vol. abs/1401.5980,
Kartsaklis D, Kalchbrenner N, Sadrzadeh M(2014).
Resolving Lexical Ambiguity in Tensor Regression Models of Meaning. CoRR
vol. abs/1408.6181,
Kartsaklis D, Kalchbrenner N, Sadrzadeh M (2014).
Resolving lexical ambiguity in tensor regression models of meaning. 52nd Annual Meeting of the Association for Computational Linguistics, ACL 2014 - Proceedings of the Conference.
vol. 2,
212-217.
Abramsky S, Sadrzadeh M(2014).
Semantic Unification - A Sheaf Theoretic Approach to Natural Language. Categories and Types in Logic, Language, and Physics
vol. 8222,
1-13.
Abramsky S, Sadrzadeh M(2014).
Semantic Unification A sheaf theoretic approach to natural language. CoRR
vol. abs/1403.3351,
Sadrzadeh M, Clark S, Coecke B(2014).
The Frobenius anatomy of word meanings I: subject and object relative pronouns. CoRR
vol. abs/1404.5278,
Casadio C, Sadrzadeh M (2014).
Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars. Horizons of the Mind.
Editors: Breugel, FV, Kashefi, E, Palamidessi, C, Rutten, J et al.,
vol. 8464,
229-249.
Sadrzadeh M, Clark S, Coecke B(2013).
The Frobenius anatomy of word meanings I: subject and object relative pronouns. JOURNAL OF LOGIC AND COMPUTATION
vol. 23,
(6)
1293-1317.
Dyckhoff R, Sadrzadeh M, Truffaut J(2013).
Algebra, Proof Theory and Applications for an Intuitionistic Logic of Propositions, Actions and Adjoint Modal Operators. ACM TRANSACTIONS ON COMPUTATIONAL LOGIC
vol. 14,
(4)
Article ARTN 34,
Coecke B, Grefenstette E, Sadrzadeh M(2013).
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus. ANNALS OF PURE AND APPLIED LOGIC
vol. 164,
(11)
1079-1100.
Clark S, Coecke B, Grefenstette E, Pulman S, Sadrzadeh M(2013).
A quantum teleportation inspired algorithm produces sentence meaning from word meaning and grammatical structure. CoRR
vol. abs/1305.0556,
SADRZADEH M, Dychoff R, Truffaut J(2013).
Algebra, Proof Theory and Applications for an Intuitionistic Logic of
Propositions, Actions and Adjoint Modal Operators. ACM Transactions on Computational Logic (TOCL)
vol. 14,
(4)
Article 42,
Coecke B, Grefenstette E, Sadrzadeh M(2013).
Lambek vs. Lambek: Functorial vector space semantics and string diagrams for Lambek calculus. Ann. Pure Appl. Logic
vol. 164,
Article 11,
1079-1100.
Grefenstette E, Dinu G, Zhang Y-Z, Sadrzadeh M, Baroni M(2013).
Multi-Step Regression Learning for Compositional Distributional Semantics. CoRR
vol. abs/1301.6939,
Grefenstette E, Dinu G, Zhang Y-Z, Sadrzadeh M, Baroni M (2013).
Multi-Step Regression Learning for Compositional Distributional Semantics. IWCS.
Editors: Erk, K, Koller, A,
131-142.
Kartsaklis D, Sadrzadeh M (2013).
Prior disambiguation of word tensors for constructing sentence vectors. EMNLP 2013 - 2013 Conference on Empirical Methods in Natural Language Processing, Proceedings of the Conference.
1590-1601.
Kartsaklis D, Sadrzadeh M, Pulman S (2013).
Separating Disambiguation from Composition in Distributional Semantics. CoNLL.
Editors: Hockenmaier, J, Riedel, S,
114-123.
Clark S, Coecke B, Sadrzadeh M (2013).
The Frobenius Anatomy of Relative Pronouns. MOL.
Editors: Kornai, A, Kuhlmann, M,
41-51.
Kartsaklis D, Sadrzadeh M, Pulman S (2012).
A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments. COLING (Posters).
Editors: Kay, M, Boitet, C,
549-558.
Dyckhoff R, Sadrzadeh M, Truffaut J(2012).
Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators. Electr. Notes Theor. Comput. Sci.
vol. 286,
157-172.
Pardo P, Sadrzadeh M (2012).
Backward Planning in the Logics of Communication and Change. AT.
Editors: Ossowski, S, Toni, F, Vouros, GA,
vol. 918,
231-245.
Pardo P, Sadrzadeh M (2012).
Planning in the logics of communication and change. AAMAS.
Editors: Hoek, WVD, Padgham, L, Conitzer, V, Winikoff, M et al.,
1231-1232.
Pardo P, Sadrzadeh M (2012).
Strong Planning in the Logics of Communication and Change. DALT.
Editors: Baldoni, M, Dennis, LA, Mascardi, V, Vasconcelos, WW et al.,
vol. 7784,
37-56.
Grefenstette E, Sadrzadeh M(2011).
Experimental Support for a Categorical Compositional Distributional
Model of Meaning. Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing (2011)1394-1404.
Sadrzadeh M, Grefenstette E(2011).
A Compositional Distributional Semantics, Two Concrete Constructions, and Some Experimental Evaluations. QUANTUM INTERACTION
vol. 7052,
35-47.
Sadrzadeh M, Grefenstette E (2011).
A Compositional Distributional Semantics, Two Concrete Constructions, and Some Experimental Evaluations. QI.
Editors: Song, D, Melucci, M, Frommholz, I, Zhang, P et al.,
vol. 7052,
35-47.
Sadrzadeh M, Palmigiano A, Ma M (2011).
Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic. LORI.
Editors: Ditmarsch, HV, Lang, J, Ju, S,
vol. 6953,
394-395.
Sadrzadeh M (2011).
An Adventure into Hungarian Word Order with Cyclic Pregroups. MODELS, LOGICS, AND HIGHER-DIMENSIONAL CATEGORIES: A TRIBUTE TO THE WORK OF MIHALY MAKKAI.
vol. 53,
263-275.
Preller A, Sadrzadeh M(2011).
Bell States and Negative Sentences in the Distributed Model of Meaning. Electr. Notes Theor. Comput. Sci.
vol. 270,
Article 2,
141-153.
D'Hondt E, Sadrzadeh M(2011).
Classical Knowledge for Quantum Security. Electr. Notes Theor. Comput. Sci.
vol. 270,
Article 1,
155-163.
Grefenstette E, Sadrzadeh M, Clark S, Coecke B, Pulman S(2011).
Concrete Sentence Spaces for Compositional Distributional Models of Meaning. CoRR
vol. abs/1101.0309,
Grefenstette E, Sadrzadeh M, Clark S, Coecke B, Pulman S (2011).
Concrete Sentence Spaces for Compositional Distributional Models of Meaning. IWCS.
Editors: Bos, J, Pulman, S,
Casadio C, Sadrzadeh M (2011).
Cyclic pregroups and natural language: a computational algebraic analysis. CILC.
Editors: Fioravanti, F,
vol. 810,
349-363.
Grefenstette E, Sadrzadeh M (2011).
Experimental Support for a Categorical Compositional Distributional Model of Meaning. Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing.
Conference: Empirical Methods in Natural Language Processing
(John McIntyre Conference Centre, Edinburgh)
from: 27/07/2011
to: 31/07/2011,
1394-1404.
Grefenstette E, Sadrzadeh M(2011).
Experimenting with Transitive Verbs in a DisCoCat. CoRR
vol. abs/1107.3119,
Preller A, Sadrzadeh M(2011).
Semantic Vector Models and Functional Models for Pregroup Grammars. Journal of Logic, Language and Information
vol. 20,
Article 4,
419-443.
Ghadimi A, Sadrzadeh M, Mohammadi T(2010).
Prediction of ternary gas permeation through synthesized PDMS membranes by using Principal Component Analysis (PCA) and fuzzy logic (FL). JOURNAL OF MEMBRANE SCIENCE
vol. 360,
(1-2)
509-521.
Sadrzadeh M, Dyckhoff R(2010).
POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION. REVIEW OF SYMBOLIC LOGIC
vol. 3,
(3)
351-373.
Coecke B, Sadrzadeh M, Clark S(2010).
Mathematical Foundations for a Compositional Distributional Model of
Meaning. Lambek Festschirft, special issue of Linguistic Analysis, 2010.
Panangaden P, Phillips C, Precup D, Sadrzadeh M (2010).
An Algebraic Approach to Dynamic Epistemic Logic. Description Logics.
Editors: Haarslev, V, Toman, D, Weddell, GE,
vol. 573,
Panangaden P, Sadrzadeh M (2010).
Learning in a Changing World, an Algebraic Modal Logical Approach. AMAST.
Editors: Johnson, M, Pavlovic, D,
vol. 6486,
128-141.
Sadrzadeh M, Dyckhoff R(2010).
Positive Logic with adjoint Modalities: Proof Theory, Semantics, and Reasoning about Information. Rew. Symb. Logic
vol. 3,
Article 3,
351-373.
Panangaden P, Sadrzadeh M (2010).
Towards a Logic for Reasoning About Learning in a Changing World. LAM@LICS.
Editors: Müller, B,
vol. 7,
82-95.
Sadrzadeh M(2009).
Ockham's razor and reasoning about information flow. SYNTHESE
vol. 167,
(2)
391-408.
Richards S, Sadrzadeh M(2009).
Aximo: Automated Axiomatic Reasoning for Information Update. Electr. Notes Theor. Comput. Sci.
vol. 231,
211-225.
Casadio C, Sadrzadeh M (2009).
Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach. TbiLLC.
Editors: Bezhanishvili, N, Löbner, S, Schwabe, K, Spada, L et al.,
vol. 6618,
197-214.
Sadrzadeh M(2009).
Ockham's razor and reasoning about information flow. Synthese
vol. 167,
Article 2,
391-408.
Sadrzadeh M, Dyckhoff R(2009).
Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information. Electr. Notes Theor. Comput. Sci.
vol. 249,
451-470.
Pucella R, Sadrzadeh M (2008).
A Runs-and-Systems Semantics for Logics of Announcements. LOFT.
Editors: Bonanno, G, Löwe, B, Hoek, WVD,
vol. 6006,
112-134.
D'Hondt E, Sadrzadeh M(2008).
Classical Knowledge for Quantum Security. CoRR
vol. abs/0808.3574,
Cîrstea C, Sadrzadeh M(2008).
Modular Games for Coalgebraic Fixed Point Logics. Electr. Notes Theor. Comput. Sci.
vol. 203,
Article 5,
71-92.
Baltag A, Coecke B, Sadrzadeh M(2007).
Epistemic actions as resources. JOURNAL OF LOGIC AND COMPUTATION
vol. 17,
(3)
555-585.
Cîrstea C, Sadrzadeh M (2007).
Coalgebraic Epistemic Update Without Change of Model. CALCO.
Editors: Mossakowski, T, Montanari, U, Haveraaen, M,
vol. 4624,
158-172.
Sadrzadeh M (2007).
High Level Quantum Structures in Linguistics and Multi Agent Systems. AAAI Spring Symposium: Quantum Interaction.
9-16.
Baltag A, Sadrzadeh M(2006).
The Algebra of Multi-Agent Dynamic Belief Revision. Electr. Notes Theor. Comput. Sci.
vol. 157,
Article 4,
37-56.
Baltag A, Coecke B, Sadrzadeh M(2005).
Algebra and Sequent Calculus for Epistemic Actions. Electr. Notes Theor. Comput. Sci.
vol. 126,
27-52.
Marion M, Sadrzadeh M(2004).
Reasoning About Knowledge In Linear Logic: Modalities and Complexity. Logic, Epistemology, and the Unity of Science,
Editors: Rahman, S, Symons, J, Gabbay, DM, Bendegem, JPV et al.,
vol. 1,
Springer