LuxLogAI 2018:Keyword Index

KeywordPapers
C
cognitive reasoningCoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
commonsense reasoningCoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
concept compositionLeibniz on Reasoning about Impossible Concepts
Concepts as Modalities in Description Logics
connection methodA Roadmap to Gradually Compare and Benchmark Description Logic Calculi
D
Description LogicA Roadmap to Gradually Compare and Benchmark Description Logic Calculi
description logic benchmarkingA Roadmap to Gradually Compare and Benchmark Description Logic Calculi
Description LogicsLeibniz on Reasoning about Impossible Concepts
Concepts as Modalities in Description Logics
E
Explainable Artificial IntelligenceCoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
I
Impossible ConceptLeibniz on Reasoning about Impossible Concepts
interactive theorem provingCompetitive Proving for Fun
invariant synthesisOn Inductive Verification and Synthesis
Isabelle/HOLCompetitive Proving for Fun
K
Knowledge GraphInducing Schema.org markup from Natural Language Context
L
local theory extensionsOn Inductive Verification and Synthesis
M
multi-modal logicLeibniz on Reasoning about Impossible Concepts
Concepts as Modalities in Description Logics
O
OntologiesCoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
OntologyAn Ontology for Transportation System
Q
quantifier eliminationOn Inductive Verification and Synthesis
R
RDFaInducing Schema.org markup from Natural Language Context
ReasonerA Roadmap to Gradually Compare and Benchmark Description Logic Calculi
S
schema.orgInducing Schema.org markup from Natural Language Context
Semantic InteroperabilityAn Ontology for Transportation System
semantic markupInducing Schema.org markup from Natural Language Context
SMTOn Inductive Verification and Synthesis
structured dataInducing Schema.org markup from Natural Language Context
T
theorem provingCoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
theorem proving competitionCompetitive Proving for Fun
Transport OntologyAn Ontology for Transportation System
Transportation SystemAn Ontology for Transportation System
W
Web Data CommonsInducing Schema.org markup from Natural Language Context