Extracting formal specifications from natural language regulatory documents

Nikhil Dinesh; Aravind Joshi; Insup Lee; Bonnie Webber

Extracting formal specifications from natural language regulatory documents

Nikhil Dinesh, Aravind Joshi, Insup Lee, Bonnie Webber

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:: W06-3902
Volume:: Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
Month:
Year:: 2006
Address:
Editors:: Johan Bos, Alexander Koller
Venue:: ICoS
SIG:: SIGSEM
Publisher:
Note:
Pages:
Language:
URL:: https://aclanthology.org/W06-3902/
DOI:
Bibkey:
Cite (ACL):: Nikhil Dinesh, Aravind Joshi, Insup Lee, and Bonnie Webber. 2006. Extracting formal specifications from natural language regulatory documents. In Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5).
Cite (Informal):: Extracting formal specifications from natural language regulatory documents (Dinesh et al., ICoS 2006)
Copy Citation:
PDF:: https://aclanthology.org/W06-3902.pdf

PDF Cite Search Fix data

Export citation

BibTeX
MODS XML
Endnote
Preformatted

@inproceedings{dinesh-etal-2006-extracting,
    title = "Extracting formal specifications from natural language regulatory documents",
    author = "Dinesh, Nikhil  and
      Joshi, Aravind  and
      Lee, Insup  and
      Webber, Bonnie",
    editor = "Bos, Johan  and
      Koller, Alexander",
    booktitle = "Proceedings of the Fifth International Workshop on Inference in Computational Semantics ({IC}o{S}-5)",
    year = "2006",
    url = "https://aclanthology.org/W06-3902/"
}

Download as File

<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="dinesh-etal-2006-extracting">
    <titleInfo>
        <title>Extracting formal specifications from natural language regulatory documents</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Nikhil</namePart>
        <namePart type="family">Dinesh</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Aravind</namePart>
        <namePart type="family">Joshi</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Insup</namePart>
        <namePart type="family">Lee</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Bonnie</namePart>
        <namePart type="family">Webber</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2006</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Johan</namePart>
            <namePart type="family">Bos</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Alexander</namePart>
            <namePart type="family">Koller</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <identifier type="citekey">dinesh-etal-2006-extracting</identifier>
    <location>
        <url>https://aclanthology.org/W06-3902/</url>
    </location>
    <part>
        <date>2006</date>
    </part>
</mods>
</modsCollection>

Download as File

%0 Conference Proceedings
%T Extracting formal specifications from natural language regulatory documents
%A Dinesh, Nikhil
%A Joshi, Aravind
%A Lee, Insup
%A Webber, Bonnie
%Y Bos, Johan
%Y Koller, Alexander
%S Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5)
%D 2006
%F dinesh-etal-2006-extracting
%U https://aclanthology.org/W06-3902/

Download as File

Markdown (Informal)

[Extracting formal specifications from natural language regulatory documents](https://aclanthology.org/W06-3902/) (Dinesh et al., ICoS 2006)

Extracting formal specifications from natural language regulatory documents (Dinesh et al., ICoS 2006)

ACL

Nikhil Dinesh, Aravind Joshi, Insup Lee, and Bonnie Webber. 2006. Extracting formal specifications from natural language regulatory documents. In Proceedings of the Fifth International Workshop on Inference in Computational Semantics (ICoS-5).