VSL 2014: VIENNA SUMMER OF LOGIC 2014

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

A
abductive logic programming	Application Patterns of Projection/Forgetting
B
BDD	Practical CNF Interpolants Via BDDs
C
circumscription	Application Patterns of Projection/Forgetting
clausal proofs	Interpolation from Clausal Proofs
Concept matching	Application Patterns of Projection/Forgetting
Concolic	Fault Localization using Interpolation
Craig interpolation	Specification Synthesis via Generalized Abduction Towards Craig Interpolation for String Constraints
Craig's interpolation	Using Interpolation for the Verification of Security Protocols (Extended Abstract)
D
Databases	Interpolation and Domain Independence applied to Databases
definability	Application Patterns of Projection/Forgetting
Description Logics	Resolution Based Uniform Interpolation for Expressive Description Logics
Domain Independence	Interpolation and Domain Independence applied to Databases
DRUP	Interpolation from Clausal Proofs
F
Fault Localization	Fault Localization using Interpolation
Forgetting	Resolution Based Uniform Interpolation for Expressive Description Logics Application Patterns of Projection/Forgetting
Formal verification	Using Interpolation for the Verification of Security Protocols (Extended Abstract)
G
Generalized Craig interpolation	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
I
interpolants	Practical CNF Interpolants Via BDDs Interpolants in Two-Player Games
Interpolation	Fault Localization using Interpolation Practical CNF Interpolants Via BDDs Interpolation from Clausal Proofs Interpolation and Domain Independence applied to Databases
L
Lazy Annotation	Interpolation Strategies
local-first	Tree-based Modular SMT Solving
logic programming	Application Patterns of Projection/Forgetting
Logical abduction	Specification Synthesis via Generalized Abduction
M
Maximal interpolants	Specification Synthesis via Generalized Abduction
modulare SMT solving	Tree-based Modular SMT Solving
N
n-interpolation	Tree-based Modular SMT Solving
O
Ontologies	Resolution Based Uniform Interpolation for Expressive Description Logics
P
Probabilistic BMC	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
Probabilistic hybrid automaton	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
Projection	Application Patterns of Projection/Forgetting
Property-Driven Reachability	Interpolation Strategies
Pudlak rules	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
Q
query optimization	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)
query plan generation	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)
query rewriting	Application Patterns of Projection/Forgetting
R
reachability games	Interpolants in Two-Player Games
resolution	Resolution Based Uniform Interpolation for Expressive Description Logics
Resolution rules	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
S
SAT	Interpolation from Clausal Proofs
SAT modulo theories	Interpolation Strategies
security protocols	Using Interpolation for the Verification of Security Protocols (Extended Abstract)
SMT	Towards Craig Interpolation for String Constraints
software model checking	Interpolation Strategies
Specification Synthesis	Specification Synthesis via Generalized Abduction
Stochastic satisfiability modulo theories	Generalized Craig Interpolation for Stochastic Satisfiability Modulo Theory Problems
string constraints	Towards Craig Interpolation for String Constraints
synthesis	Practical CNF Interpolants Via BDDs
T
Tableau	On Enumerating Query Plans via Interpolants from Tableau Proofs (abstract)
Theory approximation	Application Patterns of Projection/Forgetting
two-player games	Interpolants in Two-Player Games
U
Uniform Interpolation	Resolution Based Uniform Interpolation for Expressive Description Logics Application Patterns of Projection/Forgetting

Disclaimer | Powered by EasyChair Smart Program