Volume
@proceedings{LuxLogAI2018,
title = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
editor = {Christoph Benzm\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762}}
Papers
@inproceedings{LuxLogAI2018:On_Inductive_Verification_and,
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\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {1--8},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/C1mW},
doi = {10.29007/9199}}
@inproceedings{LuxLogAI2018:Competitive_Proving_for_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\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {9--14},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/gcW3},
doi = {10.29007/ktx8}}
@inproceedings{LuxLogAI2018:Roadmap_to_Gradually_Compare,
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\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {15--19},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/vv1m},
doi = {10.29007/tgc4}}
@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\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {20--26},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/hDX6},
doi = {10.29007/lt5p}}
@inproceedings{LuxLogAI2018:Leibniz_on_Reasoning_about,
author = {Lukas Gr\textbackslash{}"atz},
title = {Leibniz on Reasoning about Impossible Concepts},
booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
editor = {Christoph Benzm\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {27--31},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/FWDH},
doi = {10.29007/jnml}}
@inproceedings{LuxLogAI2018:An_Ontology_for_Transportation,
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\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {32--37},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/8Fls},
doi = {10.29007/qt2m}}
@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\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {38--42},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/DXGr},
doi = {10.29007/fvc9}}
@inproceedings{LuxLogAI2018:Concepts_as_Modalities_in,
author = {Lukas Gr\textbackslash{}"atz},
title = {Concepts as Modalities in Description Logics},
booktitle = {Selected Student Contributions and Workshop Papers of LuxLogAI 2018},
editor = {Christoph Benzm\textbackslash{}"uller and Xavier Parent and Alexander Steen},
series = {Kalpa Publications in Computing},
volume = {10},
pages = {43--47},
year = {2019},
publisher = {EasyChair},
bibsource = {EasyChair, https://easychair.org},
issn = {2515-1762},
url = {https://easychair.org/publications/paper/NwsF},
doi = {10.29007/9cxg}}