Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Volume
•
Abstracts
•
Preface
•
Authors
•
Keywords
•
BibTex Entries
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)
Copyright © 2012-2023 easychair.org. All rights reserved.