Mehrnoosh Sadrzadeh : Publications
Click here to download all publications in a single bibtex file
@inbook{mehrnoosh2013,
title = "Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras",
author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman and Bob Coecke",
year = "2013 (To appear)",
booktitle = "Logic and Algebraic Structures in Quantum Computing and Information",
editor = "Chubb, J., Eskandarian, A. and Harizanov, V.",
publisher = "Cambridge University Press",
}
@book{QuantumPhysLingOUP,
title = "Quantum Physics and Linguistics: A Compositional, Diagrammatic Discourse",
year = "2013",
editor = "Chris Heunen and Mehrnoosh Sadrzadeh and Edward Grefenstette",
isbn = "978-0199646296",
month = "February",
publisher = "Oxford University Press",
url = "http://ukcatalogue.oup.com/product/9780199646296.do#.UPAFH4mLLqp",
}
@article{CoeckeSadrGrefAPAL13,
title = "Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus",
author = "Bob Coecke and Edward Grefenstette and Mehrnoosh Sadrzadeh",
year = "2013",
journal = "Annals of Pure and Applied Logic",
url = "http://arxiv.org/abs/1302.0393",
}
@article{GrefSadrBarIWCS13,
title = "Multi-Step Regression Learning for Compositional Distributional Semantics",
author = "Edward Grefenstette and Georgiana Dinu and Yao-Zhong Zhang and Mehrnoosh Sadrzadeh and Marco Baroni",
year = "2013",
journal = "Proceedings of the 10th International Conference on Computational Semantics (IWCS 2013)",
url = "http://aclweb.org/anthology/W/W13/W13-0112.pdf",
}
@article{kartsaklis_etal_2012,
title = "A Unified Sentence Space for Categorical Distributional-Compositional Semantics: Theory and Experiments",
author = "Dimitri Kartsaklis and Mehrnoosh Sadrzadeh and Stephen Pulman",
year = "2012",
address = "Mumbai, India",
journal = "Proceedings of 24th International Conference on Computational Linguistics (COLING): Posters",
}
@article{SadrGrefGEMS11,
title = "Experimenting with Transitive Verbs in a DisCoCat",
author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
year = "2011",
journal = "Proceedings of the GEMS 2011 Workshop on GEometrical Models of Natural Language Semantics",
url = "http://www.aclweb.org/anthology-new/W/W11/W11-2507.pdf",
}
@article{GrefSadrzadehEMNLP2011,
title = "Experimental Support for a Categorical Compositional Distributional Model of Meaning",
author = "Edward Grefenstette and Mehrnoosh Sadrzadeh",
year = "2011",
journal = "Proceedings of the 2011 Conference on Empirical Methods in Natural Language Processing",
url = "http://www.aclweb.org/anthology-new/D/D11/D11-1129.pdf",
}
@article{SadrGrefQI11,
title = "A Compositional Distributional Semantics, Two Concrete Constructions, and some Experimental Evaluations",
author = "Mehrnoosh Sadrzadeh and Edward Grefenstette",
year = "2011",
affiliation = "Department of Computer Science, University of Oxford",
journal = "Lecture Notes in Computer Science",
pages = "35--47",
publisher = "Springer",
url = "http://arxiv.org/abs/1105.1702",
volume = "7052",
}
@article{GrefenstetteSadrzadehClarkCoeckePulman2010,
title = "Concrete Sentence Spaces for Compositional Distributional Models of Meaning",
author = "Edward Grefenstette and Mehrnoosh Sadrzadeh and Stephen Clark and Bob Coecke and Stephen Pulman",
year = "2011",
journal = "Proceedings of the 9th International Conference on Computational Semantics (IWCS11)",
pages = "125--134",
url = "http://www.aclweb.org/anthology/W/W11/W11-0114.pdf",
}
@article{JoLLi,
title = "Semantic Vector Space and Functional Models for Pregroup Grammars",
author = "A. Preller and M. Sadrzadeh",
year = "2011",
journal = "Journal of Logic Language Information (JoLLI), to appear.",
}
@misc{LORI-long,
title = "Algebraic semantics and model completeness for Intuitionistic Public Announcement Logic",
author = "Minghui Ma and Alessandra Palmigiano and Mehrnoosh Sadrzadeh",
year = "2011",
journal = "submitted to THE THIRD INTERNATIONAL WORKSHOP ON LOGIC, RATIONALITY AND INTERACTION, Guangzhou, China, October 2011",
}
@techreport{RR-10-11,
title = "A Cut-Free Sequent Calculus for Algebraic Dynamic Epistemic Logic",
author = "Roy Dyckhoff and Mehrnoosh Sadrzadeh",
year = "2010",
institution = "OUCL",
month = "June",
number = "RR-10-11",
pages = "35",
}
@article{PrakashSadr,
title = "Learning in a Changing World: an algebraic modal logical approach",
author = "Prakash Panagaden and Mehrnoosh Sadrzadeh",
year = "2010",
editor = "M. Johnson and D. Pavlovic",
journal = "LNCS proceedings of AMAST, 2010.",
}
@article{Makkai,
title = "An Adventure into Hungarian Word Order with Cyclic Pregroups",
author = "Mehrnoosh Sadrzadeh",
year = "2010",
editor = "P. Scott and R. Seely",
journal = "AMS-CRM proceedings of Makkai Fest.",
}
@article{RSL,
title = "Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information",
author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
year = "2010",
journal = "Review of Symbolic Logic",
pages = "351-373",
volume = "3",
}
@article{ClarkCoeckeSadr,
title = "Mathematical Foundations for a Compositional Distributed Model of Meaning",
author = "B. Coecke, M. Sadrzadeh and S. Clark",
year = "2010",
editor = "Johan van Bentham and Michael Moortgat and Wojciech Buszkowski",
journal = "Lambek Festschirft, Linguistic Analysis, vol. 36",
url = "http://arxiv.org/submit/10256/preview",
volume = "36",
}
@inproceedings{CasadioSadr,
title = "Clitic Movement in Pregroup Grammar: a Cross-linguistic Approach",
author = "Claudia Casadio and Mehrnoosh Sadrzadeh",
year = "2010",
journal = "Lecture Notes in Artificial Intelligence, Proceedings of Eighth International Tbilisi Symposium on Language, Logic and Computation, September 2009",
}
@article{AnneSadr,
title = "Bell States as Negation in Natural Languages",
author = "Anne Preller and Mehrnoosh Sadrzadeh",
year = "2009",
journal = "ENTCS, QPL, University of Oxford, April 2009.",
}
@article{RoySadr,
title = "Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information",
author = "Mehrnoosh Sadrzadeh and Roy Dyckhoff",
year = "2009",
journal = "Electronic Notes in Theoretical Computer Science",
keywords = "positive modal logic, epistemic, doxastic, distributive lattice, Galois connection, adjunction, information, belief, proof theory",
note = "Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics (MFPS 2009)",
pages = "451 - 470",
url = "http://www.sciencedirect.com/science/article/B75H1-4X0X56M-T/2/170c882596cbeb7b4f8b5076b35d5c77",
volume = "249",
}
@article{Simon-Mehrs,
title = "Aximo: Automated Axiomatic Reasoning for Information Update",
author = "Simon Richards and Mehrnoosh Sadrzadeh",
year = "2009",
journal = "Electronic Notes in Theoretical Computer Science (ENTCS)",
}
@article{Ric-Mehrs,
title = "A Runs-and-Systems Semantics for Logics of Announcement",
author = "Riccardo Pucella and Mehrnoosh Sadrzadeh",
year = "2009",
journal = "LNCS, volume 6006, Subseries FoLLI-LNAI",
publisher = "University of Amsterdam",
}
@techreport{KreinerSadrRoy,
title = "Implementation of a cut-free sequent calculus for logics with adjoint modalities",
author = "J. Kriener, M. Sadrzadeh and R. Dyckhoff",
year = "2009",
journal = "Computing Research Repository",
url = "http://arxiv.org/abs/0903.2448",
volume = "abs/0903.2448",
}
@inbook{PersPregroup,
title = "Pregroup Analysis of Persian Sentences",
author = "Mehrnoosh Sadrzadeh",
year = "2008",
booktitle = "Recent computational algebraic approaches to morphology and syntax",
editor = "C. Casadio and J. Lambek",
location = "Milan",
publisher = "Polimetrica",
}
@article{ClarkCoeckeSadr,
title = "A Distributional Compositional Model of Meaning",
author = "S. Clark, B. Coecke, M. Sadrzadeh",
year = "2008",
journal = "QI, College Publications, University of Oxford, March 2008.",
location = "University of Oxford",
publisher = "College Publications",
series = "Proceedings of Conference on Quantum Interactions",
}
@article{SadrOckham,
title = "Ockham's Razor and Reasoning about Information Flow",
author = "Mehrnoosh Sadrzadeh",
year = "2008",
journal = "Synthese",
note = "Knowledge Rationality Action Issue",
pages = "391 - 408",
volume = "167",
}
@inproceedings{DhontSadr,
title = "Classical Knowledge for Quantum Security",
author = "Ellie D'hondt and Mehrnoosh Sadrzadeh",
year = "2008",
booktitle = "ENTCS proceedings of QPL, Iceland, April 2008.",
journal = "ENTCS proceedings of QPL, Iceland, April 2008.",
location = "Iceland",
series = "Electronic Notes in Theoretical Computer Science",
}
@article{CirsteaSadr,
title = "Coalgebraic Epistemic Update without Change of Model",
author = "C. Cirstea and M. Sadrzadeh",
year = "2007",
journal = "LNCS, CALCO, Bergen, August 2007.",
series = "Lecture Notes in Computer Science",
}
@article{BaltagCoeckeSadr,
title = "Epistemic Actions as Resources",
author = "A. Baltag, B. Coecke, M. Sadrzadeh",
year = "2007",
journal = "Journal of Logic and Computation",
pages = "555-585",
volume = "17",
}
@inproceedings{SadrQI,
title = "High Level Quantum Structures in Linguistics and Multi Agent Systems",
author = "Mehrnoosh Sadrzadeh",
year = "2007",
journal = "QI, AAAI Publications, Stanford University, March 2007.",
publisher = "Stanford University",
series = "Proceedings of the AAAI Spring Symposium on Quantum Interaction",
}
@article{BaltagSadr,
title = "The Algebra of Multi-Agent Dynamic Belief Revision",
author = "A. Baltag and M. Sadrzadeh",
year = "2006",
journal = "Electronic Notes in Theoretical Computer Science",
}
@article{ClarkCoeckeSadr2,
title = "Relating Algebraic and Coalgebraic Logics of Knowledge and Update",
author = "C. Cirstea and M. Sadrzadeh",
year = "2006",
journal = "LOFT, University of Liverpool, 2006.",
publisher = "University of Liverpool",
series = "Proceedings of the 7'th conference on Logic and the Foundations of Game and Decision Theory",
}
@phdthesis{SadrThesis,
title = "Actions and Resources in Epistemic Logic",
author = "Mehrnoosh Sadrzadeh",
year = "2006",
}
@inbook{MarionSadr,
title = "Reasoning about Knowledge in Linear Logic: Modalities and Complexity",
author = "M. Marion and M. Sadrzadeh",
year = "2004",
booktitle = "Logic, Epistemology, and the Unity of Science",
editor = "S. Rahman, J. Symons, D. M. Gabbay, J. P. van Bendegem",
location = "Dordrecht",
publisher = "Kluwer",
}
@article{SadrCoq,
title = "Modal Linear Logic in Higher Order Logic, an experiment in Coq",
author = "Mehrnoosh Sadrzadeh",
year = "2003",
journal = "Emerging Trends, TPHOLS, Rome, 2003.",
location = "Rome",
series = "Emerging Trends Proceedings of Theorem Proving in Higher Order Logics (TPHOLS)",
}