IWIL 2010: Keyword Index

Keyword	Papers
a
AES	Optimizing the AES S-Box using SAT
automated theorem proving	Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
c
column generation	Implementing an Efficient SAT Solver for a Probabilistic Description Logic
complexity analysis	On Implementing Modular Complexity Analysis
d
Definite Clause Grammar	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
derivational complexity	On Implementing Modular Complexity Analysis
Description Logic	Implementing an Efficient SAT Solver for a Probabilistic Description Logic
discrete mathematics	Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
Dummett Logic	Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
f
finite models	Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
i
implicational intuitionistic-logic	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
incidence structures	Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
l
lambda calculus	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
o
Optimization	Optimizing the AES S-Box using SAT
p
polyhedra	Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
probability	Implementing an Efficient SAT Solver for a Probabilistic Description Logic
program synthesis	Optimizing the AES S-Box using SAT
proof tool	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
s
SAT	Implementing an Efficient SAT Solver for a Probabilistic Description Logic Optimizing the AES S-Box using SAT
t
tableau calculi	Tableau Calculus for Dummett Logic Based on Present and Next State of Knowledge
term rewriting	On Implementing Modular Complexity Analysis
theorem provers	Exploring Steinitz-Rademacher Polyhedra: a Challenge for Automated Reasoning Tools
type inhabitant search algorithm	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic
type theory	A Prolog-based Proof Tool for Type-Theory TA-lambda and Implicational Intuitionistic-Logic