LuxLogAI 2018:BibTeX Entries

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