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)