Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond

Stergios Chatzikyriakidis; Zhaohui Luo

doi:10.3115/v1/W14-1405

Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond

Correct Metadata for

Important: The Anthology treat PDFs as authoritative. Please use this form only to correct data that is out of line with the PDF. See our corrections guidelines if you need to change the PDF.

Title Adjust the title. Retain tags such as <fixed-case>.

Authors Adjust author names and order to match the PDF.

Abstract Correct abstract if needed. Retain XML formatting tags such as <tex-math>.

Verification against PDF Ensure that the new title/authors match the snapshot below. (If there is no snapshot or it is too small, consult the PDF.)

Authors concatenated from the text boxes above:

ALL author names match the snapshot above—including middle initials, hyphens, and accents.

Anthology ID:: W14-1405
Volume:: Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
Month:: April
Year:: 2014
Address:: Gothenburg, Sweden
Editors:: Robin Cooper, Simon Dobnik, Shalom Lappin, Staffan Larsson
Venue:: TTNLS
SIG:
Publisher:: Association for Computational Linguistics
Note:
Pages:: 37–45
Language:
URL:: https://aclanthology.org/W14-1405/
DOI:: 10.3115/v1/W14-1405
Bibkey:
Cite (ACL):: Stergios Chatzikyriakidis and Zhaohui Luo. 2014. Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond. In Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pages 37–45, Gothenburg, Sweden. Association for Computational Linguistics.
Cite (Informal):: Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond (Chatzikyriakidis & Luo, TTNLS 2014)
Copy Citation:
PDF:: https://aclanthology.org/W14-1405.pdf

PDF Cite Search Fix data

Export citation

BibTeX
MODS XML
Endnote
Preformatted

@inproceedings{chatzikyriakidis-luo-2014-natural,
    title = "Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond",
    author = "Chatzikyriakidis, Stergios  and
      Luo, Zhaohui",
    editor = "Cooper, Robin  and
      Dobnik, Simon  and
      Lappin, Shalom  and
      Larsson, Staffan",
    booktitle = "Proceedings of the {EACL} 2014 Workshop on Type Theory and Natural Language Semantics ({TTNLS})",
    month = apr,
    year = "2014",
    address = "Gothenburg, Sweden",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/W14-1405/",
    doi = "10.3115/v1/W14-1405",
    pages = "37--45"
}

Download as File

<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="chatzikyriakidis-luo-2014-natural">
    <titleInfo>
        <title>Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Stergios</namePart>
        <namePart type="family">Chatzikyriakidis</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Zhaohui</namePart>
        <namePart type="family">Luo</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2014-04</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Robin</namePart>
            <namePart type="family">Cooper</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Simon</namePart>
            <namePart type="family">Dobnik</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Shalom</namePart>
            <namePart type="family">Lappin</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Staffan</namePart>
            <namePart type="family">Larsson</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Association for Computational Linguistics</publisher>
            <place>
                <placeTerm type="text">Gothenburg, Sweden</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">chatzikyriakidis-luo-2014-natural</identifier>
    <identifier type="doi">10.3115/v1/W14-1405</identifier>
    <location>
        <url>https://aclanthology.org/W14-1405/</url>
    </location>
    <part>
        <date>2014-04</date>
        <extent unit="page">
            <start>37</start>
            <end>45</end>
        </extent>
    </part>
</mods>
</modsCollection>

Download as File

%0 Conference Proceedings
%T Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond
%A Chatzikyriakidis, Stergios
%A Luo, Zhaohui
%Y Cooper, Robin
%Y Dobnik, Simon
%Y Lappin, Shalom
%Y Larsson, Staffan
%S Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS)
%D 2014
%8 April
%I Association for Computational Linguistics
%C Gothenburg, Sweden
%F chatzikyriakidis-luo-2014-natural
%R 10.3115/v1/W14-1405
%U https://aclanthology.org/W14-1405/
%U https://doi.org/10.3115/v1/W14-1405
%P 37-45

Download as File

Markdown (Informal)

[Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond](https://aclanthology.org/W14-1405/) (Chatzikyriakidis & Luo, TTNLS 2014)

Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond (Chatzikyriakidis & Luo, TTNLS 2014)

ACL

Stergios Chatzikyriakidis and Zhaohui Luo. 2014. Natural Language Reasoning Using Proof-Assistant Technology: Rich Typing and Beyond. In Proceedings of the EACL 2014 Workshop on Type Theory and Natural Language Semantics (TTNLS), pages 37–45, Gothenburg, Sweden. Association for Computational Linguistics.