LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT

This page contains an index consisting of author-provided keywords.

A
AI	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
alignments	Mathematical Interface Theories for System Integration
Automated Theorem Proving	Deep Reasoning - Hardware Accelerated Artificial Intelligence Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
automatic generation	Automatic generation of Invariants for Concurrent Programs
B
benchmarking	A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
C
calculus	Automatic generation of Invariants for Concurrent Programs
Clause selection heuristic	Deep Reasoning - Hardware Accelerated Artificial Intelligence
cognitive reasoning	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
commonsense reasoning	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Competition	Competitive Proving for Fun
concept composition	Leibniz on Reasoning about Impossible Concepts
concurrent	Automatic generation of Invariants for Concurrent Programs
concurrent programs	Automatic generation of Invariants for Concurrent Programs
connection method	A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
D
Deep Learning	Deep Reasoning - Hardware Accelerated Artificial Intelligence
defeasible logic	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
description logic	A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
Diophantine equations	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
DPRM Theorem	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
F
fixpoint	Automatic generation of Invariants for Concurrent Programs
Formalization	Leibniz on Reasoning about Impossible Concepts
H
Hermeneutics	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
Hilbert's tenth problem	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
I
imps	Proof Recovery for the IMPS system
Interactive Theorem Proving	Competitive Proving for Fun
invariant	Automatic generation of Invariants for Concurrent Programs
Invariant checking	On Inductive Verification and Synthesis
Invariant synthesis	On Inductive Verification and Synthesis
Isabelle	Competitive Proving for Fun Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle IsaSAT, a verified SAT Solver using Isabelle/HOL
L
Leibniz	Leibniz on Reasoning about Impossible Concepts
libraries	Mathematical Interface Theories for System Integration
Local theory extensions	On Inductive Verification and Synthesis
Logic	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
Logical Analysis	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
M
mmt	Mathematical Interface Theories for System Integration Proof Recovery for the IMPS system
N
neural networks	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
O
omdoc	Proof Recovery for the IMPS system
ontologies	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
optimizations	A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
P
predicate transformer	Automatic generation of Invariants for Concurrent Programs
proof extraction	Proof Recovery for the IMPS system
R
reasoning	A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi
recursively enumerable	Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle
Refinement Framework	IsaSAT, a verified SAT Solver using Isabelle/HOL
Reflective Equilibrium	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
S
SAT	Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
SAT Solver	IsaSAT, a verified SAT Solver using Isabelle/HOL
Saturation	Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
Semantic Embeddings	Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments
SMT	On Inductive Verification and Synthesis
Superposition	Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
system integration	Mathematical Interface Theories for System Integration
T
theorem prover	CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning
Theorem proving	Proof Recovery for the IMPS system Herbrand's Revenge - SAT Solving for First-Order Theorem Proving
translation	Proof Recovery for the IMPS system
V
Verification	IsaSAT, a verified SAT Solver using Isabelle/HOL
W
weakest invariant	Automatic generation of Invariants for Concurrent Programs

Disclaimer | Powered by EasyChair Smart Program