LPAR-IWIL 2018:Keyword Index

Keyword	Papers
A
Answer Set Programming	Symmetry breaking in a new stable model search method
C
computational complexity	On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
D
Data Mining	Towards Efficient Metaquery Generator
DPLL(T)	Extending a Verified Simplex Algorithm
F
functor	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
G
Groupoid	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
H
Halpern-Shoham logic	On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Higher Inductive Type	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
homotopy type theory	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
I
interval logic	On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Isabelle/HOL	Extending a Verified Simplex Algorithm
L
Linear Rational Arithmetic	Extending a Verified Simplex Algorithm
logic programming	Symmetry breaking in a new stable model search method
M
metaqueries	Towards Efficient Metaquery Generator
R
relational database	Towards Efficient Metaquery Generator
S
stable models	Symmetry breaking in a new stable model search method
Sub-propositional Fragments	On Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
symmetry breaking	Symmetry breaking in a new stable model search method
T
theory solver	Extending a Verified Simplex Algorithm
U
univalence	HoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
unsatisfiable core	Extending a Verified Simplex Algorithm