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