Dr.-Ing. Claus Zinn, Dipl.-Inf.
zinnwerk consulting
Publications (by year)
2023
- C. Zinn and T. Trippel: Migrating Research Data to Another Repository. Accepted as Poster to FORGE-23, 2023 (in press).
- A. Branco, M. Eskevich, F. Frontini, J. Hajic, E. Hinrichs, F. de Jong, P. Kamocki, A. Ko¨nig, K. Linden, C. Navarretta, M. Piasecki, S. Piperidis, O. Pitka¨nen, K. Simov, I. Skadina, T. Trippel, A. Witt, C. Zinn: The CLARIN Infrastructure as an Interoperable Language Technology Platform for SSH and beyond. Language Resources and Evaluation, Springer, 2023.
doi
- O. Brandt, H. Gauza, J. Kaltenbach, M. Müller,
G. Schneider, and C. Zinn: Ein minimales Metadatenschema
für BioDATEN. Abstract (presentation), E-Science-Tage Heidelberg, 2023.
- O. Brandt, H. Gauza, J. Kaltenbach, M. Müller,
G. Schneider, and C. Zinn: Ein Werkzeug zur XSD basierten Metadatenannotation. Abstract (poster), E-Science-Tage Heidelberg, 2023.
-
C. Zinn, M. Hinrichs, and E. Hinrichs: Adapting GermaNet for the Semantic Web using OntoLex-Lemon.
Proceedings of the Global WordNet Conference 2023 (GWC-2023), Global Wordnet Association.
San Sebastian, Spain, 2023.
2022
-
C. Zinn, M. Hinrichs, and E. Hinrichs: Adapting GermaNet for the Semantic Web.
Proceedings of the 18th Conference on Natural Language Processing (KONVENS 2022), pages 41-47,
Potsdam, 2022. link to paper
-
C. Zinn and B. Campbell: WebLicht-Batch A Web-Based Interface for Batch Processing Large Input with the WebLicht Workflow Engine.
Proceedings of the CLARIN Annual Conference 2022, pages 19-23, Prague, 2022. link to entire conference proceedings
-
C. Zinn: Bagman - A Tool that Supports Researchers Archiving Their Data.
Selected papers from the CLARIN Annual Conference 2021 (Virtual Event),
Linköping University Electronic Press, vol. 189, pages 181-189, 2022.
ISBN: 978-91-7929-444-1, ISSN: 1650-3686 (print), 1650-3740 (online), doi
-
N. Meisinger, T. Trippel and C. Zinn: Increasing CMDI's Semantic Interoperability with schema.org.
Proceedings of the 13th Conference on Language Resources and Evaluation (LREC 2022), pages 2714 272. Marseille, France.
European Language Resources Association (ELRA), 2022. link to paper
-
C. Zinn and E. Dima: The CLARIN Language Resource Switchboard. Chapter in CLARIN: The Infrastructure for Language Resources, pages 83-105.
Edited by Darja Fišer and Andreas Witt. De Gruyter, 2022. doi
2021
-
B. Braun, N. Czeke, J. Rimpler, C. Zinn, J. Probst,
B. Goldlücke, J. Kretschmer and K. Zahner-Ritter: Remote
testing of the familiar word effect with non-dialectal and
dialectal German-learning 1-2-year-olds. Frontiers in Psychology, vol 12, 2021.
See link
-
C. Zinn: Bagman - A Tool that Supports Researchers Archiving Their Data.
Proceedings of the CLARIN Annual Conference, Virtual Event (27th - 29th September), 2021.
Proceedings
-
D. Arnold, B. Campbell, T. Eckart, B. Fisseni, T. Trippel and C. Zinn: The CMDI Explorer.
Selected papers from the CLARIN Annual Conference 2020 (Virtual Event),
Linköping University Electronic Press, vol. 180, pages 8-15,
https://doi.org/10.3384/ecp1802
2020
-
D. Arnold, B. Campbell, T. Eckart, B. Fisseni, T. Trippel and C. Zinn: The CMDI Explorer.
Proceedings of the CLARIN Annual Conference, Virtual Event (5th - 7th October), 2020.
Proceedings
2019
-
T. Trippel and C. Zinn: Lessons Learned: On the
Challenges of Migrating a Research Data Repository from a
Research Institution to a University Library. Extended paper. Language
Resources and Evaluation. Vol. 55, pages 191-207. Springer, 2019 (online), 2021 (print). See doi link.
- 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,
Maria Blume, and Barbara C. Lust; MIT Press, December 2019. see MIT book site.
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.