Inproceedings3065: Unterschied zwischen den Versionen
Aus International Center for Computational Logic
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
Christoph Wernhard (Diskussion | Beiträge) KKeine Bearbeitungszusammenfassung |
||
| (Eine dazwischenliegende Version desselben Benutzers wird nicht angezeigt) | |||
| Zeile 7: | Zeile 7: | ||
|Referiert=1 | |Referiert=1 | ||
|Title=Towards Knowledge-Based Assistance for Scholarly Editing | |Title=Towards Knowledge-Based Assistance for Scholarly Editing | ||
|To appear= | |To appear=0 | ||
|Year=2016 | |Year=2016 | ||
|Booktitle=1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 | |Booktitle=1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts) | ||
|Pages=29-31 | |||
|Editor=Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban | |Editor=Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban | ||
}} | }} | ||
{{Publikation Details | {{Publikation Details | ||
|Link=http://aitp-conference.org/aitp_proceedings.pdf | |||
|Projekt=SOA-VBQP | |Projekt=SOA-VBQP | ||
|Forschungsgruppe=Wissensverarbeitung | |Forschungsgruppe=Wissensverarbeitung | ||
}} | }} | ||
Aktuelle Version vom 11. Juli 2016, 19:10 Uhr
Towards Knowledge-Based Assistance for Scholarly Editing
Jana KittelmannJana Kittelmann, Christoph WernhardChristoph Wernhard
Jana Kittelmann, Christoph Wernhard
Towards Knowledge-Based Assistance for Scholarly Editing
In Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds., 1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts), 29-31, 2016
Towards Knowledge-Based Assistance for Scholarly Editing
In Thomas C. Hales, Cezary Kaliszyk, Stephan Schulz, Josef Urban, eds., 1st Conference on Artificial Intelligence and Theorem Proving, AITP 2016 (Book of Abstracts), 29-31, 2016
- Weitere Informationen unter:Further Information: Link
- Projekt:Project: SOA-VBQP
- Forschungsgruppe:Research Group: WissensverarbeitungKnowledge Representation and Reasoning
@inproceedings{KW2016,
author = {Jana Kittelmann and Christoph Wernhard},
title = {Towards Knowledge-Based Assistance for Scholarly Editing},
editor = {Thomas C. Hales and Cezary Kaliszyk and Stephan Schulz and Josef
Urban},
booktitle = {1st Conference on Artificial Intelligence and Theorem Proving,
{AITP} 2016 (Book of Abstracts)},
year = {2016},
pages = {29-31}
}
