| 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) |
