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