Cooperative Replies to Unbelievable Assertions: A Dialogue Protocol Based on Logical Interpolation

The paper is available as two versions, a short conference version published in the ICAART 2011 proceedings and as a longer technical report:
  • Matti Nykänen, Satu Eloranta, Olli Niinivaara, Raul Hakli: Cooperative Replies to Unbelievable Assertions: A Dialogue Protocol Based on Logical Interpolation. In the Proceedings of The 3rd International Conference on Agents and Artificial Intelligence (ICAART 2011), Volume 2, Rome, Italy, 28-30 January, 2011, 245-250.
    http://www.cs.helsinki.fi/group/protean/crua/crua_short.pdf.
  • Matti Nykänen, Satu Eloranta, Olli Niinivaara, Raul Hakli: Cooperative Replies to Unbelievable Assertions: A Dialogue Protocol Based on Logical Interpolation. Technical Report C-2011-1, Department of Computer Science, University of Helsinki, Finland, 2011.
    http://www.cs.helsinki.fi/group/protean/crua/crua_TR.pdf.

Address: Department of Computer Science, P.O. 68 (Gustaf Hällströmin katu 2b), FI-00014 UNIVERSITY OF HELSINKI, FINLAND
Opening Hours: During spring and autmn semesters Mon - Fri 7.45 - 19.45 (7.45 am - 7.45 pm)
Phone: +358 9 1911 (University switch)
General e-mai: info [at] cs.helsinki.fi
Fax: +358 9 1915 1120

Login to site | Webmaster