LPAR-21S: Keyword Index

KeywordPapers
a
abductionAbduction by Non-Experts
antichainsFormalization of some central theorems in combinatorics of finite sets
AntipatternsReasoning with Concept Diagrams about Antipatterns
automata theoryTranslating C# to Branching Symbolic Transducers
automated theorem proverLeo-III Version 1.1 (System description)
c
chainsFormalization of some central theorems in combinatorics of finite sets
computational complexity of reasoningDecidability of Fair Termination of Gossip Protocols
CrowdsourcingAbduction by Non-Experts
d
diagrammatic reasoningReasoning with Concept Diagrams about Antipatterns
Dilworth's theoremFormalization of some central theorems in combinatorics of finite sets
Domain Specific LanguageTranslating C# to Branching Symbolic Transducers
e
epistemic logicDecidability of Fair Termination of Gossip Protocols
f
fair terminationDecidability of Fair Termination of Gossip Protocols
formal proofsFormalization of some central theorems in combinatorics of finite sets
g
gossip protocolsDecidability of Fair Termination of Gossip Protocols
h
Hall's TheoremFormalization of some central theorems in combinatorics of finite sets
higher-order logicLeo-III Version 1.1 (System description)
Horn solvingAbduction by Non-Experts
i
interpolationAn Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
k
knowledge representationReasoning with Concept Diagrams about Antipatterns
Knowledge-based programsDecidability of Fair Termination of Gossip Protocols
m
Mirsky's theoremsFormalization of some central theorems in combinatorics of finite sets
o
OntologiesReasoning with Concept Diagrams about Antipatterns
p
paramodulationLeo-III Version 1.1 (System description)
partially ordered setsFormalization of some central theorems in combinatorics of finite sets
q
query optimizationAn Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)
s
symbolic transducerTranslating C# to Branching Symbolic Transducers
system descriptionLeo-III Version 1.1 (System description)
t
tableau proofsAn Interpolation-based Compiler and Optimizer for Relational Queries (System design Report)