Natural language processing with (tabled and constraint) logic programming

Henning Christiansen; Verónica Dahl

Natural language processing with (tabled and constraint) logic programming

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

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.

Originalsprog	Engelsk
Titel	Declarative Logic Programming : Theory, Systems, and Applications
Redaktører	Michael Kifer, Yanhong Annie Liu
Antal sider	35
Udgivelsessted	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

Andre filer og links

Link til forlagets beskrivelse

Citer dette

@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",

}

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/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 -