BibSonomy :: publication ::

tag user group author concept BibTeX key search:all search:diego_ma

The blue social bookmark and publication sharing system.

(0)

This publication has not been reviewed yet.

rating distribution

average user rating

The average rating is computed over all reviews. However, some of them may be invisible to you due to the visibility setting chosen by the reviewers.

(0.0 of 5.0 based on 0 reviews)

Question Answering: From Partitions to Prolog

by: Balder ten Cate, and Chung chieh Shan

In: Proc. TABLEAUX 2002 (2002) , p. 251-265.

Resources (URL, PDF, PS...)

URL:	http://arxiv.org/abs/cs.CL/0209009

We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tableau theorem proving. The algorithm relies on a syntactic characterization of answerhood: Any answer to a question is equivalent to some formula built up only from instances of the question. We prove this characterization by translating the logic of interrogation to classical predicate logic and applying Craig's interpolation theorem.

BibTeX record

@inproceedings{Balder:2002,
  abstract = {We implement Groenendijk and Stokhof's partition semantics of questions in a simple question answering algorithm. The algorithm is sound, complete, and based on tableau theorem proving. The algorithm relies on a syntactic characterization of answerhood: Any answer to a question is equivalent to some formula built up only from instances of the question. We prove this characterization by translating the logic of interrogation to classical predicate logic and applying Craig's interpolation theorem.},
  added-at = {2007-12-14T02:37:17.000+0100},
  author = {ten Cate, Balder and chieh Shan, Chung},
  biburl = {http://www.bibsonomy.org/bibtex/27bc1e7d4b370103c868c43fcc90face7/diego_ma},
  booktitle = {Proc. TABLEAUX 2002},
  editor = {Egly, Uwe and Fermueller, Christian G.},
  interhash = {90d6484676cf6327f8fd2dbbe37f666a},
  intrahash = {7bc1e7d4b370103c868c43fcc90face7},
  keywords = {semantics questions prolog},
  note = {Also in Proc. NLULP 2002},
  pages = {251-265},
  series = {Lecture Notes in Artificial Intelligence 2381},
  timestamp = {2007-12-14T02:37:17.000+0100},
  title = {Question Answering: From Partitions to Prolog},
  url = {http://arxiv.org/abs/cs.CL/0209009},
  year = 2002
}

Endnote record

BibSonomy :: publication ::

Question Answering: From Partitions to Prolog

Resources (URL, PDF, PS...)

Abstract

BibTeX record

Endnote record