3 Search Results for "Knight, Kevin"

Document
DOI: 10.4230/LIPIcs.SNAPL.2019.9
The Next 700 Semantics: A Research Challenge

Authors: Shriram Krishnamurthi, Benjamin S. Lerner, and Liam Elberty

Published in: LIPIcs, Volume 136, 3rd Summit on Advances in Programming Languages (SNAPL 2019)

Abstract
Modern systems consist of large numbers of languages, frameworks, libraries, APIs, and more. Each has characteristic behavior and data. Capturing these in semantics is valuable not only for understanding them but also essential for formal treatment (such as proofs). Unfortunately, most of these systems are defined primarily through implementations, which means the semantics needs to be learned. We describe the problem of learning a semantics, provide a structuring process that is of potential value, and also outline our failed attempts at achieving this so far.
Cite as

Shriram Krishnamurthi, Benjamin S. Lerner, and Liam Elberty. The Next 700 Semantics: A Research Challenge. In 3rd Summit on Advances in Programming Languages (SNAPL 2019). Leibniz International Proceedings in Informatics (LIPIcs), Volume 136, pp. 9:1-9:14, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)

Copy BibTex To Clipboard

@InProceedings{krishnamurthi_et_al:LIPIcs.SNAPL.2019.9,
  author =	{Krishnamurthi, Shriram and Lerner, Benjamin S. and Elberty, Liam},
  title =	{{The Next 700 Semantics: A Research Challenge}},
  booktitle =	{3rd Summit on Advances in Programming Languages (SNAPL 2019)},
  pages =	{9:1--9:14},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-113-9},
  ISSN =	{1868-8969},
  year =	{2019},
  volume =	{136},
  editor =	{Lerner, Benjamin S. and Bod{\'\i}k, Rastislav and Krishnamurthi, Shriram},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.SNAPL.2019.9},
  URN =		{urn:nbn:de:0030-drops-105522},
  doi =		{10.4230/LIPIcs.SNAPL.2019.9},
  annote =	{Keywords: Programming languages, desugaring, semantics, testing}
}
Document
DOI: 10.4230/DagRep.5.3.143
Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122)

Authors: Frank Drewes, Kevin Knight, and Marco Kuhlmann

Published in: Dagstuhl Reports, Volume 5, Issue 3 (2015)

Abstract
In natural language processing (NLP) there is an increasing interest in formal models for processing graphs rather than more restricted structures such as strings or trees. Such models of graph transformation have previously been studied and applied in various other areas of computer science, including formal language theory, term rewriting, theory and implementation of programming languages, concurrent processes, and software engineering. However, few researchers from NLP are familiar with this work, and at the same time, few researchers from the theory of graph transformation are aware of the specific desiderata, possibilities and challenges that one faces when applying the theory of graph transformation to NLP problems. The Dagstuhl Seminar 15122 "Formal Models of Graph Transformation in Natural Language Processing" brought researchers from the two areas together. It initiated an interdisciplinary exchange about existing work, open problems, and interesting applications.
Cite as

Frank Drewes, Kevin Knight, and Marco Kuhlmann. Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122). In Dagstuhl Reports, Volume 5, Issue 3, pp. 143-161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)

Copy BibTex To Clipboard

@Article{drewes_et_al:DagRep.5.3.143,
  author =	{Drewes, Frank and Knight, Kevin and Kuhlmann, Marco},
  title =	{{Formal Models of Graph Transformation in Natural Language Processing (Dagstuhl Seminar 15122)}},
  pages =	{143--161},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2015},
  volume =	{5},
  number =	{3},
  editor =	{Drewes, Frank and Knight, Kevin and Kuhlmann, Marco},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.5.3.143},
  URN =		{urn:nbn:de:0030-drops-53484},
  doi =		{10.4230/DagRep.5.3.143},
  annote =	{Keywords: Automata theory, Graph transformation, Natural language processing}
}
Document
DOI: 10.4230/DagRep.4.2.1
Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061)

Authors: Alexander M. Fraser, Kevin Knight, Philipp Koehn, Helmut Schmid, and Hans Uszkoreit

Published in: Dagstuhl Reports, Volume 4, Issue 2 (2014)

Abstract
This report documents the program and the outcomes of Dagstuhl Seminar 14061 "Statistical Techniques for Translating to Morphologically Rich Languages". The seminar took place in February 2014. The purpose of the seminar was to allow disparate communities working on problems related to morphologically rich languages to meet to discuss an important research problem, translation to morphologically rich languages. While statistical techniques for machine translation have made significant progress in the last 20 years, results for translating to morphologically rich languages are still mixed versus previous generation rule-based systems, so this is a critical and timely topic. Current research in statistical techniques for translating to morphologically rich languages varies greatly in the amount of linguistic knowledge used and the form of this linguistic knowledge. This varies most strongly by target language, for instance the resources currently used for translating to Czech are very different from those used for translating to German. The seminar met a pressing need to discuss the issues involved in these translation tasks in a more broad venue than the ACL Workshops on Machine Translation, which are primarily attended by statistical machine translation researchers. The report describes the introductory material presented to the group, the organization of break-out discussion groups by topic, and the results of the seminar.
Cite as

Alexander M. Fraser, Kevin Knight, Philipp Koehn, Helmut Schmid, and Hans Uszkoreit. Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061). In Dagstuhl Reports, Volume 4, Issue 2, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)

Copy BibTex To Clipboard

@Article{fraser_et_al:DagRep.4.2.1,
  author =	{Fraser, Alexander M. and Knight, Kevin and Koehn, Philipp and Schmid, Helmut and Uszkoreit, Hans},
  title =	{{Statistical Techniques for Translating to Morphologically Rich Languages (Dagstuhl Seminar 14061)}},
  pages =	{1--16},
  journal =	{Dagstuhl Reports},
  ISSN =	{2192-5283},
  year =	{2014},
  volume =	{4},
  number =	{2},
  editor =	{Fraser, Alexander M. and Knight, Kevin and Koehn, Philipp and Schmid, Helmut and Uszkoreit, Hans},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.2.1},
  URN =		{urn:nbn:de:0030-drops-45420},
  doi =		{10.4230/DagRep.4.2.1},
  annote =	{Keywords: Machine Translation, Statistical Machine Translation, Syntactic Parsing, Morphology, Machine Learning, Morphologically Rich Languages}
}
  • Refine by Author
  • 2 Knight, Kevin
  • 1 Drewes, Frank
  • 1 Elberty, Liam
  • 1 Fraser, Alexander M.
  • 1 Koehn, Philipp
  • Show More...

  • Refine by Classification
  • 1 Software and its engineering → Formal language definitions
  • 1 Software and its engineering → General programming languages
  • 1 Software and its engineering → Language features
  • 1 Software and its engineering → Semantics

  • Refine by Keyword
  • 1 Automata theory
  • 1 Graph transformation
  • 1 Machine Learning
  • 1 Machine Translation
  • 1 Morphologically Rich Languages
  • Show More...

  • Refine by Type
  • 3 document

  • Refine by Publication Year
  • 1 2014
  • 1 2015
  • 1 2019

Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact