### Resumé

Originalsprog | Engelsk |
---|---|

Titel | Declarative Logic Programming : Theory, Systems, and Applications |

Redaktører | Michael Kifer, Yanhong Annie Liu |

Antal sider | 35 |

Udgivelses sted | New York |

Forlag | Association for Computing Machinery |

Publikationsdato | 2018 |

Sider | 477-511 |

ISBN (Trykt) | 978-1-97000-199-0 |

ISBN (Elektronisk) | 978-1-97000-199-0 |

Status | Udgivet - 2018 |

### Citer dette

*Declarative Logic Programming: Theory, Systems, and Applications*(s. 477-511). New York: Association for Computing Machinery.

}

*Declarative Logic Programming: Theory, Systems, and Applications.*Association for Computing Machinery, New York, s. 477-511.

**Natural language processing with (tabled and constraint) logic programming.** / Christiansen, Henning; Dahl, Verónica.

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning › peer review

TY - CHAP

T1 - Natural language processing with (tabled and constraint) logic programming

AU - Christiansen, Henning

AU - Dahl, Verónica

N1 - Published by Association for Computing Machinery in collaboration with Morgan & Claypool

PY - 2018

Y1 - 2018

N2 - We survey the evolution of natural language processing as it relates to Logic Programming, with particular focus on David Scott Warren's crucial contributions such as tabling, and the relationship with hypothetical reasoning and constraint based programming. These topics lead naturally to a view of parsing as constraint solving, which extends to grammar inference. Our exposition of the subject is intuitive and example-driven, with references to more formal presentations when needed.

AB - We survey the evolution of natural language processing as it relates to Logic Programming, with particular focus on David Scott Warren's crucial contributions such as tabling, and the relationship with hypothetical reasoning and constraint based programming. These topics lead naturally to a view of parsing as constraint solving, which extends to grammar inference. Our exposition of the subject is intuitive and example-driven, with references to more formal presentations when needed.

UR - http://books.acm.org/titles#tab249

M3 - Book chapter

SN - 978-1-97000-199-0

SP - 477

EP - 511

BT - Declarative Logic Programming

A2 - Kifer, Michael

A2 - Liu, Yanhong Annie

PB - Association for Computing Machinery

CY - New York

ER -