IPRA 2014 PROCEEDINGS: KEYWORD INDEX

Papers Papers with Abstracts Preface Author Index Keyword Index

Shortcuts: A B C D F G I L M N O P Q R S T U

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