unilogo

Dr.-Ing. Claus Zinn, Dipl.-Inf.
Seminar für Sprachwissenschaft
Universität Tübingen

Publications (by year)

2019

  • T. Trippel and C. Zinn: Describing Research Data with CMDI - Challenges to Establish Contact with Linked Open Data. Chapter in: Development of Linguistic Linked Open Data Resources for Collaborative Data-Intensive Research in the Language Sciences; edited by Antonio Pareja-Lora, María Blume, and Barbara C. Lust; MIT Press, in preparation.

2018

  • C. Zinn: The Language Resource Switchboard. Computational Linguistics 44(4), pages 631-639, December 2018.
  • T. Trippel and C. Zinn: Lessons Learned: On the Challenges of Migrating a Research Data Repository from a Research Institution to a University Library. Proceedings of the 8th. International Conference on Language Resources and Evaluation (LREC), 2018.
  • C. Zinn and W. Qui and M. Hinrichs and E. Dima and A. Chernov: Handling Big Data and Sensitive Data Using EUDAT's Generic Execution Framework and the WebLicht Workflow Engine, Proceedings of the 8th. International Conference on Language Resources and Evaluation (LREC), 2018.
  • C. Zinn. A Bridge from EUDAT's B2DROP cloud service to CLARIN's Language Resource Switchboard. Selected papers from the CLARIN Annual Conference 2017 (Budapest), Linköping University Electronic Press, vol. 147, pages 36-45, 2018

2017

  • C. Zinn: A Bridge from EUDAT's B2DROP Cloud Service to CLARIN's Language Resource Switchboard, Proceedings of the CLARIN Annual Conference (18-20 September 2017), Budapest, Hungary, 2017.

2016

  • C. Zinn, T. Trippel, S. Kaminski, E. Dima: Crosswalking from CMDI to Dublin Core and MARC 21. Proceedings of the 10th. International Conference on Language Resources and Evaluation (LREC), 2016.
  • T. Trippel and C. Zinn. Enhancing the Quality of Metadata by using Authority Control. Proceedings of the 5th Workshop on Linked Data in Linguistic (LDL-2016) at LREC, 2016.
  • C. Zinn. The CLARIN Language Resource Switchboard. Proceedings of the CLARIN Annual Conference, Aix-en-Provence, 2016. Link to Proceedings.

2015

  • T. Trippel and C. Zinn. DMPTY -- A Wizard for Generating Data Management Plans, Selected Papers from the CLARIN Annual Conference 2015, Wroclaw, Poland, Vol. 123, pages 71-78, Linkoeping University Electronic Press.
  • E. Hinrichs, T. Trippel, and C. Zinn: NaLiDa: Nachhaltigkeit linguistischer Daten. Presented at the 3rd. DINI/nestor-Workshop "Langzeitarchivierung von Forschungsdaten" Konrad-Zuse-Zentrum für Informationstechnik, Takustraße 7, 14195 Berlin.

2014

  • C. Zinn. A lean constraint-based system to support intelligent tutoring, 14th IEEE International Conference on Advanced Learning Technologies (ICALT-2014), pages 52-53, IEEE Computer Society Publications, 2014.
  • C. Zinn. Algorithmic Debugging and Literate Programming to Generate Feedback in Intelligent Tutoring Systems, KI-2014, C. Lutz and M. Thielscher (Eds), pages 37-48, LNCS 8736, Springer, 2014.
  • C. Zinn. MaVeriC - A Constraint-based System for Web-based Learning, Advances in Web-Based Learning (ICWL 2014), LNCS 8613, pages 213-218, Springer, 2014.
  • C. Zinn. Heuristic Search Over Program Transformations. Declarative Programming and Knowledge Management (KDPD 2013), Unifying INAP, WFLP, and WLP. LNAI 8439, pages 234-249, Springer, 2014.

2013

  • C. Zinn. Algorithmic Debugging for Intelligent Tutoring: How to use multiple models and improve diagnosis. KI-2013: From Research to Innovation and Practical Applications, Proceedings of the 36th German Conference on Artificial Intelligence, LNAI 8077, pages 272-283, Springer, 2013.
  • C. Zinn. A Prolog-based Tutor for Multi-Column Subtraction with Multiple Algorithms Support KI-2013: From Research to Innovation and Practical Applications, Proceedings of the 36th German Conference on Artificial Intelligence, LNAI 8077, 308-311, Springer, 2013.
  • C. Zinn. Program analysis and manipulation to reproduce learner's erroneous reasoning. Revised Paper. Proceedings of the 22nd International Symposium of Logic-Based Program Synthesis and Transformation (LOPSTR-2012), Lecture Notes in Computer Science, Vol. 7844, pages 228-243, Springer 2013.


2012

  • C. Zinn. Program analysis and manipulation to reproduce learner's erroneous reasoning, Proceedings of the 22nd International Symposium of Logic-Based Program Synthesis and Transformation (LOPSTR-2012), Katholieke Universiteit Leuven, Department of Computer Science, Report CW 625, September 2012.
  • C. Zinn and C. Hoppermann and T. Trippel. The ISOcat Registry Reloaded. Proceedings of the 9th Extended Semantic Web Conference (ESWC 2012), Lecture Notes in Computer Science, Vol. 7295, Springer 2012. (acceptance rate: 25%)
  • E. Dima and V. Henrich and E. Hinrichs and M. Hinrichs and C. Hoppermann and T. Trippel and T. Zastrow and C. Zinn. A Repository for the Sustainable Management of Research Data. Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC), 2012.
  • E. Dima and C. Hoppermann and E. Hinrichs and T. Trippel and C. Zinn, A Metadata Editor to Support the Description of Linguistic Resources. Proceedings of the 8th International Conference on Language Resources and Evaluation (LREC), 2012.
  • C. Hoppermann, T. Trippel and C. Zinn. Prozesse zur Beschreibung und Archivierung linguistischer Forschungsdaten. Accepted as poster/demo to DGFS 2012, Frankfurt.


2011

  • C. Hoppermann, T. Trippel and C. Zinn. Managing Linguistic Resources by Enriching Their Metadata with Linked Data. Poster presented at the 10th. International Semantic Web Conference (ISWC 2011), Bonn, Germany, 2011.
  • C. Zinn. Algorithmic Debugging To Support Cognitive Diagnosis in Tutoring Systems. 34th German Conference on Artificial Intelligence (KI-11), LNAI 7006, pages 357-368, Springer, Heidelberg, 2011.
  • E. Dima, C. Hoppermann, T. Trippel and C. Zinn. Building a Repository for Language Resources: Technological Aspects of the Workflow. Workshop "Sprachtechnologie für ein mehrsprachiges Europa", held at the Conference of the German Society for Computational Linguistics and Language Technology (GSCL-2011), 2011.
  • C. Hoppermann, T. Trippel and C. Zinn. Devil's Advocate on Metadata in Science. In Multilingual Resources and Multilingual Applications - Proceedings of the Conference of the German Society for Computational Linguistics and Language Technology (GSCL-2011), Edited by H. Hedeland, T. Schmidt and K. Wörner, Hamburg, 2011, ISSN 0176-599X.
  • C. Zinn. Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming. In H. Kuchen, editor, Proceedings of the 20th. International Workshop on Functional and Constraint Logic Programming (WFLP 2011), LNCS 6816, pages 104-121, Springer, 2011.
  • R. Barkey, E. Hinrichs, C. Hoppermann, T. Trippel and C. Zinn. Trailblazing through Forests of Resources in Linguistics. In: Digital Humanities 2011, Stanford University, Stanford, CA, USA, 2011.
  • R. Barkey, E. Hinrichs, C. Hoppermann, T. Trippel and C. Zinn. Komponenten-basierte Metadatenschemata und Facetten-basierte Suche - Ein flexibler und universeller Ansatz. In: Information und Wissen: global, sozial und frei? Internationales Symposium der Informationswissenschaft (Hildesheim), J. Griesbaum and T. Mandl and C. Womser-Hacker (eds.), pages 62-73, Verlag Werner Hülsbusch, Boizenburg, 2011.


2010

  • J. Ringersma, C. Zinn, and A. Koenig. Eureka! - User friendly access to the MPI linguistic data archive. SDV - Sprache und Datenverarbeitung/International Journal for Language Data Processing. Vol. 34.1 (Usability Aspects of Hypermedia Systems. H. Cölfen, H.-Chr. Schmitz, U. Schmitz, B. Schröder (Eds.), ISBN 978-3-940251-98-5), 2010.
  • L. van der Meij and A. Isaac and C. Zinn. A web-based repository service for vocabularies and alignments in the Cultural Heritage domain. Proceedings of the 7th Extended Semantic Web Conference (ESWC 2010). Springer-Verlag, LNCS 6088, ISBN 978-3-642-13485-2, pages 394-409, 2010. (acceptance rate: 20%)
  • D. van Uytvanck, C. Zinn, D. Broeder, P. Wittenburg, and M. Gardellini. Virtual Language World: the portal to the language resources and technology universe. Proceedings of the 7th. International Conference on Language Resources and Evaluation (LREC), 2010.
  • D. Broeder, M. Kemps-Snijders, D. Van Uytvanck, M. Windhouwer, P. Withers, P. Wittenburg and C. Zinn. A Data Category Registry- and Component-based Metadata Framework. Proceedings of the 7th. International Conference on Language Resources and Evaluation (LREC), 2010.
  • C. Zinn, P. Wittenburg and J. Ringersma. An Evolving eScience Environment for Research Data in Linguistics. Proceedings of the 7th. International Conference on Language Resources and Evaluation (LREC), 2010.

2009

  • A. Isaac, S. Wang, C. Zinn, H. Matthezing, L. van der Meij, and S. Schlobach. Evaluating thesaurus alignments for semantic interoperability in the library domain. IEEE Intelligent Systems, 24(2):76-86, Mar./Apr. 2009. doi:10.1109/MIS.2009.26.
  • J. Ringersma, M. Kemps-Snijders, and C. Zinn. Lexus and ViCoS: from lexical to conceptual spaces. In First International Conference on Language Documentation and Conservation (ICLDC), March 2009. Published online at http://hdl.handle.net/10125/4974.

2008

  • A. Isaac, S. Schlobach, H. Matthezing, and C. Zinn. Integrated access to cultural heritage resources through representation and alignment of controlled vocabularies. Library Review, 57(3):187-199, 2008. Emerald Group Publishing Limited, DOI: 10.1108/00242530810865475. Received Emerald Outstanding Paper Award (Highly Commended Paper).
  • A. Isaac, H. Matthezing, L. van der Meij, S. Schlobach, S. Wang, and C. Zinn. Putting ontology alignment in context: Usage scenarios, deployment and evaluation in a library case. In S. Bechhofer et al., editor, Proceedings of the 5th European Semantic Web Conference (ESWC 2008), LNCS 5021, pages 402-417. Springer-Verlag, 2008. (acceptance rate: 19%)
  • C. Zinn. Conceptual spaces in ViCoS. In S. Bechhofer et al., editor, Proceedings of the 5th European Semantic Web Conference (ESWC 2008), volume LNCS 5021, pages 890-894, Tenerife, 2008. Springer-Verlag. Demo Track.
  • M. Kemps-Snijders, A. Klassmann, C. Zinn, P. Berck, A. Russel, and P. Wittenburg. Exploring and enriching a language resource archive via the web. In Proceedings of the 6th. International Conference on Language Resources and Evaluation (LREC), 2008.
  • M. Kemps-Snijders, C. Zinn, J. Ringersma, and M. Windhouwer. Ensuring semantic interoperability on lexical resources. In Proceedings of the 6th International Conference on Language Resources and Evaluation (LREC), 2008.
  • D. Broeder, E. Auer, M. Kemps-Snijders, H. Sloetjes, P. Wittenburg, and C. Zinn. Managing very large multimedia archives and their integration into federations. DELOS: an Association for Digital Libraries, September 2008. Aarhus, Denmark, ISSN 1818-8044, ISBN 2-912335-45-0.
  • C. Zinn, J. Ringersma, G. Cablitz, M. Kemps-Snijders, and P. Wittenburg. Constructing knowledge spaces from linguistic resources. In Workshop on Linguistic Studies of Ontology: From Lexical Semantics to Formal Ontologies and Back, held at CIL18 (18th International Congress of Linguists), 2008. Held at Korea University, Seoul, Republic of Korea on July 21 and July 22.

2007

  • O. Scheuer and C. Zinn. How did the e-learning session go? the student inspector. In Proceedings of the 13th. International Conference on Artificial Intelligence and Education, Marina Del Rey, Ca., USA., 2007. IOS Press. (acceptance rate: 30%)
  • A. Isaac, C. Zinn, H. Matthezing, L. van der Meij, S. Schlobach, and S. Wang. The value of usage scenarios for thesaurus alignment in cultural heritage context. In Proceedings of the First International Workshop on Cultural Heritage on the Semantic Web, 6th International Semantic Web Conference (ISWC2007), Busan, South Corea, 2007.

2006

  • C. Zinn. Supporting the formal verification of mathematical texts. Journal of Applied Logic, 4(4), December 2006. (pdf)
  • C. Zinn. Bootstrapping a semantic wiki application for learning mathematics. In S. Schaffert and Y. Sure, editors, Semantic Systems. From Visions to Applications, Proc. of the Semantics 2006 Conference, pages 255-260. Austrian Computer Society, 2006.
  • C. Zinn. Supporting tutorial feedback to student help requests and errors in symbolic differentiation. In M. Ikeda and K. Ashley, editors, Proceedings of Intelligent Tutoring Systems, 8th. International Conference, ITS-2006, volume LNCS 4053 of Lecture Notes in Computer Science, pages 349-359. Springer, June 2006. (acceptance rate: 35%)
  • C. Zinn and O. Scheuer. Getting to know your student in distance-learning contexts. In W. Nejdl and K. Tochtermann, editors, Proc. of the First European Conference on Technology Enhanced Learning (EC-TEL 2006), volume 4227 of Lecture Notes in Computer Science, pages 437-451. Springer, 2006. (acceptance rate: 22%)
  • C. Callaway, M. Dzikovska, C. Matheson, J. Moore, and C. Zinn. Using dialogue to learn math in the leactivemath project. In Proceedings of the ECAI Workshop on Language-Enhanced Educational Technology, pages 1-8, Riva del Garda, Italy, August 2006.
  • M. Dzikovska, D. Reitter, J. Moore, and C. Zinn. Data-driven modelling of human tutoring in calculus. In Proceedings of the ECAI Workshop on Language-Enhanced Educational Technology, pages 22-28, Riva del Garda, Italy, August 2006.

2005

  • C. Zinn, J. D. Moore, and M. G. Core. Intelligent Information Presentation for Tutoring Systems. Chapter in: Intelligent Information Presentation, O. Stock and M. Zancanaro (eds.). Kluwer Academic Publishers, 2005.

2004

  • C. Zinn. Understanding Informal Mathematical Discourse. PhD thesis, Institut für Informatik, Universität Erlangen-Nürnberg, September 2004. Published as: Arbeitsberichte des Instituts für Informatik, Band 37, Nr.4, ISSN 0344-3515.
  • M. Alexoudi, C. Zinn, and A. Bundy. English summaries of mathematical proofs. In Workshop on Computer-supported mathematical theory development at the International Joint Conference on Automated Reasoning (IJCAR), pages 49-60, 2004.
  • C. Zinn. Flexible dialogue management in natural-language enhanced tutoring. In Konvens 2004 Workshop on Advanced Topics in Modeling Natural Language Dialogue, pages 28-35, Vienna, 2004.
  • C. Zinn. On the use of variables in mathematical discourse. In E.Buchberger (ed.): Proceedings of Konvens 2004 (7. Konferenz zur Verarbeitung natuerlicher Sprache), ISBN 3-85027-005-X. Lecture notes series of the Austrian Society for Artificial Intelligence, Vol. 5, pages 217-220, Wien, 2004.
  • J. D. Moore, K. Porayska-Pomsta, S. Varges, and C. Zinn. Generating tutorial feedback with affect. In V. Barr and Z. Markov, editors, Proceedings of the Seventeenth International Florida Artificial Intelligence Research Society Conference, Miami Beach, Florida, USA. AAAI Press, 2004.

2003

  • C. Zinn. A computational framework for understanding mathematical discourse. Logic Journal of the IGPL, 11(4):457-484, 2003. (pdf)
  • M. G. Core, J. D. Moore, and C. Zinn. The role of initiative in tutorial dialogue. In Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics, 2003. (acceptance rate: 26.5%)
  • C. Zinn. Conditionals and pseudo-conditionals in mathematical texts. In Proceedings of the 4th. Workshop on Inference in Computational Semantics (ICoS-4), pages 217-232, Nancy, France, 2003. LORIA.
  • C. Zinn, J. D. Moore, M. G. Core, S. Varges, and K. Porayska-Pomsta. The BE&E Tutorial Learning Environment (BEETLE), system demonstration. In Proceedings of the 7th. Workshop on the Semantics and Pragmatics of Dialogue (DIABRUCK 2003), pages 209-210. Saarbruecken, Germany, 2003.

2002

  • C. Zinn, J. D. Moore, and M. G. Core. A 3-tier planning architecture for managing tutorial dialogue. In S. A. Cerri, G. Gouardères, and F. Paraguaçu, editors, Proceedings of the 6th. Int'l. Conference on Intelligent Tutoring Systems (ITS 2002), volume LNCS 2363 of Lecture Notes in Computer Science, pages 574-584. Springer, June 2002.
  • M. G. Core, J. D. Moore, and C. Zinn. Initiative in tutorial dialogue. In Proceedings of the ITS-2002 Workshop on Empirical Methods for Tutorial Dialogue Systems, Biarritz, France, 2002.
  • C. Zinn, J. D. Moore, and M. G. Core. A 3-tier planning architecture for managing tutorial dialogue, system demonstration. In Proceedings of the 6th. Workshop on the Semantics and Pragmatics of Dialogue (EDILOG 2002), page 200. Edinburgh, UK, 2002.

2001

  • M. G. Core, J. D. Moore, and C. Zinn. Initiative management for tutorial dialogue. In Proceedings of the NAACL Workshop on Adaption in Dialogue Systems. Pittsburgh, PA, 2001.

2000

  • A. Bundy, J. D. Moore, and C. Zinn. An Intelligent Tutoring System for Induction Proofs. In Proceedings of the CADE-17 Workshop on Automated Deduction in Education, pages 4-13. Carnegie Mellon University, Pittsburgh, USA, 2000.
  • M. G. Core, J. D. Moore, and C. Zinn. Supporting Constructive Learning with a Feedback Planner. In Papers from the 2000 AAAI Fall Symposium: Building Dialogue Systems for Tutorial Applications, pages 1-9. AAAI Press, Technical Report FS-00-01, 2000.
  • M. G. Core, J. D. Moore, C. Zinn, and P. Wiemer-Hastings. Modeling Human Teaching Tactics in a Computer Tutor. In Proceedings of the ITS 2000 Workshop on Modelling Human Teaching Tactics and Strategies, pages 20-31. Université de Québec à Montréal, 2000.
  • C. Zinn. Computing Presuppositions and Implicatures in Mathematical Discourse. In Proceedings of the 2nd. Workshop on Inference in Computational Semantics (ICoS-2), pages 121-135. Schloss Dagstuhl, Germany, 2000.
  • C. Zinn. Towards the Mechanical Verification of Textbook Proofs. In Proceedings of the 7th. Workshop on Logic, Language, Information and Computation (WOLLIC-2000), pages 201-211. Natal, Brazil, 2000.

before 2000

  • C. Zinn. Colosseum - An Automated Theorem Prover for Intuitionistic Predicate Logic based on Dialogue Games. In Position Papers of the Int'l. Conference on Analytic Tableaux and Related Methods (Tableaux-99), Saratoga Springs, USA, Technical Report, pages 133-147, 1999.
  • C. Zinn. Parsing formulae in textbook proofs. In Proceedings of the 3rd. Int'l Workshop on Computational Semantics (IWCS-3), pages 422-424. Tilburg University, 1999.
  • C. Zinn. Understanding Mathematical Discourse. In Proceedings of Amstelogue'99 Workshop on the Semantics and Pragmatics of Dialogue. Amsterdam University, 1999.
  • C. Zinn. Verifying textbook proofs. In Proceedings of the Int'l. Workshop on First-Order Theorem Proving (FTP'98), Technical Report E1852-GS-981, pages 262-264. Technische Universität Wien, Austria, 1998.
  • J. Ehrensberger and C. Zinn. DiaLog - A System for Dialogue Logic. In William McCune, editor, Proceedings of the 14th. Conference on Automated Deduction - CADE-14, volume 1249 of Lecture Notes in Artificial Intelligence, pages 446-460. Springer, 1997.
Time-stamp: <2019-01-11 09:08:17 (zinn)>