VSL 2014: VIENNA SUMMER OF LOGIC 2014
TALK KEYWORD INDEX

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

A
abductive logic programming
B
BDD
C
circumscription
clausal proofs
Concept matching
Concolic
Craig interpolation
Craig's interpolation
D
Databases
definability
Description Logics
Domain Independence
DRUP
F
Fault Localization
Forgetting
Formal verification
G
Generalized Craig interpolation
I
interpolants
Interpolation
L
Lazy Annotation
local-first
logic programming
Logical abduction
M
Maximal interpolants
modulare SMT solving
N
n-interpolation
O
Ontologies
P
Probabilistic BMC
Probabilistic hybrid automaton
Projection
Property-Driven Reachability
Pudlak rules
Q
query optimization
query plan generation
query rewriting
R
reachability games
resolution
Resolution rules
S
SAT
SAT modulo theories
security protocols
SMT
software model checking
Specification Synthesis
Stochastic satisfiability modulo theories
string constraints
synthesis
T
Tableau
Theory approximation
two-player games
U
Uniform Interpolation