<?xml version="1.0" encoding="UTF-8"?>
<modsCollection xmlns="http://www.loc.gov/mods/v3">
<mods ID="chatzikyriakidis-bernardy-2019-wide">
    <titleInfo>
        <title>A Wide-Coverage Symbolic Natural Language Inference System</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">Jean-Philippe</namePart>
        <namePart type="family">Bernardy</namePart>
        <role>
            <roleTerm authority="marcrelator" type="text">author</roleTerm>
        </role>
    </name>
    <originInfo>
        <dateIssued>2019-sep–oct</dateIssued>
    </originInfo>
    <typeOfResource>text</typeOfResource>
    <relatedItem type="host">
        <titleInfo>
            <title>Proceedings of the 22nd Nordic Conference on Computational Linguistics</title>
        </titleInfo>
        <name type="personal">
            <namePart type="given">Mareike</namePart>
            <namePart type="family">Hartmann</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <name type="personal">
            <namePart type="given">Barbara</namePart>
            <namePart type="family">Plank</namePart>
            <role>
                <roleTerm authority="marcrelator" type="text">editor</roleTerm>
            </role>
        </name>
        <originInfo>
            <publisher>Linköping University Electronic Press</publisher>
            <place>
                <placeTerm type="text">Turku, Finland</placeTerm>
            </place>
        </originInfo>
        <genre authority="marcgt">conference publication</genre>
    </relatedItem>
    <abstract>We present a system for Natural Language Inference which uses a dynamic semantics converter from abstract syntax trees to Coq types. It combines the fine-grainedness of a dynamic semantics system with the powerfulness of a state-of-the-art proof assistant, like Coq. We evaluate the system on all sections of the FraCaS test suite, excluding section 6. This is the first system that does a complete run on the anaphora and ellipsis sections of the FraCaS. It has a better overall accuracy than any previous system.</abstract>
    <identifier type="citekey">chatzikyriakidis-bernardy-2019-wide</identifier>
    <location>
        <url>https://aclanthology.org/W19-6131</url>
    </location>
    <part>
        <date>2019-sep–oct</date>
        <extent unit="page">
            <start>298</start>
            <end>303</end>
        </extent>
    </part>
</mods>
</modsCollection>

%0 Conference Proceedings
%T A Wide-Coverage Symbolic Natural Language Inference System
%A Chatzikyriakidis, Stergios
%A Bernardy, Jean-Philippe
%Y Hartmann, Mareike
%Y Plank, Barbara
%S Proceedings of the 22nd Nordic Conference on Computational Linguistics
%D 2019
%8 sep–oct
%I Linköping University Electronic Press
%C Turku, Finland
%F chatzikyriakidis-bernardy-2019-wide
%X We present a system for Natural Language Inference which uses a dynamic semantics converter from abstract syntax trees to Coq types. It combines the fine-grainedness of a dynamic semantics system with the powerfulness of a state-of-the-art proof assistant, like Coq. We evaluate the system on all sections of the FraCaS test suite, excluding section 6. This is the first system that does a complete run on the anaphora and ellipsis sections of the FraCaS. It has a better overall accuracy than any previous system.
%U https://aclanthology.org/W19-6131
%P 298-303

Markdown (Informal)

[A Wide-Coverage Symbolic Natural Language Inference System](https://aclanthology.org/W19-6131) (Chatzikyriakidis & Bernardy, NoDaLiDa 2019)

• A Wide-Coverage Symbolic Natural Language Inference System (Chatzikyriakidis & Bernardy, NoDaLiDa 2019)

ACL

• Stergios Chatzikyriakidis and Jean-Philippe Bernardy. 2019. A Wide-Coverage Symbolic Natural Language Inference System. In Proceedings of the 22nd Nordic Conference on Computational Linguistics, pages 298–303, Turku, Finland. Linköping University Electronic Press.