TALK KEYWORD INDEX
This page contains an index consisting of author-provided keywords.
A | |
Artificial Intelligence | |
ATP | |
ATP competitions | |
ATP process | |
automated reasoning | |
automated theorem proving | |
automated theorem proving process | |
B | |
Beagle | |
C | |
Constraints | |
D | |
De Bruijn | |
Description Logics | |
discrimination tree | |
E | |
EPR | |
equational logic | |
F | |
first-order logic | |
formal mathematics | |
G | |
geometric logic | |
H | |
HOL4 | |
I | |
instance-based theorem proving | |
L | |
large theories | |
large-theory automated reasoning | |
Logics | |
M | |
machine learning | |
model finding | |
model-based theorem proving | |
model-finding | |
O | |
OCaml | |
P | |
polymorphism | |
prime implicates | |
prime impliquates | |
provenance | |
Q | |
quantifier instantiation | |
S | |
semantic guidance | |
strategy development | |
substitution | |
superposition | |
superposition calculus | |
T | |
term representation | |
theorem proving | |
TPTP | |
TPTP process Instruction language | |
Translation | |
U | |
Unification |