Mehrnoosh Sadrzadeh : Publications
Books
|
[1] |
Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse Chris Heunen‚ Mehrnoosh Sadrzadeh and Edward Grefenstette, editors Oxford University Press. February, 2013. |
Book chapters
|
[1] |
Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh‚ Stephen Pulman and Bob Coecke In A. Chubb J. Eskandarian and V. Harizanov, editors, Logic and Algebraic Structures in Quantum Computing and Information. Cambridge University Press. 2013 (To appear). |
|
[2] |
Reasoning about Knowledge in Linear Logic: Modalities and Complexity M. Marion and M. Sadrzadeh In J. P. van Bendegem S. Rahman J. Symons D. M. Gabbay, editor, Logic‚ Epistemology‚ and the Unity of Science. Kluwer. 2004. |
|
[3] |
Pregroup Analysis of Persian Sentences Mehrnoosh Sadrzadeh In C. Casadio and J. Lambek, editors, Recent computational algebraic approaches to morphology and syntax. Polimetrica. 2008. |
Journal papers
|
[1] |
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus Bob Coecke‚ Edward Grefenstette and Mehrnoosh Sadrzadeh In Annals of Pure and Applied Logic. 2013. |
|
[2] |
Multi−Step Regression Learning for Compositional Distributional Semantics Edward Grefenstette‚ Georgiana Dinu‚ Yao−Zhong Zhang‚ Mehrnoosh Sadrzadeh and Marco Baroni In Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013). 2013. |
|
[3] |
A Unified Sentence Space for Categorical Distributional−Compositional Semantics: Theory and Experiments Dimitri Kartsaklis‚ Mehrnoosh Sadrzadeh and Stephen Pulman In Proceedings of 24th International Conference on Computational Linguistics (COLING): Posters. 2012. |
|
[4] |
Experimenting with Transitive Verbs in a DisCoCat Edward Grefenstette and Mehrnoosh Sadrzadeh In Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics. 2011. |
|
[5] |
Experimental Support for a Categorical Compositional Distributional Model of Meaning Edward Grefenstette and Mehrnoosh Sadrzadeh In Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing. 2011. |
|
[6] |
A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations Mehrnoosh Sadrzadeh and Edward Grefenstette In Lecture Notes in Computer Science. Vol. 7052. Pages 35–47. 2011. |
|
[7] |
Concrete Sentence Spaces for Compositional Distributional Models of Meaning Edward Grefenstette‚ Mehrnoosh Sadrzadeh‚ Stephen Clark‚ Bob Coecke and Stephen Pulman In Proceedings of the 9th International Conference on Computational Semantics (IWCS11). Pages 125–134. 2011. |
|
[8] |
Semantic Vector Space and Functional Models for Pregroup Grammars A. Preller and M. Sadrzadeh In Journal of Logic Language Information (JoLLI)‚ to appear.. 2011. |
|
[9] |
Learning in a Changing World: an algebraic modal logical approach Prakash Panagaden and Mehrnoosh Sadrzadeh In LNCS proceedings of AMAST‚ 2010.. 2010. |
|
[10] |
An Adventure into Hungarian Word Order with Cyclic Pregroups Mehrnoosh Sadrzadeh In AMS−CRM proceedings of Makkai Fest.. 2010. |
|
[11] |
Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information Mehrnoosh Sadrzadeh and Roy Dyckhoff In Review of Symbolic Logic. Vol. 3. Pages 351−373. 2010. |
|
[12] |
Mathematical Foundations for a Compositional Distributed Model of Meaning M. Sadrzadeh B. Coecke and S. Clark In Lambek Festschirft‚ Linguistic Analysis‚ vol. 36. Vol. 36. 2010. Details | BibTeX | Download (pdf) | Link |
|
[13] |
Bell States as Negation in Natural Languages Anne Preller and Mehrnoosh Sadrzadeh In ENTCS‚ QPL‚ University of Oxford‚ April 2009.. 2009. |
|
[14] |
Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information Mehrnoosh Sadrzadeh and Roy Dyckhoff In Electronic Notes in Theoretical Computer Science. Vol. 249. Pages 451 − 470. 2009. Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009) Details | BibTeX | Download (pdf) | Link |
|
[15] |
Modal Linear Logic in Higher Order Logic‚ an experiment in Coq Mehrnoosh Sadrzadeh In Emerging Trends‚ TPHOLS‚ Rome‚ 2003.. 2003. |
|
[16] |
The Algebra of Multi−Agent Dynamic Belief Revision A. Baltag and M. Sadrzadeh In Electronic Notes in Theoretical Computer Science. 2006. |
|
[17] |
Relating Algebraic and Coalgebraic Logics of Knowledge and Update C. Cirstea and M. Sadrzadeh In LOFT‚ University of Liverpool‚ 2006.. 2006. |
|
[18] |
Coalgebraic Epistemic Update without Change of Model C. Cirstea and M. Sadrzadeh In LNCS‚ CALCO‚ Bergen‚ August 2007.. 2007. |
|
[19] |
A Distributional Compositional Model of Meaning M. Sadrzadeh S. Clark B. Coecke In QI‚ College Publications‚ University of Oxford‚ March 2008.. 2008. |
|
[20] |
Epistemic Actions as Resources M. Sadrzadeh A. Baltag B. Coecke In Journal of Logic and Computation. Vol. 17. Pages 555−585. 2007. |
|
[21] |
Aximo: Automated Axiomatic Reasoning for Information Update Simon Richards and Mehrnoosh Sadrzadeh In Electronic Notes in Theoretical Computer Science (ENTCS). 2009. |
|
[22] |
Ockham's Razor and Reasoning about Information Flow Mehrnoosh Sadrzadeh In Synthese. Vol. 167. Pages 391 − 408. 2008. Knowledge Rationality Action Issue |
|
[23] |
A Runs−and−Systems Semantics for Logics of Announcement Riccardo Pucella and Mehrnoosh Sadrzadeh In LNCS‚ volume 6006‚ Subseries FoLLI−LNAI. 2009. |
Conference papers
|
[1] |
Clitic Movement in Pregroup Grammar: a Cross−linguistic Approach Claudia Casadio and Mehrnoosh Sadrzadeh 2010. |
|
[2] |
High Level Quantum Structures in Linguistics and Multi Agent Systems Mehrnoosh Sadrzadeh Stanford University. 2007. |
|
[3] |
Classical Knowledge for Quantum Security Ellie D'hondt and Mehrnoosh Sadrzadeh In ENTCS proceedings of QPL‚ Iceland‚ April 2008.. 2008. |
Technical reports
|
[1] |
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic Roy Dyckhoff and Mehrnoosh Sadrzadeh No. RR−10−11. OUCL. June, 2010. |
|
[2] |
Implementation of a cut−free sequent calculus for logics with adjoint modalities M. Sadrzadeh J. Kriener and R. Dyckhoff 2009. Details | BibTeX | Download (pdf) | Link |
Theses
|
[1] |
Actions and Resources in Epistemic Logic Mehrnoosh Sadrzadeh PhD Thesis 2006. |
Miscellaneous
|
[1] |
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic Minghui Ma‚ Alessandra Palmigiano and Mehrnoosh Sadrzadeh 2011. |