FLOC 2018: FEDERATED LOGIC CONFERENCE 2018

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

A
ATP	Testing ATP folklore: a statistical analysis of Vampire proofs.
automated theorem proving	Towards Word Sense Disambiguation by Reasoning Experimenting with Theory Instantiation in Vampire Developments in Higher-order Theorem proving within Vampire
avatar	Giving AVATAR Quantifiers to Play With
B
BLESS	Towards Word Sense Disambiguation by Reasoning
F
first order theories	Experimenting with Theory Instantiation in Vampire
first-order logic	Foundations of SPECTRE
H
higher-order logic	Developments in Higher-order Theorem proving within Vampire
I
instantiation	Giving AVATAR Quantifiers to Play With
Invariants	Foundations of SPECTRE
P
Proof	Testing ATP folklore: a statistical analysis of Vampire proofs.
S
SMT	Giving AVATAR Quantifiers to Play With Experimenting with Theory Instantiation in Vampire
software verification	Foundations of SPECTRE
statistics	Testing ATP folklore: a statistical analysis of Vampire proofs.
SUMO	Towards Word Sense Disambiguation by Reasoning
V
vampire	Experimenting with Theory Instantiation in Vampire Testing ATP folklore: a statistical analysis of Vampire proofs. Developments in Higher-order Theorem proving within Vampire
W
Word Sense Disambiguation	Towards Word Sense Disambiguation by Reasoning
wordnet	Towards Word Sense Disambiguation by Reasoning

Disclaimer | Powered by EasyChair Smart Program