LuxLogAI 2018: BibTeX Entries

Volume

@proceedings{LuxLogAI2018,
  title     = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  year      = {2019}}

Papers

@inproceedings{LuxLogAI2018:Inductive_Verification_Synthesis,
  author    = {Dennis Peuter and Viorica Sofronie-Stokkermans},
  title     = {On Inductive Verification and Synthesis},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/C1mW},
  doi       = {10.29007/9199},
  pages     = {1-8},
  year      = {2019}}


@inproceedings{LuxLogAI2018:Competitive_Proving_Fun,
  author    = {Maximilian Paul Louis Haslbeck and Simon Wimmer},
  title     = {Competitive Proving for Fun},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/gcW3},
  doi       = {10.29007/ktx8},
  pages     = {9-14},
  year      = {2019}}


@inproceedings{LuxLogAI2018:Roadmap_Gradually_Compare_Benchmark,
  author    = {Fred Freitas},
  title     = {A Roadmap to Gradually Compare and Benchmark Description Logic Calculi},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/vv1m},
  doi       = {10.29007/tgc4},
  pages     = {15-19},
  year      = {2019}}


@inproceedings{LuxLogAI2018:CoRg_Commonsense_Reasoning_Using,
  author    = {Sophie Siebert and Frieder Stolzenburg},
  title     = {CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/hDX6},
  doi       = {10.29007/lt5p},
  pages     = {20-26},
  year      = {2019}}


@inproceedings{LuxLogAI2018:Leibniz_Reasoning_about_Impossible,
  author    = {Lukas Grätz},
  title     = {Leibniz on Reasoning about Impossible Concepts},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/FWDH},
  doi       = {10.29007/jnml},
  pages     = {27-31},
  year      = {2019}}


@inproceedings{LuxLogAI2018:Ontology_Transportation_System,
  author    = {Durgesh Nandini and Gautam Kishore Shahi},
  title     = {An Ontology for Transportation System},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/8Fls},
  doi       = {10.29007/qt2m},
  pages     = {32-37},
  year      = {2019}}


@inproceedings{LuxLogAI2018:Inducing_Schema.org_markup_from,
  author    = {Gautam Kishore Shahi and Durgesh Nandini and Sushma Kumari},
  title     = {Inducing Schema.org markup from Natural Language Context},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/DXGr},
  doi       = {10.29007/fvc9},
  pages     = {38-42},
  year      = {2019}}


@inproceedings{LuxLogAI2018:Concepts_as_Modalities_Description,
  author    = {Lukas Grätz},
  title     = {Concepts as Modalities in Description Logics},
  booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
  editor    = {Christoph Benzmüller and Xavier Parent and Alexander Steen},
  series    = {Kalpa Publications in Computing},
  volume    = {10},
  publisher = {EasyChair},
  bibsource = {EasyChair, https://easychair.org},
  issn      = {2515-1762},
  url       = {/publications/paper/NwsF},
  doi       = {10.29007/9cxg},
  pages     = {43-47},
  year      = {2019}}