An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving

Ronnie W. Smith; D. Richard Hipp; Alan W. Biermann

An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving

Ronnie W. Smith, D. Richard Hipp, Alan W. Biermann

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:: J95-3001
Volume:: Computational Linguistics, Volume 21, Number 3, September 1995
Month:
Year:: 1995
Address:: Cambridge, MA
Editor:: Julia Hirschberg
Venue:: CL
SIG:
Publisher:: MIT Press
Note:
Pages:: 281–320
Language:
URL:: https://aclanthology.org/J95-3001/
DOI:
Bibkey:
Cite (ACL):: Ronnie W. Smith, D. Richard Hipp, and Alan W. Biermann. 1995. An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving. Computational Linguistics, 21(3):281–320.
Cite (Informal):: An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving (Smith et al., CL 1995)
Copy Citation:
PDF:: https://aclanthology.org/J95-3001.pdf

PDF Cite Search Fix data

Export citation

BibTeX
MODS XML
Endnote
Preformatted

@article{smith-etal-1995-architecture,
    title = "An Architecture for Voice Dialog Systems Based on {P}rolog-Style Theorem Proving",
    author = "Smith, Ronnie W.  and
      Hipp, D. Richard  and
      Biermann, Alan W.",
    editor = "Hirschberg, Julia",
    journal = "Computational Linguistics",
    volume = "21",
    number = "3",
    year = "1995",
    address = "Cambridge, MA",
    publisher = "MIT Press",
    url = "https://aclanthology.org/J95-3001/",
    pages = "281--320"
}

Download as File

<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="smith-etal-1995-architecture">
    <titleInfo>
        <title>An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving</title>
    </titleInfo>
    <name type="personal">
        <namePart type="given">Ronnie</namePart>
        <namePart type="given">W</namePart>
        <namePart type="family">Smith</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">D</namePart>
        <namePart type="given">Richard</namePart>
        <namePart type="family">Hipp</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <name type="personal">
        <namePart type="given">Alan</namePart>
        <namePart type="given">W</namePart>
        <namePart type="family">Biermann</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>1995</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <genre authority="bibutilsgt">journal article</genre>
    <relatedItem type="host">
        <titleInfo>
            <title>Computational Linguistics</title>
        </titleInfo>
        <originInfo>
            <issuance>continuing</issuance>
            <publisher>MIT Press</publisher>
            <place>
                <placeTerm type="text">Cambridge, MA</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">periodical</genre>
        <genre authority="bibutilsgt">academic journal</genre>
    </relatedItem>
    <identifier type="citekey">smith-etal-1995-architecture</identifier>
    <location>
        <url>https://aclanthology.org/J95-3001/</url>
    </location>
    <part>
        <date>1995</date>
        <detail type="volume"><number>21</number></detail>
        <detail type="issue"><number>3</number></detail>
        <extent unit="page">
            <start>281</start>
            <end>320</end>
        </extent>
    </part>
</mods>
</modsCollection>

Download as File

%0 Journal Article
%T An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving
%A Smith, Ronnie W.
%A Hipp, D. Richard
%A Biermann, Alan W.
%J Computational Linguistics
%D 1995
%V 21
%N 3
%I MIT Press
%C Cambridge, MA
%F smith-etal-1995-architecture
%U https://aclanthology.org/J95-3001/
%P 281-320

Download as File

Markdown (Informal)

[An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving](https://aclanthology.org/J95-3001/) (Smith et al., CL 1995)

An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving (Smith et al., CL 1995)

ACL

Ronnie W. Smith, D. Richard Hipp, and Alan W. Biermann. 1995. An Architecture for Voice Dialog Systems Based on Prolog-Style Theorem Proving. Computational Linguistics, 21(3):281–320.