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, to appear

Details
Bibtex

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},
  year      = {2016}
}