A tableau calculus for pronoun resolution
| Authors | |
|---|---|
| Publication date | 1999 |
| Host editors |
|
| Book title | Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999 : proceedings |
| ISBN |
|
| Series | Lecture notes in computer science, 1617 |
| Pages (from-to) | 247-262 |
| Publisher | Berlin: Springer |
| Organisations |
|
| Document type | Chapter |
| Permalink to this page | |
