Alexis Toumi : Publications
-
[1]
Functorial Question Answering
Giovanni de Felice‚ Konstantinos Meichanetzidis and Alexis Toumi
2019.
Details about Functorial Question Answering | BibTeX data for Functorial Question Answering | Link to Functorial Question Answering
-
[2]
Towards Compositional Distributional Discourse Analysis
Bob Coecke‚ Giovanni de Felice‚ Dan Marsden and Alexis Toumi
In Electronic Proceedings of Theoretical Computer Science. Vol. 283. Pages 1−12. 2018.
Details about Towards Compositional Distributional Discourse Analysis | BibTeX data for Towards Compositional Distributional Discourse Analysis | DOI (10.4204/EPTCS.283.1) | Link to Towards Compositional Distributional Discourse Analysis
-
[3]
Generalized Relations in Linguistics & Cognition
Bob Coecke‚ Fabrizio Genovese‚ Martha Lewis‚ Dan Marden and Alexis Toumi
In Theoretical Computer Science. 2018.
Details about Generalized Relations in Linguistics & Cognition | BibTeX data for Generalized Relations in Linguistics & Cognition | DOI (10.1016/j.tcs.2018.03.008) | Download (pdf) of Generalized Relations in Linguistics & Cognition
-
[4]
Rational Verification: From Model Checking to Equilibrium Checking
Michael Wooldridge‚ Julian Gutierrez‚ Paul Harrenstein‚ Enrico Marchioni‚ Giuseppe Perelli and Alexis Toumi
In Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence. Vol. 248. Pages 123−157. 2016.
Details about Rational Verification: From Model Checking to Equilibrium Checking | BibTeX data for Rational Verification: From Model Checking to Equilibrium Checking | DOI (10.1016/j.artint.2017.04.003) | Link to Rational Verification: From Model Checking to Equilibrium Checking
-
[5]
A Tool for the Automated Verification of Nash Equilibria in Concurrent Games
Alexis Toumi‚ Julian Gutierrez and Michael Wooldridge
In Theoretical Aspects of Computing − ICTAC 2015 − 12th International Colloquium. Vol. 9399. Pages 583–594. 2015.
Details about A Tool for the Automated Verification of Nash Equilibria in Concurrent Games | BibTeX data for A Tool for the Automated Verification of Nash Equilibria in Concurrent Games | DOI (10.1007/978-3-319-25150-9_34) | Download (pdf) of A Tool for the Automated Verification of Nash Equilibria in Concurrent Games