LPAR-21S: Keyword Index

Keyword	Papers
a
abduction	Abduction by Non-Experts
antichains	Formalization of some central theorems in combinatorics of finite sets
Antipatterns	Reasoning with Concept Diagrams about Antipatterns
automata theory	Translating C# to Branching Symbolic Transducers
automated theorem prover	Leo-III Version 1.1 (System description)
c
chains	Formalization of some central theorems in combinatorics of finite sets
computational complexity of reasoning	Decidability of Fair Termination of Gossip Protocols
Crowdsourcing	Abduction by Non-Experts
d
diagrammatic reasoning	Reasoning with Concept Diagrams about Antipatterns
Dilworth's theorem	Formalization of some central theorems in combinatorics of finite sets
Domain Specific Language	Translating C# to Branching Symbolic Transducers
e
epistemic logic	Decidability of Fair Termination of Gossip Protocols
f
fair termination	Decidability of Fair Termination of Gossip Protocols
formal proofs	Formalization of some central theorems in combinatorics of finite sets
g
gossip protocols	Decidability of Fair Termination of Gossip Protocols
h
Hall's Theorem	Formalization of some central theorems in combinatorics of finite sets
higher-order logic	Leo-III Version 1.1 (System description)
Horn solving	Abduction by Non-Experts
i
interpolation	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
k
knowledge representation	Reasoning with Concept Diagrams about Antipatterns
Knowledge-based programs	Decidability of Fair Termination of Gossip Protocols
m
Mirsky's theorems	Formalization of some central theorems in combinatorics of finite sets
o
Ontologies	Reasoning with Concept Diagrams about Antipatterns
p
paramodulation	Leo-III Version 1.1 (System description)
partially ordered sets	Formalization of some central theorems in combinatorics of finite sets
q
query optimization	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
s
symbolic transducer	Translating C# to Branching Symbolic Transducers
system description	Leo-III Version 1.1 (System description)
t
tableau proofs	An Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)