Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
LuxLogAI 2018: Keyword Index
Keyword
Papers
c
cognitive reasoning
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
commonsense reasoning
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
concept composition
Leibniz on Reasoning about Impossible Concepts
Concepts as Modalities in Description Logics
connection method
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
d
Description Logic
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
description logic benchmarking
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
Description Logics
Leibniz on Reasoning about Impossible Concepts
Concepts as Modalities in Description Logics
e
Explainable Artificial Intelligence
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
i
Impossible Concept
Leibniz on Reasoning about Impossible Concepts
interactive theorem proving
Competitive Proving for Fun
invariant synthesis
On Inductive Verification and Synthesis
Isabelle/HOL
Competitive Proving for Fun
k
Knowledge Graph
Inducing Schema.org markup from Natural Language Context
l
local theory extensions
On Inductive Verification and Synthesis
m
multi-modal logic
Leibniz on Reasoning about Impossible Concepts
Concepts as Modalities in Description Logics
o
Ontologies
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Ontology
An Ontology for Transportation System
q
quantifier elimination
On Inductive Verification and Synthesis
r
RDFa
Inducing Schema.org markup from Natural Language Context
Reasoner
A Roadmap to Gradually Compare and Benchmark Description Logic Calculi
s
schema.org
Inducing Schema.org markup from Natural Language Context
Semantic Interoperability
An Ontology for Transportation System
semantic markup
Inducing Schema.org markup from Natural Language Context
SMT
On Inductive Verification and Synthesis
structured data
Inducing Schema.org markup from Natural Language Context
t
theorem proving
CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
theorem proving competition
Competitive Proving for Fun
Transport Ontology
An Ontology for Transportation System
Transportation System
An Ontology for Transportation System
w
Web Data Commons
Inducing Schema.org markup from Natural Language Context
Copyright © 2012-2024 easychair.org. All rights reserved.