Natural language processing with (tabled and constraint) logic programming

Henning Christiansen, Verónica Dahl

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-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.
Original languageEnglish
Title of host publicationDeclarative Logic Programming : Theory, Systems, and Applications
EditorsMichael Kifer, Yanhong Annie Liu
Number of pages35
Place of PublicationNew York
PublisherAssociation for Computing Machinery
Publication date2018
Pages477-511
ISBN (Print)978-1-97000-199-0
ISBN (Electronic)978-1-97000-199-0
Publication statusPublished - 2018

Bibliographical note

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

Cite this

Christiansen, H., & Dahl, V. (2018). Natural language processing with (tabled and constraint) logic programming. In M. Kifer, & Y. A. Liu (Eds.), Declarative Logic Programming: Theory, Systems, and Applications (pp. 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. editor / Michael Kifer ; Yanhong Annie Liu. New York : Association for Computing Machinery, 2018. pp. 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. in M Kifer & YA Liu (eds), Declarative Logic Programming: Theory, Systems, and Applications. Association for Computing Machinery, New York, pp. 477-511.

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

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

Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-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. In Kifer M, Liu YA, editors, Declarative Logic Programming: Theory, Systems, and Applications. New York: Association for Computing Machinery. 2018. p. 477-511