|
|
LuxLogAI 2018: Author Index| Author | 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 |
|
|
|
