Talk Keyword Index

TALK KEYWORD INDEX

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

Shortcuts: A F H I N O P R S T V

A
automated theorem proving	TFX: The TPTP Extended Typed First-order Form
F
first-order logic	A Verified Simple Prover for First-Order Logic TFX: The TPTP Extended Typed First-order Form Set of Support for Higher-Order Reasoning Dynamic Strategy Priority: Empower the strong and abandon the weak
H
higher-order logic	Set of Support for Higher-Order Reasoning
I
Isabelle/HOL	A Verified Simple Prover for First-Order Logic
N
nanoCoP	Proof Search Optimizations for Non-clausal Connection Calculi
Natural deduction	Efficient translation of sequent calculus proofs into natural deduction proofs
neural networks	Dynamic Strategy Priority: Empower the strong and abandon the weak
non-clausal theorem proving	Proof Search Optimizations for Non-clausal Connection Calculi
Normal Form	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
O
optimization techniques	Proof Search Optimizations for Non-clausal Connection Calculi
P
preprocessing	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
Proof theory	Efficient translation of sequent calculus proofs into natural deduction proofs
R
resolution calculi	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
S
sequent calculus	Efficient translation of sequent calculus proofs into natural deduction proofs
syntax	TFX: The TPTP Extended Typed First-order Form
T
temporal logic	Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics
theorem proving	Set of Support for Higher-Order Reasoning Dynamic Strategy Priority: Empower the strong and abandon the weak
tptp	TFX: The TPTP Extended Typed First-order Form
Translation	Efficient translation of sequent calculus proofs into natural deduction proofs
V
Verified Prover	A Verified Simple Prover for First-Order Logic