TALK KEYWORD INDEX

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

# | |

#SMT(LA) | |

B | |

Belief Function Theory | |

belief merging | |

C | |

Choice Logic | |

constraints | |

Cyber Security | |

D | |

declarative programming | |

Deduplication | |

description logics | |

E | |

Entitity Resolution | |

Existential Rules | |

G | |

Group decision | |

H | |

Hashing-based Algorithm | |

I | |

inconsistency measures | |

inconsistency-tolerant reasoning | |

M | |

Model Counting | |

Model Expansion | |

model theory | |

O | |

Ontology Languages | |

P | |

preference | |

Preference Logic | |

Preference Modeling | |

Preferential logics | |

Probabilistic Algorithm | |

propositional logic | |

R | |

Rational closure | |

S | |

Soft constraints | |

U | |

Uncertainty | |

V | |

Volume Computation | |

Volume Estimation |