Alexis Toumi : Publications

Click here to download all publications in a single bibtex file

@article{discocat-act2019,
  title = "Functorial Question Answering",
  author = "Giovanni de Felice and Konstantinos Meichanetzidis and Alexis Toumi",
  year = "2019",
  howpublished = "ACT 2019",
  url = "https://arxiv.org/abs/1905.07408",
}

@article{CoeckeEtAl18a,
  title = "Towards Compositional Distributional Discourse Analysis",
  author = "Bob Coecke and Giovanni de Felice and Dan Marsden and Alexis Toumi",
  year = "2018",
  issn = "2075-2180",
  journal = "Electronic Proceedings of Theoretical Computer Science",
  pages = "1-12",
  url = "https://arxiv.org/abs/1811.03277",
  volume = "283",
  doi = "10.4204/EPTCS.283.1",
}

@article{doi://10.1016/j.tcs.2018.03.008,
  title = "Generalized Relations in Linguistics & Cognition",
  author = "Bob Coecke and Fabrizio Genovese and Martha Lewis and Dan Marden and Alexis Toumi",
  year = "2018",
  journal = "Theoretical Computer Science",
  url = "http://www.cs.ox.ac.uk/files/11024/GeneralisedRelations.pdf",
  doi = "10.1016/j.tcs.2018.03.008",
}

@article{AAAI2016:4184-4191,
  title = "Rational Verification: From Model Checking to Equilibrium Checking",
  author = "Michael Wooldridge and Julian Gutierrez and Paul Harrenstein and Enrico Marchioni and Giuseppe Perelli and Alexis Toumi",
  year = "2016",
  journal = "Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence",
  pages = "123-157",
  url = "https://www.aaai.org/ocs/index.php/AAAI/AAAI16/paper/view/12268",
  volume = "248",
  doi = "10.1016/j.artint.2017.04.003",
}

@article{doi://10.1007/978-3-319-25150-9_34,
  title = "A Tool for the Automated Verification of Nash Equilibria in Concurrent Games",
  author = "Alexis Toumi and Julian Gutierrez and Michael Wooldridge",
  year = "2015",
  address = "Cali, Colombia",
  edition = "October 29-31, 2015, Proceedings",
  editor = "Martin Leucker and Camilo Rueda and Frank D. Valencia",
  journal = "Theoretical Aspects of Computing - ICTAC 2015 - 12th International Colloquium",
  pages = "583–594",
  publisher = "Lecture Notes in Computer Science. Springer 2015",
  url = "http://www.cs.ox.ac.uk/people/julian.gutierrez/web/ictac15-b.pdf",
  volume = "9399",
  doi = "10.1007/978-3-319-25150-9_34",
}