Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A B F H I P S V W

A
ATP	Testing ATP folklore: a statistical analysis of Vampire proofs.
automated theorem proving	Towards Word Sense Disambiguation by Reasoning Developments in Higher-order Theorem proving within Vampire Experimenting with Theory Instantiation in 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	Experimenting with Theory Instantiation in Vampire Giving AVATAR Quantifiers to Play With
software verification	Foundations of SPECTRE
statistics	Testing ATP folklore: a statistical analysis of Vampire proofs.
SUMO	Towards Word Sense Disambiguation by Reasoning
V
vampire	Developments in Higher-order Theorem proving within Vampire Testing ATP folklore: a statistical analysis of Vampire proofs. Experimenting with Theory Instantiation in Vampire
W
Word Sense Disambiguation	Towards Word Sense Disambiguation by Reasoning
WordNet	Towards Word Sense Disambiguation by Reasoning