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}}