Towards a Wide-Coverage Tableau Method for Natural Logic

Lasha Abzianidze. Towards a Wide-Coverage Tableau Method for Natural Logic. In Tsuyoshi Murata, Koji Mineshima, Daisuke Bekki, editors, New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers. Volume 9067 of Lecture Notes in Computer Science, pages 66-82, Springer, 2014. [doi]

@inproceedings{Abzianidze14,
  title = {Towards a Wide-Coverage Tableau Method for Natural Logic},
  author = {Lasha Abzianidze},
  year = {2014},
  doi = {10.1007/978-3-662-48119-6_6},
  url = {http://dx.doi.org/10.1007/978-3-662-48119-6_6},
  researchr = {https://researchr.org/publication/Abzianidze14},
  cites = {0},
  citedby = {0},
  pages = {66-82},
  booktitle = {New Frontiers in Artificial Intelligence - JSAI-isAI 2014 Workshops, LENLS, JURISIN, and GABA, Kanagawa, Japan, October 27-28, 2014, Revised Selected Papers},
  editor = {Tsuyoshi Murata and Koji Mineshima and Daisuke Bekki},
  volume = {9067},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-662-48118-9},
}