LuxLogAI (Student / Workshop Papers)

Keyphrases

Publications

volume 10, 2019

Selected Student Contributions and Workshop Papers of LuxLogAI 2018 LuxLogAI (Student / Workshop Papers) 10 (2019)

2018

Lukas Grätz
Leibniz on Reasoning about Impossible Concepts. LuxLogAI (Student / Workshop Papers) (2018)
Lukas Grätz
Concepts as Modalities in Description Logics. LuxLogAI (Student / Workshop Papers) (2018)
Sophie Siebert, Frieder Stolzenburg
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning. LuxLogAI (Student / Workshop Papers) (2018)
Gautam Kishore Shahi, Durgesh Nandini, Sushma Kumari
Inducing Schema.org markup from Natural Language Context. LuxLogAI (Student / Workshop Papers) (2018)
Fred Freitas
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi. LuxLogAI (Student / Workshop Papers) (2018)
Dennis Peuter, Viorica Sofronie-Stokkermans
On Inductive Verification and Synthesis. LuxLogAI (Student / Workshop Papers) (2018)
Durgesh Nandini, Gautam Kishore Shahi
An Ontology for Transportation System. LuxLogAI (Student / Workshop Papers) (2018)
Maximilian Paul Louis Haslbeck, Simon Wimmer
Competitive Proving for Fun. LuxLogAI (Student / Workshop Papers) (2018)