Natural language processing with (tabled and constraint) logic programming

Henning Christiansen, Verónica Dahl

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer review

Resumé

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.
OriginalsprogEngelsk
TitelDeclarative Logic Programming : Theory, Systems, and Applications
RedaktørerMichael Kifer, Yanhong Annie Liu
Antal sider35
Udgivelses stedNew York
ForlagAssociation for Computing Machinery
Publikationsdato2018
Sider477-511
ISBN (Trykt)978-1-97000-199-0
ISBN (Elektronisk)978-1-97000-199-0
StatusUdgivet - 2018

Citer dette

Christiansen, H., & Dahl, V. (2018). Natural language processing with (tabled and constraint) logic programming. I M. Kifer, & Y. A. Liu (red.), Declarative Logic Programming: Theory, Systems, and Applications (s. 477-511). New York: Association for Computing Machinery.
Christiansen, Henning ; Dahl, Verónica. / Natural language processing with (tabled and constraint) logic programming. Declarative Logic Programming: Theory, Systems, and Applications. red. / Michael Kifer ; Yanhong Annie Liu. New York : Association for Computing Machinery, 2018. s. 477-511
@inbook{1a42da8530b540e6a4b4d041ba04b810,
title = "Natural language processing with (tabled and constraint) logic programming",
abstract = "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.",
author = "Henning Christiansen and Ver{\'o}nica Dahl",
note = "Published by Association for Computing Machinery in collaboration with Morgan & Claypool",
year = "2018",
language = "English",
isbn = "978-1-97000-199-0",
pages = "477--511",
editor = "Michael Kifer and Liu, {Yanhong Annie}",
booktitle = "Declarative Logic Programming",
publisher = "Association for Computing Machinery",

}

Christiansen, H & Dahl, V 2018, Natural language processing with (tabled and constraint) logic programming. i M Kifer & YA Liu (red), 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.

Declarative Logic Programming: Theory, Systems, and Applications. red. / Michael Kifer; Yanhong Annie Liu. New York : Association for Computing Machinery, 2018. s. 477-511.

Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningpeer 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 -

Christiansen H, Dahl V. Natural language processing with (tabled and constraint) logic programming. I Kifer M, Liu YA, red., Declarative Logic Programming: Theory, Systems, and Applications. New York: Association for Computing Machinery. 2018. s. 477-511