Mehrnoosh Sadrzadeh : Publications
|
[1] |
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. |
|
[2] |
A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic Roy Dyckhoff and Mehrnoosh Sadrzadeh No. RR−10−11. OUCL. June, 2010. |
|
[3] |
A Distributional Compositional Model of Meaning M. Sadrzadeh S. Clark B. Coecke In QI‚ College Publications‚ University of Oxford‚ March 2008.. 2008. |
|
[4] |
A Runs−and−Systems Semantics for Logics of Announcement Riccardo Pucella and Mehrnoosh Sadrzadeh In LNCS‚ volume 6006‚ Subseries FoLLI−LNAI. 2009. |
|
[5] |
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. |
|
[6] |
Actions and Resources in Epistemic Logic Mehrnoosh Sadrzadeh PhD Thesis 2006. |
|
[7] |
Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic Minghui Ma‚ Alessandra Palmigiano and Mehrnoosh Sadrzadeh 2011. |
|
[8] |
An Adventure into Hungarian Word Order with Cyclic Pregroups Mehrnoosh Sadrzadeh In AMS−CRM proceedings of Makkai Fest.. 2010. |
|
[9] |
Aximo: Automated Axiomatic Reasoning for Information Update Simon Richards and Mehrnoosh Sadrzadeh In Electronic Notes in Theoretical Computer Science (ENTCS). 2009. |
|
[10] |
Bell States as Negation in Natural Languages Anne Preller and Mehrnoosh Sadrzadeh In ENTCS‚ QPL‚ University of Oxford‚ April 2009.. 2009. |
|
[11] |
Classical Knowledge for Quantum Security Ellie D'hondt and Mehrnoosh Sadrzadeh In ENTCS proceedings of QPL‚ Iceland‚ April 2008.. 2008. |
|
[12] |
Clitic Movement in Pregroup Grammar: a Cross−linguistic Approach Claudia Casadio and Mehrnoosh Sadrzadeh 2010. |
|
[13] |
Coalgebraic Epistemic Update without Change of Model C. Cirstea and M. Sadrzadeh In LNCS‚ CALCO‚ Bergen‚ August 2007.. 2007. |
|
[14] |
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. |
|
[15] |
Epistemic Actions as Resources M. Sadrzadeh A. Baltag B. Coecke In Journal of Logic and Computation. Vol. 17. Pages 555−585. 2007. |
|
[16] |
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. |
|
[17] |
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. |
|
[18] |
High Level Quantum Structures in Linguistics and Multi Agent Systems Mehrnoosh Sadrzadeh Stanford University. 2007. |
|
[19] |
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 |
|
[20] |
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. |
|
[21] |
Learning in a Changing World: an algebraic modal logical approach Prakash Panagaden and Mehrnoosh Sadrzadeh In LNCS proceedings of AMAST‚ 2010.. 2010. |
|
[22] |
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 |
|
[23] |
Modal Linear Logic in Higher Order Logic‚ an experiment in Coq Mehrnoosh Sadrzadeh In Emerging Trends‚ TPHOLS‚ Rome‚ 2003.. 2003. |
|
[24] |
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. |
|
[25] |
Ockham's Razor and Reasoning about Information Flow Mehrnoosh Sadrzadeh In Synthese. Vol. 167. Pages 391 − 408. 2008. Knowledge Rationality Action Issue |
|
[26] |
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. |
|
[27] |
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 |
|
[28] |
Pregroup Analysis of Persian Sentences Mehrnoosh Sadrzadeh In C. Casadio and J. Lambek, editors, Recent computational algebraic approaches to morphology and syntax. Polimetrica. 2008. |
|
[29] |
Quantum Physics and Linguistics: A Compositional‚ Diagrammatic Discourse Chris Heunen‚ Mehrnoosh Sadrzadeh and Edward Grefenstette, editors Oxford University Press. February, 2013. |
|
[30] |
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. |
|
[31] |
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). |
|
[32] |
Relating Algebraic and Coalgebraic Logics of Knowledge and Update C. Cirstea and M. Sadrzadeh In LOFT‚ University of Liverpool‚ 2006.. 2006. |
|
[33] |
Semantic Vector Space and Functional Models for Pregroup Grammars A. Preller and M. Sadrzadeh In Journal of Logic Language Information (JoLLI)‚ to appear.. 2011. |
|
[34] |
The Algebra of Multi−Agent Dynamic Belief Revision A. Baltag and M. Sadrzadeh In Electronic Notes in Theoretical Computer Science. 2006. |