default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDLuxLogAI 2018: Luxembourg - Student / Workshop Papers
- Christoph Benzmüller, Xavier Parent, Alexander Steen:
Selected Student Contributions and Workshop Papers of LuxLogAI 2018. Kalpa Publications in Computing 10, EasyChair 2019 - Dennis Peuter, Viorica Sofronie-Stokkermans:
On Inductive Verification and Synthesis. 1-8 - Maximilian Paul Louis Haslbeck, Simon Wimmer:
Competitive Proving for Fun. 9-14 - Fred Freitas:
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi. 15-19 - Sophie Siebert, Frieder Stolzenburg:
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning. 20-26 - Lukas Grätz:
Leibniz on Reasoning about Impossible Concepts. 27-31 - Durgesh Nandini, Gautam Kishore Shahi:
An Ontology for Transportation System. 32-37 - Gautam Kishore Shahi, Durgesh Nandini, Sushma Kumari:
Inducing Schema.org markup from Natural Language Context. 38-42 - Lukas Grätz:
Concepts as Modalities in Description Logics. 43-47
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-25 22:49 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
