FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: CDFGHIJLMNPRSTUV
C
chat bot
Automated Theorem Proving in a Chat Environment
Controlled Natural Language
Text-Orientated Formal Mathematics
D
Deductive interactive program verification
Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned
direct-manipulation interaction
Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned
F
first-order logic
Partial Regularization of First-Order Resolution Proofs
focused sequent calculus
Interfacing with a Prover using Focusing and Logic Programming
G
generic proof assistant
Interfacing with a Prover using Focusing and Logic Programming
H
higher-order logic programming
Interfacing with a Prover using Focusing and Logic Programming
I
interactive theorem prover
Automated Theorem Proving in a Chat Environment
Isabelle
Isabelle/PIDE after 10 years of development
J
jEdit
Isabelle/PIDE after 10 years of development
L
lambda-prolog
Interfacing with a Prover using Focusing and Logic Programming
M
Mathematical language
Text-Orientated Formal Mathematics
N
Natural language
Text-Orientated Formal Mathematics
P
proof assistant
Interfacing with a Prover using Focusing and Logic Programming
Proof checking
Text-Orientated Formal Mathematics
Proof compression
Partial Regularization of First-Order Resolution Proofs
Prover IDE
Isabelle/PIDE after 10 years of development
R
resolution
Partial Regularization of First-Order Resolution Proofs
S
simple proof assistant
Interfacing with a Prover using Focusing and Logic Programming
T
TCP server
Isabelle/PIDE after 10 years of development
text-based interaction
Adding Text-Based Interaction to a Direct-Manipulation Interface for Program Verification -- Lessons Learned
U
unification
Partial Regularization of First-Order Resolution Proofs
user interface
Automated Theorem Proving in a Chat Environment
V
VSCode
Isabelle/PIDE after 10 years of development