HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors
Volume •Abstracts •Preface •Authors •Keywords •BibTex Entries

LuxLogAI 2018: Volume Information

Selected Student Contributions and Workshop Papers of LuxLogAI 2018

Editors: Christoph Benzmüller, Xavier Parent and Alexander Steen
8 articles•47 pages•Published: May 25, 2019

Papers

On Inductive Verification and Synthesis
Dennis Peuter and Viorica Sofronie-Stokkermans
1-8
Competitive Proving for Fun
Maximilian Paul Louis Haslbeck and Simon Wimmer
9-14
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
Fred Freitas
15-19
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Sophie Siebert and Frieder Stolzenburg
20-26
Leibniz on Reasoning about Impossible Concepts
Lukas Grätz
27-31
An Ontology for Transportation System
Durgesh Nandini and Gautam Kishore Shahi
32-37
Inducing Schema.org markup from Natural Language Context
Gautam Kishore Shahi, Durgesh Nandini and Sushma Kumari
38-42
Concepts as Modalities in Description Logics
Lukas Grätz
43-47

Keyphrases

cognitive reasoning, commonsense reasoning, concept composition2, connection method, Description Logic, description logic benchmarking, Description Logics2, Explainable Artificial Intelligence, Impossible Concept, interactive theorem proving, invariant synthesis, Isabelle/HOL, Knowledge Graph, local theory extensions, multi-modal logic2, Ontologies, Ontology, quantifier elimination, RDFa, Reasoner, schema.org, Semantic Interoperability, semantic markup, SMT, structured data, theorem proving, theorem proving competition, Transport Ontology, Transportation System, Web Data Commons.

Copyright © 2012-2025 easychair.org. All rights reserved.