Stable definability and generic relations.

Byunghan Kim Rahim Moosa

Published in: J. Symb. Log. (2007)

Keyphrases

fixed point
domain specific
database
real time
propositional logic
information retrieval
case study
multi agent
rough sets
sufficient conditions
semantic relations
temporal relations
relational calculus