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