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 |