LPAR-IWIL 2018: Keyword Index

KeywordPapers
a
Answer Set ProgrammingSymmetry breaking in a new stable model search method
c
computational complexityOn Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
d
Data MiningTowards Efficient Metaquery Generator
DPLL(T)Extending a Verified Simplex Algorithm
f
functorHoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
g
GroupoidHoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
h
Halpern-Shoham logicOn Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Higher Inductive TypeHoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
homotopy type theoryHoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
i
interval logicOn Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
Isabelle/HOLExtending a Verified Simplex Algorithm
l
Linear Rational ArithmeticExtending a Verified Simplex Algorithm
logic programmingSymmetry breaking in a new stable model search method
m
metaqueriesTowards Efficient Metaquery Generator
r
relational databaseTowards Efficient Metaquery Generator
s
stable modelsSymmetry breaking in a new stable model search method
Sub-propositional FragmentsOn Disallowing Punctual Intervals in Reflexive Semantics of Halpern-Shoham Logic
symmetry breakingSymmetry breaking in a new stable model search method
t
theory solverExtending a Verified Simplex Algorithm
u
univalenceHoTT-Crypt : A Study in Homotopy Type Theory based on Cryptography
unsatisfiable coreExtending a Verified Simplex Algorithm