TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

A | |

alpha-equivalence | |

anti-unification | |

Approximate Reasoning | |

automated reasoning | |

C | |

choice operator | |

Complexit and decidability | |

D | |

Deducibility | |

definition by cases | |

dependent types | |

E | |

E-unification | |

F | |

FL0 | |

FLbot | |

formal methods | |

Fuzzy Subsumption | |

G | |

Graph-minors | |

H | |

higher-order | |

higher-order unification | |

K | |

Knowledge Representation | |

L | |

Letrec languages | |

M | |

Many-Sorted Logic | |

N | |

Nominal Techniques | |

O | |

Order-Sorted Logic | |

P | |

paramodulation | |

S | |

second-order equations | |

Static equivalence | |

T | |

Term Rewrite Systems | |

type inference | |

U | |

unification | |

Unification in Description Logics | |

unification theory |